Abstract is missing.
- Producing Compliant Interactions: Conformance, Coverage, and InteroperabilityAmit K. Chopra, Munindar P. Singh. 1-15 [doi]
- Towards Theory TranslationDejing Dou, Drew V. McDermott. 16-28 [doi]
- The Complexity of Model Checking Concurrent Programs Against CTLK SpecificationsAlessio Lomuscio, Franco Raimondi. 29-42 [doi]
- Dynamic Model Checking for Multi-agent SystemsNardine Osman, David Robertson, Christopher Walton. 43-60 [doi]
- Automating Belief Revision for AgentSpeakNatasha Alechina, Rafael H. Bordini, Jomi Fred Hübner, Mark Jago, Brian Logan. 61-77 [doi]
- A Foundational Ontology of Organizations and RolesGuido Boella, Leendert W. N. van der Torre. 78-88 [doi]
- When Agents Communicate Hypotheses in Critical SituationsGauvain Bourgne, Nicolas Maudet, Suzanne Pinson. 89-104 [doi]
- A Fibred Tableau Calculus for Modal Logics of AgentsVineet Padmanabhan, Guido Governatori. 105-122 [doi]
- Programming Declarative Goals Using Plan PatternsJomi Fred Hübner, Rafael H. Bordini, Michael Wooldridge. 123-140 [doi]
- JADL - An Agent Description Language for Smart AgentsThomas Konnerth, Benjamin Hirsch, Sahin Albayrak. 141-155 [doi]
- Agreeing on Defeasible CommitmentsIoan Alfred Letia, Adrian Groza. 156-173 [doi]
- A Dynamic Logic Programming Based System for Agents with Declarative GoalsVivek Nigam, João Leite. 174-190 [doi]
- A Collaborative Framework to Realize Virtual Enterprises Using 3APLGobinath Narayanasamy, Joe Cecil, Tran Cao Son. 191-206 [doi]
- A Modeling Framework for Generic Agent Interaction ProtocolsJosé Ghislain Quenum, Samir Aknine, Jean-Pierre Briot, Shinichi Honiden. 207-224 [doi]
- Plan Generation and Plan Execution in Agent ProgrammingM. Birna van Riemsdijk, Mehdi Dastani. 225-238 [doi]
- A Functional Program for Agents, Actions, and Deontic SpecificationsAdam Zachary Wyner. 239-256 [doi]