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

Computational Logic in Multi-Agent Systems最新文献

筛选
英文 中文
The Problem of Judgment Aggregation in the Framework of Boolean-Valued Models 布尔值模型框架下的判断聚合问题
Computational Logic in Multi-Agent Systems Pub Date : 2014-08-18 DOI: 10.1007/978-3-319-09764-0_9
D. Eckert, Frederik S. Herzberg
{"title":"The Problem of Judgment Aggregation in the Framework of Boolean-Valued Models","authors":"D. Eckert, Frederik S. Herzberg","doi":"10.1007/978-3-319-09764-0_9","DOIUrl":"https://doi.org/10.1007/978-3-319-09764-0_9","url":null,"abstract":"","PeriodicalId":145374,"journal":{"name":"Computational Logic in Multi-Agent Systems","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-08-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123332512","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
Reasoning about the Beliefs of Agents in Multi-agent Domains in the Presence of State Constraints: The Action Language mAL 状态约束下多智能体领域中智能体信念的推理:动作语言mAL
Computational Logic in Multi-Agent Systems Pub Date : 2013-09-16 DOI: 10.1007/978-3-642-40624-9_18
Chitta Baral, Gregory Gelfond, Enrico Pontelli, Tran Cao Son
{"title":"Reasoning about the Beliefs of Agents in Multi-agent Domains in the Presence of State Constraints: The Action Language mAL","authors":"Chitta Baral, Gregory Gelfond, Enrico Pontelli, Tran Cao Son","doi":"10.1007/978-3-642-40624-9_18","DOIUrl":"https://doi.org/10.1007/978-3-642-40624-9_18","url":null,"abstract":"","PeriodicalId":145374,"journal":{"name":"Computational Logic in Multi-Agent Systems","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-09-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114154522","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}
引用次数: 14
Coalitional Responsibility in Strategic Settings 战略环境中的联盟责任
Computational Logic in Multi-Agent Systems Pub Date : 2013-09-16 DOI: 10.1007/978-3-642-40624-9_11
N. Bulling, M. Dastani
{"title":"Coalitional Responsibility in Strategic Settings","authors":"N. Bulling, M. Dastani","doi":"10.1007/978-3-642-40624-9_11","DOIUrl":"https://doi.org/10.1007/978-3-642-40624-9_11","url":null,"abstract":"","PeriodicalId":145374,"journal":{"name":"Computational Logic in Multi-Agent Systems","volume":"74 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-09-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124720856","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}
引用次数: 16
An Argumentation-Based Approach for Automatic Evaluation of Design Debates 基于论证的设计辩论自动评估方法
Computational Logic in Multi-Agent Systems Pub Date : 2013-09-16 DOI: 10.1007/978-3-642-40624-9_21
P. Baroni, Marco Romano, Francesca Toni, M. Aurisicchio, G. Bertanza
{"title":"An Argumentation-Based Approach for Automatic Evaluation of Design Debates","authors":"P. Baroni, Marco Romano, Francesca Toni, M. Aurisicchio, G. Bertanza","doi":"10.1007/978-3-642-40624-9_21","DOIUrl":"https://doi.org/10.1007/978-3-642-40624-9_21","url":null,"abstract":"","PeriodicalId":145374,"journal":{"name":"Computational Logic in Multi-Agent Systems","volume":"303 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-09-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131929434","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
Reconfiguration of Large-Scale Surveillance Systems 大型监控系统的重构
Computational Logic in Multi-Agent Systems Pub Date : 2013-09-16 DOI: 10.1007/978-3-642-40624-9_20
P. Novák, C. Witteveen
{"title":"Reconfiguration of Large-Scale Surveillance Systems","authors":"P. Novák, C. Witteveen","doi":"10.1007/978-3-642-40624-9_20","DOIUrl":"https://doi.org/10.1007/978-3-642-40624-9_20","url":null,"abstract":"","PeriodicalId":145374,"journal":{"name":"Computational Logic in Multi-Agent Systems","volume":"98 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-09-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115734646","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
A Sequent-Based Representation of Logical Argumentation 基于顺序的逻辑论证表示法
Computational Logic in Multi-Agent Systems Pub Date : 2013-09-16 DOI: 10.1007/978-3-642-40624-9_5
O. Arieli
{"title":"A Sequent-Based Representation of Logical Argumentation","authors":"O. Arieli","doi":"10.1007/978-3-642-40624-9_5","DOIUrl":"https://doi.org/10.1007/978-3-642-40624-9_5","url":null,"abstract":"","PeriodicalId":145374,"journal":{"name":"Computational Logic in Multi-Agent Systems","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-09-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123719574","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}
引用次数: 13
External Transaction Logic with Automatic Compensations 带有自动补偿的外部事务逻辑
Computational Logic in Multi-Agent Systems Pub Date : 2013-09-16 DOI: 10.1007/978-3-642-40624-9_15
Ana Sofia Gomes, José Júlio Alferes
{"title":"External Transaction Logic with Automatic Compensations","authors":"Ana Sofia Gomes, José Júlio Alferes","doi":"10.1007/978-3-642-40624-9_15","DOIUrl":"https://doi.org/10.1007/978-3-642-40624-9_15","url":null,"abstract":"","PeriodicalId":145374,"journal":{"name":"Computational Logic in Multi-Agent Systems","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-09-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132248377","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
Assumption-Based Argumentation for Decision-Making with Preferences: A Medical Case Study 基于假设的偏好决策论证:一个医学案例研究
Computational Logic in Multi-Agent Systems Pub Date : 2013-09-16 DOI: 10.1007/978-3-642-40624-9_23
Xiuyi Fan, R. Craven, R. Singer, Francesca Toni, Matthew Williams
{"title":"Assumption-Based Argumentation for Decision-Making with Preferences: A Medical Case Study","authors":"Xiuyi Fan, R. Craven, R. Singer, Francesca Toni, Matthew Williams","doi":"10.1007/978-3-642-40624-9_23","DOIUrl":"https://doi.org/10.1007/978-3-642-40624-9_23","url":null,"abstract":"","PeriodicalId":145374,"journal":{"name":"Computational Logic in Multi-Agent Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-09-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130274114","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}
引用次数: 32
Time Is Up! - Norms with Deadlines in Action Languages 时间到了!-动作语言中的截止日期规范
Computational Logic in Multi-Agent Systems Pub Date : 2013-09-16 DOI: 10.1007/978-3-642-40624-9_14
Matthias Knorr, Alfredo Gabaldon, Ricardo Gonçalves, João Leite, Martin Slota
{"title":"Time Is Up! - Norms with Deadlines in Action Languages","authors":"Matthias Knorr, Alfredo Gabaldon, Ricardo Gonçalves, João Leite, Martin Slota","doi":"10.1007/978-3-642-40624-9_14","DOIUrl":"https://doi.org/10.1007/978-3-642-40624-9_14","url":null,"abstract":"","PeriodicalId":145374,"journal":{"name":"Computational Logic in Multi-Agent Systems","volume":"95 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-09-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114489768","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
Instantiating Knowledge Bases in Abstract Dialectical Frameworks 在抽象辩证框架中实例化知识库
Computational Logic in Multi-Agent Systems Pub Date : 2013-09-16 DOI: 10.1007/978-3-642-40624-9_6
Hannes Strass
{"title":"Instantiating Knowledge Bases in Abstract Dialectical Frameworks","authors":"Hannes Strass","doi":"10.1007/978-3-642-40624-9_6","DOIUrl":"https://doi.org/10.1007/978-3-642-40624-9_6","url":null,"abstract":"","PeriodicalId":145374,"journal":{"name":"Computational Logic in Multi-Agent Systems","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-09-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128502928","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}
引用次数: 27
首页 上一页 下一页 尾页
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学术官方微信