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

European Conference on Logics in Artificial Intelligence最新文献

筛选
英文 中文
Correct Grounded Reasoning with Presumptive Arguments 用假定的论点纠正有根据的推理
European Conference on Logics in Artificial Intelligence Pub Date : 2016-11-09 DOI: 10.1007/978-3-319-48758-8_31
Bart Verheij
{"title":"Correct Grounded Reasoning with Presumptive Arguments","authors":"Bart Verheij","doi":"10.1007/978-3-319-48758-8_31","DOIUrl":"https://doi.org/10.1007/978-3-319-48758-8_31","url":null,"abstract":"","PeriodicalId":225087,"journal":{"name":"European Conference on Logics in Artificial Intelligence","volume":"96 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":"115915606","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}
引用次数: 18
Refinement of Intentions 细化意图
European Conference on Logics in Artificial Intelligence Pub Date : 2016-11-09 DOI: 10.1007/978-3-319-48758-8_39
A. Herzig, Laurent Perrussel, Zhanhao Xiao, Dongmo Zhang
{"title":"Refinement of Intentions","authors":"A. Herzig, Laurent Perrussel, Zhanhao Xiao, Dongmo Zhang","doi":"10.1007/978-3-319-48758-8_39","DOIUrl":"https://doi.org/10.1007/978-3-319-48758-8_39","url":null,"abstract":"","PeriodicalId":225087,"journal":{"name":"European Conference on Logics in Artificial Intelligence","volume":"7 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":"123895796","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
Characterizability in Horn Belief Revision 角信念修正中的特征化
European Conference on Logics in Artificial Intelligence Pub Date : 2016-11-09 DOI: 10.1007/978-3-319-48758-8_32
Jon Yaggie, György Turán
{"title":"Characterizability in Horn Belief Revision","authors":"Jon Yaggie, György Turán","doi":"10.1007/978-3-319-48758-8_32","DOIUrl":"https://doi.org/10.1007/978-3-319-48758-8_32","url":null,"abstract":"","PeriodicalId":225087,"journal":{"name":"European Conference on Logics in Artificial Intelligence","volume":"94 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":"129447618","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}
引用次数: 0
A Relaxation of Internal Conflict and Defence in Weighted Argumentation Frameworks 加权论证框架中内部冲突与防御的放松
European Conference on Logics in Artificial Intelligence Pub Date : 2016-11-09 DOI: 10.1007/978-3-319-48758-8_9
Stefano Bistarelli, Fabio Rossi, Francesco Santini
{"title":"A Relaxation of Internal Conflict and Defence in Weighted Argumentation Frameworks","authors":"Stefano Bistarelli, Fabio Rossi, Francesco Santini","doi":"10.1007/978-3-319-48758-8_9","DOIUrl":"https://doi.org/10.1007/978-3-319-48758-8_9","url":null,"abstract":"","PeriodicalId":225087,"journal":{"name":"European Conference on Logics in Artificial Intelligence","volume":"68 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":"128339433","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
Iteratively-Supported Formulas and Strongly Supported Models for Kleene Answer Set Programs - (Extended Abstract) Kleene答案集程序的迭代支持公式和强支持模型-(扩展摘要)
European Conference on Logics in Artificial Intelligence Pub Date : 2016-11-09 DOI: 10.1007/978-3-319-48758-8_36
P. Doherty, Jonas Kvarnström, A. Szałas
{"title":"Iteratively-Supported Formulas and Strongly Supported Models for Kleene Answer Set Programs - (Extended Abstract)","authors":"P. Doherty, Jonas Kvarnström, A. Szałas","doi":"10.1007/978-3-319-48758-8_36","DOIUrl":"https://doi.org/10.1007/978-3-319-48758-8_36","url":null,"abstract":"","PeriodicalId":225087,"journal":{"name":"European Conference on Logics in Artificial Intelligence","volume":"25 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":"126036835","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
DRAT Proofs for XOR Reasoning 起草异或推理的证明
European Conference on Logics in Artificial Intelligence Pub Date : 2016-11-09 DOI: 10.1007/978-3-319-48758-8_27
Tobias Philipp, Adrián Rebola-Pardo
{"title":"DRAT Proofs for XOR Reasoning","authors":"Tobias Philipp, Adrián Rebola-Pardo","doi":"10.1007/978-3-319-48758-8_27","DOIUrl":"https://doi.org/10.1007/978-3-319-48758-8_27","url":null,"abstract":"","PeriodicalId":225087,"journal":{"name":"European Conference on Logics in Artificial Intelligence","volume":"25 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":"122285718","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}
引用次数: 15
Understanding the Abstract Dialectical Framework 理解抽象辩证框架
European Conference on Logics in Artificial Intelligence Pub Date : 2016-11-09 DOI: 10.1007/978-3-319-48758-8_28
Sylwia Polberg
{"title":"Understanding the Abstract Dialectical Framework","authors":"Sylwia Polberg","doi":"10.1007/978-3-319-48758-8_28","DOIUrl":"https://doi.org/10.1007/978-3-319-48758-8_28","url":null,"abstract":"","PeriodicalId":225087,"journal":{"name":"European Conference on Logics in Artificial Intelligence","volume":"48 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":"127357777","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}
引用次数: 22
Revising Possibilistic Knowledge Bases via Compatibility Degrees 从兼容性角度修正可能性知识库
European Conference on Logics in Artificial Intelligence Pub Date : 2016-11-09 DOI: 10.1007/978-3-319-48758-8_20
Yifan Jin, Kewen Wang, Zhe Wang, Zhiqiang Zhuang
{"title":"Revising Possibilistic Knowledge Bases via Compatibility Degrees","authors":"Yifan Jin, Kewen Wang, Zhe Wang, Zhiqiang Zhuang","doi":"10.1007/978-3-319-48758-8_20","DOIUrl":"https://doi.org/10.1007/978-3-319-48758-8_20","url":null,"abstract":"","PeriodicalId":225087,"journal":{"name":"European Conference on Logics in Artificial Intelligence","volume":"47 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":"115254975","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}
引用次数: 0
Temporal Here and There 这里和那里的时间
European Conference on Logics in Artificial Intelligence Pub Date : 2016-11-09 DOI: 10.1007/978-3-319-48758-8_6
P. Balbiani, Martín Diéguez
{"title":"Temporal Here and There","authors":"P. Balbiani, Martín Diéguez","doi":"10.1007/978-3-319-48758-8_6","DOIUrl":"https://doi.org/10.1007/978-3-319-48758-8_6","url":null,"abstract":"","PeriodicalId":225087,"journal":{"name":"European Conference on Logics in Artificial Intelligence","volume":"3 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":"124440598","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}
引用次数: 21
On Logics of Group Belief in Structured Coalitions 论结构联盟中的群体信仰逻辑
European Conference on Logics in Artificial Intelligence Pub Date : 2016-11-09 DOI: 10.1007/978-3-319-48758-8_7
P. Balbiani, D. Pearce, Levan Uridia
{"title":"On Logics of Group Belief in Structured Coalitions","authors":"P. Balbiani, D. Pearce, Levan Uridia","doi":"10.1007/978-3-319-48758-8_7","DOIUrl":"https://doi.org/10.1007/978-3-319-48758-8_7","url":null,"abstract":"","PeriodicalId":225087,"journal":{"name":"European Conference on Logics in Artificial Intelligence","volume":"26 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":"126588188","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
首页 上一页 下一页 尾页
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学术官方微信