دانلود کتاب Computational Logic in Multi-Agent Systems: 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers

فهرست مطالب :

Front Matter....Pages -
Is Computational Complexity a Barrier to Manipulation?....Pages 1-7
Games, Norms and Strategic Notions in Information Flow Security....Pages 8-8
Group Announcements: Logic and Games (Abstract of Invited Talk)....Pages 9-13
Strong Equivalence in Argumentation....Pages 14-14
Hypergraphs of Multiparty Secrets....Pages 15-32
Combining Logics in Simple Type Theory....Pages 33-48
Speculative Abductive Reasoning for Hierarchical Agent Systems....Pages 49-64
Formal Semantics of a Dynamic Epistemic Logic for Describing Knowledge Properties of π -Calculus Processes....Pages 65-81
What Happened to My Commitment? Exception Diagnosis among Misalignment and Misbehavior....Pages 82-98
Verifying Business Process Compliance by Reasoning about Actions....Pages 99-116
From Organisation Specification to Normative Programming in Multi-Agent Organisations....Pages 117-134
Finding Uniform Strategies for Multi-agent Systems....Pages 135-152
Playing Extensive Form Games in Parallel....Pages 153-170
Exploring the Boundary of Half Positionality....Pages 171-185
Proof-Theoretic Analysis of Rationality for Strategic Games with Arbitrary Strategy Sets....Pages 186-199
An Agent Language with Destructive Assignment and Model-Theoretic Semantics....Pages 200-218
Model Checking Agent Programs by Using the Program Interpreter....Pages 219-237
A Dialogue Games Framework for the Operational Semantics of Logic Agent-Oriented Languages....Pages 238-255
Back Matter....Pages -