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

Computational Logic in Multi-Agent Systems最新文献

筛选
英文 中文
Speculative Abductive Reasoning for Hierarchical Agent Systems 层次智能体系统的推测溯因推理
Computational Logic in Multi-Agent Systems Pub Date : 2010-08-16 DOI: 10.1007/978-3-642-14977-1_7
Jiefei Ma, K. Broda, R. Goebel, H. Hosobe, A. Russo, K. Satoh
{"title":"Speculative Abductive Reasoning for Hierarchical Agent Systems","authors":"Jiefei Ma, K. Broda, R. Goebel, H. Hosobe, A. Russo, K. Satoh","doi":"10.1007/978-3-642-14977-1_7","DOIUrl":"https://doi.org/10.1007/978-3-642-14977-1_7","url":null,"abstract":"","PeriodicalId":145374,"journal":{"name":"Computational Logic in Multi-Agent Systems","volume":"2010 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-08-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127339379","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
Strong Equivalence in Argumentation 论证中的强等价
Computational Logic in Multi-Agent Systems Pub Date : 2010-08-16 DOI: 10.1007/978-3-642-14977-1_4
S. Woltran
{"title":"Strong Equivalence in Argumentation","authors":"S. Woltran","doi":"10.1007/978-3-642-14977-1_4","DOIUrl":"https://doi.org/10.1007/978-3-642-14977-1_4","url":null,"abstract":"","PeriodicalId":145374,"journal":{"name":"Computational Logic in Multi-Agent Systems","volume":"85 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-08-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114371132","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
Playing Extensive Form Games in Parallel 并行玩扩展形式游戏
Computational Logic in Multi-Agent Systems Pub Date : 2010-08-16 DOI: 10.1007/978-3-642-14977-1_13
Sujata Ghosh, R. Ramanujam, Sunil Simon
{"title":"Playing Extensive Form Games in Parallel","authors":"Sujata Ghosh, R. Ramanujam, Sunil Simon","doi":"10.1007/978-3-642-14977-1_13","DOIUrl":"https://doi.org/10.1007/978-3-642-14977-1_13","url":null,"abstract":"","PeriodicalId":145374,"journal":{"name":"Computational Logic in Multi-Agent Systems","volume":"123 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-08-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127419987","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
What Happened to My Commitment? Exception Diagnosis among Misalignment and Misbehavior 我的承诺怎么了?错位与不当行为的异常诊断
Computational Logic in Multi-Agent Systems Pub Date : 2010-08-16 DOI: 10.1007/978-3-642-14977-1_9
Özgür Kafali, F. Chesani, Paolo Torroni
{"title":"What Happened to My Commitment? Exception Diagnosis among Misalignment and Misbehavior","authors":"Özgür Kafali, F. Chesani, Paolo Torroni","doi":"10.1007/978-3-642-14977-1_9","DOIUrl":"https://doi.org/10.1007/978-3-642-14977-1_9","url":null,"abstract":"","PeriodicalId":145374,"journal":{"name":"Computational Logic in Multi-Agent Systems","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-08-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128916996","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}
引用次数: 11
Model Checking Agent Programs by Using the Program Interpreter 使用程序解释器对代理程序进行模型检查
Computational Logic in Multi-Agent Systems Pub Date : 2010-08-16 DOI: 10.1007/978-3-642-14977-1_17
S. Jongmans, K. Hindriks, M. Birna, Van Riemsdijk
{"title":"Model Checking Agent Programs by Using the Program Interpreter","authors":"S. Jongmans, K. Hindriks, M. Birna, Van Riemsdijk","doi":"10.1007/978-3-642-14977-1_17","DOIUrl":"https://doi.org/10.1007/978-3-642-14977-1_17","url":null,"abstract":"","PeriodicalId":145374,"journal":{"name":"Computational Logic in Multi-Agent Systems","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-08-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128047914","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}
引用次数: 25
Group Announcements: Logic and Games (Abstract of Invited Talk) 分组公告:逻辑学与游戏(特邀演讲摘要)
Computational Logic in Multi-Agent Systems Pub Date : 2010-08-16 DOI: 10.1007/978-3-642-14977-1_3
T. Ågotnes
{"title":"Group Announcements: Logic and Games (Abstract of Invited Talk)","authors":"T. Ågotnes","doi":"10.1007/978-3-642-14977-1_3","DOIUrl":"https://doi.org/10.1007/978-3-642-14977-1_3","url":null,"abstract":"","PeriodicalId":145374,"journal":{"name":"Computational Logic in Multi-Agent Systems","volume":"158 3","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-08-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132192960","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
Model Checking Normative Agent Organisations 模型检查规范代理组织
Computational Logic in Multi-Agent Systems Pub Date : 2009-09-09 DOI: 10.1007/978-3-642-16867-3_4
Louise Dennis, Nick A. M. Tinnemeier, J. Meyer
{"title":"Model Checking Normative Agent Organisations","authors":"Louise Dennis, Nick A. M. Tinnemeier, J. Meyer","doi":"10.1007/978-3-642-16867-3_4","DOIUrl":"https://doi.org/10.1007/978-3-642-16867-3_4","url":null,"abstract":"","PeriodicalId":145374,"journal":{"name":"Computational Logic in Multi-Agent Systems","volume":"49 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-09-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114683351","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
Operational Semantics for BDI Modules in Multi-agent Programming 多智能体编程中BDI模块的操作语义
Computational Logic in Multi-Agent Systems Pub Date : 2009-09-09 DOI: 10.1007/978-3-642-16867-3_5
M. Dastani, Bas R. Steunebrink
{"title":"Operational Semantics for BDI Modules in Multi-agent Programming","authors":"M. Dastani, Bas R. Steunebrink","doi":"10.1007/978-3-642-16867-3_5","DOIUrl":"https://doi.org/10.1007/978-3-642-16867-3_5","url":null,"abstract":"","PeriodicalId":145374,"journal":{"name":"Computational Logic in Multi-Agent Systems","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-09-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127760627","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
Argumentation-Based Preference Modelling with Incomplete Information 不完全信息下基于论证的偏好建模
Computational Logic in Multi-Agent Systems Pub Date : 2009-09-09 DOI: 10.1007/978-3-642-16867-3_8
Wietske Visser, K. Hindriks, C. Jonker
{"title":"Argumentation-Based Preference Modelling with Incomplete Information","authors":"Wietske Visser, K. Hindriks, C. Jonker","doi":"10.1007/978-3-642-16867-3_8","DOIUrl":"https://doi.org/10.1007/978-3-642-16867-3_8","url":null,"abstract":"","PeriodicalId":145374,"journal":{"name":"Computational Logic in Multi-Agent Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-09-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129320112","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
Planning for Multiagent Using ASP-Prolog 基于ASP-Prolog的多代理规划
Computational Logic in Multi-Agent Systems Pub Date : 2009-09-09 DOI: 10.1007/978-3-642-16867-3_1
Tran Cao Son, Enrico Pontelli, Ngoc-Hieu Nguyen
{"title":"Planning for Multiagent Using ASP-Prolog","authors":"Tran Cao Son, Enrico Pontelli, Ngoc-Hieu Nguyen","doi":"10.1007/978-3-642-16867-3_1","DOIUrl":"https://doi.org/10.1007/978-3-642-16867-3_1","url":null,"abstract":"","PeriodicalId":145374,"journal":{"name":"Computational Logic in Multi-Agent Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-09-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133869767","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}
引用次数: 10
首页 上一页 下一页 尾页
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学术官方微信