牛，尼尔斯（编辑）;范德托雷、伦德特（编辑）;塞雷娜·维拉塔（编辑）;沃伊特克·贾姆罗加（编辑）;Wamberto的Vasconcelos（编辑） 多智能体系统中的计算逻辑。第十五届国际研讨会，CLIMA XV，捷克共和国布拉格，2014年8月18-19日。诉讼程序。 （英语） Zbl 1293.68019号 计算机科学讲义人工智能课堂讲稿。柏林：施普林格出版社（ISBN 978-3-319-09763-3/pbk）。十六、199页。(2014). 将索引文章显示为搜索结果。 本卷的文章将单独进行审查。有关前面的研讨会，请参阅[Zbl 1272.68028号].索引文章：安东尼斯·阿奇利奥斯，关于双代理证明逻辑的复杂性，1-18[Zbl 1425.68389号]娜塔莎·亚历奇纳；范德霍克，威比；洛根，布莱恩，根据社会规范公平分配小组任务，19-34[兹比尔1425.68416]梅奎尔·德·布里托；胡布纳，乔米·弗雷德；奥利维耶·博西耶，定位人工机构的概念模型，35-51[Zbl 1425.68417号]里卡多·贡萨尔维斯；马蒂亚斯·克诺尔；约昂·莱特，演变中的多上下文系统中的演变桥接规则，52-69[Zbl 1425.68399号]斯蒂法诺·比斯塔雷利；法比奥·罗西；弗朗西斯科·桑蒂尼，使用ArgTools、ASPARTIX、ConArg2和Dung-O-Matic枚举随机抽象AF上的扩展，70-86[Zbl 1425.68403号]伊丽莎白·布莱克；阿曼达·科尔斯；萨拉·贝尔纳迪尼，简单说服对话的自动规划，87-104[Zbl 1425.68390号]Kontarinis、Dionysios；Elise Bonzon；尼古拉斯·莫代特（Nicolas Maudet）；巴夫洛斯·莫拉蒂斯，《多党辩论策略的实证评估》，105-122[Zbl 1425.68394号]孙欣，如何构建输入/输出逻辑，123-137[Zbl 1322.03017号]丹尼尔·埃克特（Daniel Eckert）；弗雷德里克·赫茨伯格，布尔值模型框架下的判断聚合问题，138-147[Zbl 1425.68392号]法比奥·莫加维罗；阿尼埃洛·穆拉诺（Aniello Murano）；路易吉·索罗，战略逻辑的行为层次，148-165[兹比尔1390.68614]耶日·皮莱茨基；Bednarczyk，Marek A。；沃伊切赫·贾姆罗加，多智能体系统统一策略的合成与验证，166-182[Zbl 1425.68419号]van Ditmarsch，Hans；索菲亚·奈特，部分信息和统一策略，183-198[Zbl 1425.68397号] 引用于1文件 MSC公司： 68-06 与计算机科学有关的会议记录、会议、收藏等 68T27型 人工智能中的逻辑 68T42型 Agent技术与人工智能 00B25型 杂项特定利益的会议记录 引文：Zbl 1272.68028号 PDF格式BibTeX公司 XML格式引用 \textit{N.Bulling}（ed.）等人，《多智能体系统中的计算逻辑》。第十五届国际研讨会，CLIMA XV，捷克共和国布拉格，2014年8月18-19日。诉讼程序。柏林：施普林格出版社（2014；Zbl 1293.68019） 全文： 内政部