Computational Logic in Multi-Agent Systems: 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers

Annotation This Book Constitutes The Thoroughly Refereed And Revised Post-conference Proceedings Of The 10th International Workshop On Computational Logic For Multi-agent Systems, Clima X, Held In Hamburg, Germany, In September 2009 - Co-located With Mates 2009, The 7th German Conference On Multi-agent System Technologies. The 9 Full Papers, Presented Together With One Invited Paper, Were Carefully Selected And Reviewed From 18 Submissions. The Topics Covered Are Formal Approaches And Model Checking, Belief-desire-intention, Answer Set Programming And (multi- )agent Systems, And Coordination And Deliberation. Front Matter....Pages - Planning for Multiagent Using ASP-Prolog....Pages 1-21 Expressing Properties of Resource-Bounded Systems: The Logics RTL * and RTL ....Pages 22-45 Reasoning about Multi-agent Domains Using Action Language $\mathcal{C}$ : A Preliminary Study....Pages 46-63 Model Checking Normative Agent Organisations....Pages 64-82 Operational Semantics for BDI Modules in Multi-agent Programming....Pages 83-101 Inst QL : A Query Language for Virtual Institutions Using Answer Set Programming....Pages 102-121 Interacting Answer Sets....Pages 122-140 Argumentation-Based Preference Modelling with Incomplete Information....Pages 141-157 A Characterization of Mixed-Strategy Nash Equilibria in PCTL Augmented with a Cost Quantifier....Pages 158-177 On the Implementation of Speculative Constraint Processing....Pages 178-195 Back Matter....Pages - This book constitutes the 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 presented were carefully reviewed and selected from 31 submissions. In addition 4 invited talks are presented. 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 volume features two thematic special sessions: norms and normative multi-agent systems and logics for games and strategic reasoning