发布求助
文献互助 智能选刊 最新文献

European Conference on Logics in Artificial Intelligence最新文献

筛选
英文 中文
The Dynamic Logic of Policies and Contingent Planning 政策的动态逻辑与应急规划
European Conference on Logics in Artificial Intelligence Pub Date : 2019-05-07 DOI: 10.1007/978-3-030-19570-0_43
Thomas Bolander, Thorsten Engesser, A. Herzig, Robert Mattmüller, B. Nebel
{"title":"The Dynamic Logic of Policies and Contingent Planning","authors":"Thomas Bolander, Thorsten Engesser, A. Herzig, Robert Mattmüller, B. Nebel","doi":"10.1007/978-3-030-19570-0_43","DOIUrl":"https://doi.org/10.1007/978-3-030-19570-0_43","url":null,"abstract":"","PeriodicalId":225087,"journal":{"name":"European Conference on Logics in Artificial Intelligence","volume":"134 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-05-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127353383","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 5
Preprocessing Argumentation Frameworks via Replacement Patterns 通过替换模式预处理论证框架
European Conference on Logics in Artificial Intelligence Pub Date : 2019-05-07 DOI: 10.1007/978-3-030-19570-0_8
W. Dvořák, M. Järvisalo, Thomas Linsbichler, Andreas Niskanen, S. Woltran
{"title":"Preprocessing Argumentation Frameworks via Replacement Patterns","authors":"W. Dvořák, M. Järvisalo, Thomas Linsbichler, Andreas Niskanen, S. Woltran","doi":"10.1007/978-3-030-19570-0_8","DOIUrl":"https://doi.org/10.1007/978-3-030-19570-0_8","url":null,"abstract":"","PeriodicalId":225087,"journal":{"name":"European Conference on Logics in Artificial Intelligence","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-05-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128432777","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 7
Stable-Ordered Models for Propositional Theories with Order Operators 带序算子的命题理论的稳定有序模型
European Conference on Logics in Artificial Intelligence Pub Date : 2019-05-07 DOI: 10.1007/978-3-030-19570-0_51
J. Oetsch, J. Nieves
{"title":"Stable-Ordered Models for Propositional Theories with Order Operators","authors":"J. Oetsch, J. Nieves","doi":"10.1007/978-3-030-19570-0_51","DOIUrl":"https://doi.org/10.1007/978-3-030-19570-0_51","url":null,"abstract":"","PeriodicalId":225087,"journal":{"name":"European Conference on Logics in Artificial Intelligence","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-05-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116257480","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Explaining Actual Causation in Terms of Possible Causal Processes 用可能的因果过程来解释实际的因果关系
European Conference on Logics in Artificial Intelligence Pub Date : 2019-05-07 DOI: 10.1007/978-3-030-19570-0_14
M. Denecker, B. Bogaerts, Joost Vennekens
{"title":"Explaining Actual Causation in Terms of Possible Causal Processes","authors":"M. Denecker, B. Bogaerts, Joost Vennekens","doi":"10.1007/978-3-030-19570-0_14","DOIUrl":"https://doi.org/10.1007/978-3-030-19570-0_14","url":null,"abstract":"","PeriodicalId":225087,"journal":{"name":"European Conference on Logics in Artificial Intelligence","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-05-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126371093","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Learning Description Logic Axioms from Discrete Probability Distributions over Description Graphs 从描述图上的离散概率分布学习描述逻辑公理
European Conference on Logics in Artificial Intelligence Pub Date : 2019-05-07 DOI: 10.1007/978-3-030-19570-0_26
Francesco Kriegel
{"title":"Learning Description Logic Axioms from Discrete Probability Distributions over Description Graphs","authors":"Francesco Kriegel","doi":"10.1007/978-3-030-19570-0_26","DOIUrl":"https://doi.org/10.1007/978-3-030-19570-0_26","url":null,"abstract":"","PeriodicalId":225087,"journal":{"name":"European Conference on Logics in Artificial Intelligence","volume":"69 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-05-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121656815","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 5
Reasoning About Cognitive Attitudes in a Qualitative Setting 定性环境下关于认知态度的推理
European Conference on Logics in Artificial Intelligence Pub Date : 2019-05-07 DOI: 10.1007/978-3-030-19570-0_47
E. Lorini
{"title":"Reasoning About Cognitive Attitudes in a Qualitative Setting","authors":"E. Lorini","doi":"10.1007/978-3-030-19570-0_47","DOIUrl":"https://doi.org/10.1007/978-3-030-19570-0_47","url":null,"abstract":"","PeriodicalId":225087,"journal":{"name":"European Conference on Logics in Artificial Intelligence","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-05-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114893720","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Chain Answer Sets for Logic Programs with Generalized Atoms 广义原子逻辑程序的链式答案集
European Conference on Logics in Artificial Intelligence Pub Date : 2019-05-07 DOI: 10.1007/978-3-030-19570-0_30
Mario Alviano, Wolfgang Faber
{"title":"Chain Answer Sets for Logic Programs with Generalized Atoms","authors":"Mario Alviano, Wolfgang Faber","doi":"10.1007/978-3-030-19570-0_30","DOIUrl":"https://doi.org/10.1007/978-3-030-19570-0_30","url":null,"abstract":"","PeriodicalId":225087,"journal":{"name":"European Conference on Logics in Artificial Intelligence","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-05-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114144313","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Extending Bell Numbers for Parsimonious Chase Estimation 简化跟踪估计的扩展贝尔数
European Conference on Logics in Artificial Intelligence Pub Date : 2019-05-07 DOI: 10.1007/978-3-030-19570-0_32
Giovanni Amendola, Cinzia Marte
{"title":"Extending Bell Numbers for Parsimonious Chase Estimation","authors":"Giovanni Amendola, Cinzia Marte","doi":"10.1007/978-3-030-19570-0_32","DOIUrl":"https://doi.org/10.1007/978-3-030-19570-0_32","url":null,"abstract":"","PeriodicalId":225087,"journal":{"name":"European Conference on Logics in Artificial Intelligence","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-05-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123027877","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
mathsf Uhura : An Authoring Tool for Specifying Answer-Set Programs Using Controlled Natural Language mathsf Uhura:一个使用受控自然语言指定答案集程序的创作工具
European Conference on Logics in Artificial Intelligence Pub Date : 2019-05-07 DOI: 10.1007/978-3-030-19570-0_37
T. Kain, H. Tompits
{"title":"mathsf Uhura : An Authoring Tool for Specifying Answer-Set Programs Using Controlled Natural Language","authors":"T. Kain, H. Tompits","doi":"10.1007/978-3-030-19570-0_37","DOIUrl":"https://doi.org/10.1007/978-3-030-19570-0_37","url":null,"abstract":"","PeriodicalId":225087,"journal":{"name":"European Conference on Logics in Artificial Intelligence","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-05-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127744018","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Counting Strategies for the Probabilistic Description Logic 𝓐ℒ𝒞ME Under the Principle of Maximum Entropy 最大熵原理下概率描述逻辑<e:1>的计数策略[j]
European Conference on Logics in Artificial Intelligence Pub Date : 2019-05-07 DOI: 10.1007/978-3-030-19570-0_28
Marco Wilhelm, G. Kern-Isberner, Andreas Ecke, F. Baader
{"title":"Counting Strategies for the Probabilistic Description Logic 𝓐ℒ𝒞ME Under the Principle of Maximum Entropy","authors":"Marco Wilhelm, G. Kern-Isberner, Andreas Ecke, F. Baader","doi":"10.1007/978-3-030-19570-0_28","DOIUrl":"https://doi.org/10.1007/978-3-030-19570-0_28","url":null,"abstract":"","PeriodicalId":225087,"journal":{"name":"European Conference on Logics in Artificial Intelligence","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-05-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116412340","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信