Computational Logic in Multi-Agent Systems: 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014, Proceedings (Lecture Notes in Computer Science)
暫譯: 多代理系統中的計算邏輯：第十五屆國際研討會 CLIMA XV，捷克共和國布拉格，2014年8月18-19日，會議論文集（計算機科學講義）
- 出版商: Springer
- 出版日期: 2014-08-04
- 售價: $2,470
- 貴賓價: 9.5 折 $2,347
- 語言: 英文
- 頁數: 216
- 裝訂: Paperback
- ISBN: 3319097636
- ISBN-13: 9783319097633
-
相關分類:
Computer-Science
海外代購書籍(需單獨結帳)
相關主題
商品描述
This book constitutes the proceedings of the 15th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XV, held in Prague, Czech Republic, in August 2014.
The 12 regular papers were carefully reviewed and selected from 20 submissions. The purpose of the CLIMA workshops is to provide a forum for discussing techniques, based on computational logic, for representing, programming and reasoning about agents and multi-agent systems in a formal way. This edition will feature two special sessions: logics for agreement technologies and logics for games, strategic reasoning, and social choice.
The 12 regular papers were carefully reviewed and selected from 20 submissions. The purpose of the CLIMA workshops is to provide a forum for discussing techniques, based on computational logic, for representing, programming and reasoning about agents and multi-agent systems in a formal way. This edition will feature two special sessions: logics for agreement technologies and logics for games, strategic reasoning, and social choice.
商品描述(中文翻譯)
本書為第十五屆國際多代理系統計算邏輯研討會（CLIMA XV）的會議紀錄，於2014年8月在捷克共和國布拉格舉行。
12篇常規論文經過仔細審查，從20篇投稿中選出。CLIMA研討會的目的是提供一個論壇，討論基於計算邏輯的技術，以正式的方式表示、編程和推理代理及多代理系統。本屆研討會將設有兩個特別會議：協議技術的邏輯以及遊戲、策略推理和社會選擇的邏輯。
