書目名稱 | Computational Logic in Multi-Agent Systems |
副標題 | 11th International W |
編輯 | Jürgen Dix,Jo?o Leite,Wojtek Jamroga |
視頻video | http://file.papertrans.cn/233/232630/232630.mp4 |
概述 | fast-track conference proceedings |
叢書名稱 | Lecture Notes in Computer Science |
圖書封面 |  |
描述 | This book constitutes the refereed proceedings of the 11th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA-XI, held in Lisbon, Portugal in August 2010.?The 14 papers included in this volume were carefully reviewed and selected from 31 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. CLIMA 2010 featured two thematic special sessions on norms and normative multi-agent systems and logics for games and strategic reasoning.?. |
出版日期 | Conference proceedings 2010 |
關(guān)鍵詞 | Multi-agent system; agent interaction; agents; computational complexity; normative programming; programmi |
版次 | 1 |
doi | https://doi.org/10.1007/978-3-642-14977-1 |
isbn_softcover | 978-3-642-14976-4 |
isbn_ebook | 978-3-642-14977-1Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
issn_series | 0302-9743 |
copyright | Springer-Verlag Berlin Heidelberg 2010 |