![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
CLIMA XI 2010: Lisbon, Portugal
- Jürgen Dix, João Leite
, Guido Governatori
, Wojtek Jamroga:
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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.