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

Computational Logic in Multi-Agent Systems最新文献

筛选
英文 中文
Acting on Norm Constrained Plans 按照规范约束计划行事
Computational Logic in Multi-Agent Systems Pub Date : 2011-07-17 DOI: 10.1007/978-3-642-22359-4_24
N. Oren, W. Vasconcelos, Felipe Meneguzzi, Michael Luck
{"title":"Acting on Norm Constrained Plans","authors":"N. Oren, W. Vasconcelos, Felipe Meneguzzi, Michael Luck","doi":"10.1007/978-3-642-22359-4_24","DOIUrl":"https://doi.org/10.1007/978-3-642-22359-4_24","url":null,"abstract":"","PeriodicalId":145374,"journal":{"name":"Computational Logic in Multi-Agent Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-07-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129176072","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}
引用次数: 28
Alternating-Time Temporal Announcement Logic 交替时间临时公告逻辑
Computational Logic in Multi-Agent Systems Pub Date : 2011-07-17 DOI: 10.1007/978-3-642-22359-4_9
T. Lima
{"title":"Alternating-Time Temporal Announcement Logic","authors":"T. Lima","doi":"10.1007/978-3-642-22359-4_9","DOIUrl":"https://doi.org/10.1007/978-3-642-22359-4_9","url":null,"abstract":"","PeriodicalId":145374,"journal":{"name":"Computational Logic in Multi-Agent Systems","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-07-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116994309","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
Synthesizing Strategies for Homogenous Multi-Agent Systems with Incomplete Information 具有不完全信息的同质多智能体系统的综合策略
Computational Logic in Multi-Agent Systems Pub Date : 2011-07-17 DOI: 10.1007/978-3-642-22359-4_10
J. Calta, D. Shkatov
{"title":"Synthesizing Strategies for Homogenous Multi-Agent Systems with Incomplete Information","authors":"J. Calta, D. Shkatov","doi":"10.1007/978-3-642-22359-4_10","DOIUrl":"https://doi.org/10.1007/978-3-642-22359-4_10","url":null,"abstract":"","PeriodicalId":145374,"journal":{"name":"Computational Logic in Multi-Agent Systems","volume":"90 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-07-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116257374","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
Probabilistic Action and Deontic Logic - (Invited Talk) 概率行为与道义逻辑-(特邀演讲)
Computational Logic in Multi-Agent Systems Pub Date : 2011-07-17 DOI: 10.1007/978-3-642-22359-4_20
J. Broersen
{"title":"Probabilistic Action and Deontic Logic - (Invited Talk)","authors":"J. Broersen","doi":"10.1007/978-3-642-22359-4_20","DOIUrl":"https://doi.org/10.1007/978-3-642-22359-4_20","url":null,"abstract":"","PeriodicalId":145374,"journal":{"name":"Computational Logic in Multi-Agent Systems","volume":"73 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-07-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132312789","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
A Paraconsistent Multi-agent Framework for Dealing with Normative Conflicts 一种处理规范冲突的准一致多代理框架
Computational Logic in Multi-Agent Systems Pub Date : 2011-07-17 DOI: 10.1007/978-3-642-22359-4_22
Mathieu Beirlaen, Christian Straßer
{"title":"A Paraconsistent Multi-agent Framework for Dealing with Normative Conflicts","authors":"Mathieu Beirlaen, Christian Straßer","doi":"10.1007/978-3-642-22359-4_22","DOIUrl":"https://doi.org/10.1007/978-3-642-22359-4_22","url":null,"abstract":"","PeriodicalId":145374,"journal":{"name":"Computational Logic in Multi-Agent Systems","volume":"51 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-07-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130063457","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
Ontology Merging as Social Choice 作为社会选择的本体合并
Computational Logic in Multi-Agent Systems Pub Date : 2011-07-17 DOI: 10.1007/978-3-642-22359-4_12
Daniele Porello, U. Endriss
{"title":"Ontology Merging as Social Choice","authors":"Daniele Porello, U. Endriss","doi":"10.1007/978-3-642-22359-4_12","DOIUrl":"https://doi.org/10.1007/978-3-642-22359-4_12","url":null,"abstract":"","PeriodicalId":145374,"journal":{"name":"Computational Logic in Multi-Agent Systems","volume":"47 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-07-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122813788","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
Transitivity and Propagation of Trust in Information Sources: An Analysis in Modal Logic 信息源信任的传递性与传播:模态逻辑分析
Computational Logic in Multi-Agent Systems Pub Date : 2011-07-17 DOI: 10.1007/978-3-642-22359-4_2
R. Demolombe
{"title":"Transitivity and Propagation of Trust in Information Sources: An Analysis in Modal Logic","authors":"R. Demolombe","doi":"10.1007/978-3-642-22359-4_2","DOIUrl":"https://doi.org/10.1007/978-3-642-22359-4_2","url":null,"abstract":"","PeriodicalId":145374,"journal":{"name":"Computational Logic in Multi-Agent Systems","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-07-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128030658","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
Normative Systems Represented as Hybrid Knowledge Bases 以混合知识库表示的规范系统
Computational Logic in Multi-Agent Systems Pub Date : 2011-07-17 DOI: 10.1007/978-3-642-22359-4_23
M. Alberti, Ana Sofia Gomes, Ricardo Gonçalves, João Leite, Martin Slota
{"title":"Normative Systems Represented as Hybrid Knowledge Bases","authors":"M. Alberti, Ana Sofia Gomes, Ricardo Gonçalves, João Leite, Martin Slota","doi":"10.1007/978-3-642-22359-4_23","DOIUrl":"https://doi.org/10.1007/978-3-642-22359-4_23","url":null,"abstract":"","PeriodicalId":145374,"journal":{"name":"Computational Logic in Multi-Agent Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-07-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117007687","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}
引用次数: 33
Reasoning about Exceptions to Contracts 关于契约例外的推理
Computational Logic in Multi-Agent Systems Pub Date : 2011-07-17 DOI: 10.1007/978-3-642-22359-4_16
Özgür Kafali, Francesca Toni, Paolo Torroni
{"title":"Reasoning about Exceptions to Contracts","authors":"Özgür Kafali, Francesca Toni, Paolo Torroni","doi":"10.1007/978-3-642-22359-4_16","DOIUrl":"https://doi.org/10.1007/978-3-642-22359-4_16","url":null,"abstract":"","PeriodicalId":145374,"journal":{"name":"Computational Logic in Multi-Agent Systems","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-07-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128096900","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 Formal Semantics for Brahms 勃拉姆斯的形式语义
Computational Logic in Multi-Agent Systems Pub Date : 2011-07-17 DOI: 10.1007/978-3-642-22359-4_18
Richard Stocker, M. Sierhuis, Louise Dennis, C. Dixon, Michael Fisher
{"title":"A Formal Semantics for Brahms","authors":"Richard Stocker, M. Sierhuis, Louise Dennis, C. Dixon, Michael Fisher","doi":"10.1007/978-3-642-22359-4_18","DOIUrl":"https://doi.org/10.1007/978-3-642-22359-4_18","url":null,"abstract":"","PeriodicalId":145374,"journal":{"name":"Computational Logic in Multi-Agent Systems","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-07-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131728570","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
首页 上一页 下一页 尾页
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学术官方微信