default search action
CLIMA X 2009: Hamburg, Germany
- Jürgen Dix, Michael Fisher, Peter Novák:
Computational Logic in Multi-Agent Systems - 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers. Lecture Notes in Computer Science 6214, Springer 2010, ISBN 978-3-642-16866-6 - Tran Cao Son, Enrico Pontelli, Ngoc-Hieu Nguyen:
Planning for Multiagent Using ASP-Prolog. 1-21 - 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 - Chiaki Sakama, Tran Cao Son:
Interacting Answer Sets. 122-140 - 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
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.