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

European Conference on Logics in Artificial Intelligence最新文献

筛选
英文 中文
On Decidability of a Logic of Gossips 论八卦逻辑的可决性
European Conference on Logics in Artificial Intelligence Pub Date : 2016-11-09 DOI: 10.1007/978-3-319-48758-8_2
K. Apt, D. Wojtczak
{"title":"On Decidability of a Logic of Gossips","authors":"K. Apt, D. Wojtczak","doi":"10.1007/978-3-319-48758-8_2","DOIUrl":"https://doi.org/10.1007/978-3-319-48758-8_2","url":null,"abstract":"","PeriodicalId":225087,"journal":{"name":"European Conference on Logics in Artificial Intelligence","volume":"402 2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-11-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123260782","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
A Tool for Probabilistic Reasoning Based on Logic Programming and First-Order Theories Under Stable Model Semantics 稳定模型语义下基于逻辑规划和一阶理论的概率推理工具
European Conference on Logics in Artificial Intelligence Pub Date : 2016-11-09 DOI: 10.1007/978-3-319-48758-8_24
Matthias Nickles
{"title":"A Tool for Probabilistic Reasoning Based on Logic Programming and First-Order Theories Under Stable Model Semantics","authors":"Matthias Nickles","doi":"10.1007/978-3-319-48758-8_24","DOIUrl":"https://doi.org/10.1007/978-3-319-48758-8_24","url":null,"abstract":"","PeriodicalId":225087,"journal":{"name":"European Conference on Logics in Artificial Intelligence","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-11-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115643104","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}
引用次数: 9
A Three-Value Abstraction Technique for the Verification of Epistemic Properties in Multi-agent Systems 多智能体系统认知属性验证的三值抽象技术
European Conference on Logics in Artificial Intelligence Pub Date : 2016-11-09 DOI: 10.1007/978-3-319-48758-8_8
F. Belardinelli, A. Lomuscio
{"title":"A Three-Value Abstraction Technique for the Verification of Epistemic Properties in Multi-agent Systems","authors":"F. Belardinelli, A. Lomuscio","doi":"10.1007/978-3-319-48758-8_8","DOIUrl":"https://doi.org/10.1007/978-3-319-48758-8_8","url":null,"abstract":"","PeriodicalId":225087,"journal":{"name":"European Conference on Logics in Artificial Intelligence","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-11-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124996963","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
A Two-Phase Dialogue Game for Skeptical Preferred Semantics 怀疑偏好语义的两阶段对话博弈
European Conference on Logics in Artificial Intelligence Pub Date : 2016-11-09 DOI: 10.1007/978-3-319-48758-8_41
Z. Shams, N. Oren
{"title":"A Two-Phase Dialogue Game for Skeptical Preferred Semantics","authors":"Z. Shams, N. Oren","doi":"10.1007/978-3-319-48758-8_41","DOIUrl":"https://doi.org/10.1007/978-3-319-48758-8_41","url":null,"abstract":"","PeriodicalId":225087,"journal":{"name":"European Conference on Logics in Artificial Intelligence","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-11-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133664497","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
Rule-based Stream Reasoning for Intelligent Administration of Content-Centric Networks 面向内容中心网络智能管理的基于规则的流推理
European Conference on Logics in Artificial Intelligence Pub Date : 2016-11-09 DOI: 10.1007/978-3-319-48758-8_34
Harald Beck, B. Bierbaumer, Minh Dao-Tran, Thomas Eiter, H. Hellwagner, Konstantin Schekotihin
{"title":"Rule-based Stream Reasoning for Intelligent Administration of Content-Centric Networks","authors":"Harald Beck, B. Bierbaumer, Minh Dao-Tran, Thomas Eiter, H. Hellwagner, Konstantin Schekotihin","doi":"10.1007/978-3-319-48758-8_34","DOIUrl":"https://doi.org/10.1007/978-3-319-48758-8_34","url":null,"abstract":"","PeriodicalId":225087,"journal":{"name":"European Conference on Logics in Artificial Intelligence","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-11-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123633664","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
Decidability and Expressivity of Ockhamist Propositional Dynamic Logics 奥克汉命题动态逻辑的可决性与可表达性
European Conference on Logics in Artificial Intelligence Pub Date : 2016-11-09 DOI: 10.1007/978-3-319-48758-8_10
Joseph Boudou, E. Lorini
{"title":"Decidability and Expressivity of Ockhamist Propositional Dynamic Logics","authors":"Joseph Boudou, E. Lorini","doi":"10.1007/978-3-319-48758-8_10","DOIUrl":"https://doi.org/10.1007/978-3-319-48758-8_10","url":null,"abstract":"","PeriodicalId":225087,"journal":{"name":"European Conference on Logics in Artificial Intelligence","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-11-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130062837","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
On Hierarchical Task Networks 关于分层任务网络
European Conference on Logics in Artificial Intelligence Pub Date : 2016-11-09 DOI: 10.1007/978-3-319-48758-8_38
A. Herzig, Laurent Perrussel, Zhanhao Xiao
{"title":"On Hierarchical Task Networks","authors":"A. Herzig, Laurent Perrussel, Zhanhao Xiao","doi":"10.1007/978-3-319-48758-8_38","DOIUrl":"https://doi.org/10.1007/978-3-319-48758-8_38","url":null,"abstract":"","PeriodicalId":225087,"journal":{"name":"European Conference on Logics in Artificial Intelligence","volume":"251 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-11-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121030392","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}
引用次数: 8
GenB: A General Solver for AGM Revision AGM修正的通用求解器
European Conference on Logics in Artificial Intelligence Pub Date : 2016-11-09 DOI: 10.1007/978-3-319-48758-8_40
Aaron Hunter, Eric Tsang
{"title":"GenB: A General Solver for AGM Revision","authors":"Aaron Hunter, Eric Tsang","doi":"10.1007/978-3-319-48758-8_40","DOIUrl":"https://doi.org/10.1007/978-3-319-48758-8_40","url":null,"abstract":"","PeriodicalId":225087,"journal":{"name":"European Conference on Logics in Artificial Intelligence","volume":"49 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-11-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123745238","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
Reasoning About Justified Belief Based on the Fusion of Evidence 基于证据融合的正当信念推理
European Conference on Logics in Artificial Intelligence Pub Date : 2016-11-09 DOI: 10.1007/978-3-319-48758-8_16
T. Fan, C. Liau
{"title":"Reasoning About Justified Belief Based on the Fusion of Evidence","authors":"T. Fan, C. Liau","doi":"10.1007/978-3-319-48758-8_16","DOIUrl":"https://doi.org/10.1007/978-3-319-48758-8_16","url":null,"abstract":"","PeriodicalId":225087,"journal":{"name":"European Conference on Logics in Artificial Intelligence","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-11-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122361153","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
Hilbert-Style Axiomatization for Hybrid XPath with Data 带数据的混合XPath的hilbert式公理化
European Conference on Logics in Artificial Intelligence Pub Date : 2016-11-09 DOI: 10.1007/978-3-319-48758-8_3
C. Areces, Raul Fervari
{"title":"Hilbert-Style Axiomatization for Hybrid XPath with Data","authors":"C. Areces, Raul Fervari","doi":"10.1007/978-3-319-48758-8_3","DOIUrl":"https://doi.org/10.1007/978-3-319-48758-8_3","url":null,"abstract":"","PeriodicalId":225087,"journal":{"name":"European Conference on Logics in Artificial Intelligence","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-11-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132467075","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
首页 上一页 下一页 尾页
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学术文献互助群
群 号：481959085
Book学术官方微信