Publication has no abstract
- Plan-Coordination Mechanisms and the Price of AutonomyJ. Renze Steenhuisen, Cees Witteveen, Yingqian Zhang. 1-21 [doi]
- Actions with Failures in Interval Temporal LogicArjen Hommersom, Peter J. F. Lucas. 22-41 [doi]
- A Logic for Reasoning about Rational AgentsWojciech Jamroga, Nils Bulling. 42-61 [doi]
- Formal Modelling of Emotions in BDI AgentsDavid Pereira, Eugénio C. Oliveira, Nelma Moreira. 62-81 [doi]
- What I Fail to Do Today, I Have to Do Tomorrow : A Logical Study of the Propagation of ObligationsJan Broersen, Julien Brunel. 82-99 [doi]
- Proof Theory for Distributed KnowledgeRaul Hakli, Sara Negri. 100-116 [doi]
- EVOLP: Tranformation-Based SemanticsMartin Slota, João Leite. 117-136 [doi]
- Language Constructs for Multi-agent ProgrammingLouise A. Dennis, Michael Fisher, Anthony Hepple. 137-156 [doi]
- -TroposVolha Bryl, Paola Mello, Marco Montali, Paolo Torroni, Nicola Zannone. 157-176 [doi]
- A Heuristic Approach to P2P NegotiationStefania Costantini, Arianna Tocchio, Panagiota Tsintza. 177-192 [doi]
- Towards Context Sensitive Defeasible RulesArmin Hezart, Abhaya C. Nayak, Mehmet A. Orgun. 193-213 [doi]
- Fuzzy Argumentation for TrustRuben Stranders, Mathijs de Weerdt, Cees Witteveen. 214-230 [doi]
- Assumption-Based Argumentation for Selection and Composition of ServicesFrancesca Toni. 231-247 [doi]
- A Complete Quantified Epistemic Logic for Reasoning about Message Passing SystemsFrancesco Belardinelli, Alessio Lomuscio. 248-267 [doi]
- Analytic Cut-Free Tableaux for Regular Modal Logics of Agent BeliefsRajeev Goré, Linh Anh Nguyen. 268-287 [doi]
- EVOLP: An ImplementationMartin Slota, João Leite. 288-298 [doi]