CLIMA X 2009: Hamburg, Germany
Jürgen Dix, Michael Fisher, Peter Novák (Eds.): Computational Logic in Multi-Agent Systems - 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers. Springer 2010 Lecture Notes in Computer Science ISBN 978-3-642-16866-6- Nils Bulling, Berndt Farwer: Expressing Properties of Resource-Bounded Systems: The Logics RTL* and RTL. 22-45
- Chitta Baral, Tran Cao Son, Enrico Pontelli: Reasoning about Multi-agent Domains Using Action Language C\mathcal{C}: A Preliminary Study. 46-63
- Louise A. Dennis, Nick A. M. Tinnemeier, John-Jules Ch. Meyer: Model Checking Normative Agent Organisations. 64-82
- Mehdi Dastani, Bas R. Steunebrink: Operational Semantics for BDI Modules in Multi-agent Programming. 83-101
- Luke Hopton, Owen Cliffe, Marina De Vos, Julian A. Padget: InstQL: A Query Language for Virtual Institutions Using Answer Set Programming. 102-121
- Wietske Visser, Koen V. Hindriks, Catholijn M. Jonker: Argumentation-Based Preference Modelling with Incomplete Information. 141-157
- Pedro Arturo Góngora, David A. Rosenblueth: A Characterization of Mixed-Strategy Nash Equilibria in PCTL Augmented with a Cost Quantifier. 158-177
- Jiefei Ma, Alessandra Russo, Krysia Broda, Hiroshi Hosobe, Ken Satoh: On the Implementation of Speculative Constraint Processing. 178-195
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team