CLIMA XI 2010:
Lisbon,
Portugal
Jürgen Dix, João Leite, Guido Governatori, Wojtek Jamroga (Eds.):
Computational Logic in Multi-Agent Systems, 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings.
Lecture Notes in Computer Science 6245 Springer 2010, ISBN 978-3-642-14976-4 
Invited Talks
- Toby Walsh:
Is Computational Complexity a Barrier to Manipulation?
1-7
- Ron van der Meyden:
Games, Norms and Strategic Notions in Information Flow Security.
8
- Thomas Ågotnes:
Group Announcements: Logic and Games (Abstract of Invited Talk).
9-13
- Stefan Woltran:
Strong Equivalence in Argumentation.
14
Regular Papers
- Sara Miner More, Pavel Naumov:
Hypergraphs of Multiparty Secrets.
15-32
- Christoph Benzmüller:
Combining Logics in Simple Type Theory.
33-48
- Jiefei Ma, Krysia Broda, Randy Goebel, Hiroshi Hosobe, Alessandra Russo, Ken Satoh:
Speculative Abductive Reasoning for Hierarchical Agent Systems.
49-64
- Pedro Arturo Góngora, Eric Ufferman, Francisco Hernández Quiroz:
Formal Semantics of a Dynamic Epistemic Logic for Describing Knowledge Properties of pi-Calculus Processes.
65-81
- Özgür Kafali, Federico Chesani, Paolo Torroni:
What Happened to My Commitment? Exception Diagnosis among Misalignment and Misbehavior.
82-98
- Davide D'Aprile, Laura Giordano, Valentina Gliozzi, Alberto Martelli, Gian Luca Pozzato, Daniele Theseider Dupré:
Verifying Business Process Compliance by Reasoning about Actions.
99-116
- Jomi Fred Hübner, Olivier Boissier, Rafael H. Bordini:
From Organisation Specification to Normative Programming in Multi-Agent Organisations.
117-134
- Jan Calta, Dmitry Shkatov, Bernd-Holger Schlingloff:
Finding Uniform Strategies for Multi-agent Systems.
135-152
- Sujata Ghosh, Ramaswamy Ramanujam, Sunil Easaw Simon:
Playing Extensive Form Games in Parallel.
153-170
- Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano:
Exploring the Boundary of Half Positionality.
171-185
- Jonathan A. Zvesper, Krzysztof R. Apt:
Proof-Theoretic Analysis of Rationality for Strategic Games with Arbitrary Strategy Sets.
186-199
- Robert A. Kowalski, Fariba Sadri:
An Agent Language with Destructive Assignment and Model-Theoretic Semantics.
200-218
- Sung-Shik T. Q. Jongmans, Koen V. Hindriks, M. Birna van Riemsdijk:
Model Checking Agent Programs by Using the Program Interpreter.
219-237
- Stefania Costantini, Arianna Tocchio:
A Dialogue Games Framework for the Operational Semantics of Logic Agent-Oriented Languages.
238-255
Last update Thu May 24 04:14:55 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
