Abstract is missing.
- The Logical Way to Be Artificially IntelligentRobert A. Kowalski. 1-22 [doi]
- Ability in a Multi-agent Context: A Model in the Situation CalculusLaurence Cholvy, Christophe Garion, Claire Saurel. 23-36 [doi]
- Reasoning About Epistemic States of Agents by Modal Logic ProgrammingLinh Anh Nguyen. 37-56 [doi]
- Strongly Complete Axiomatizations of Knowing at Most in Syntactic StructuresThomas Ågotnes, Michal Walicki. 57-76 [doi]
- Logical Spaces in Multi-agent Only Knowing SystemsBjørnar Solhaug, Arild Waaler. 77-95 [doi]
- Trustworthiness by DefaultJohan W. Klüwer, Arild Waaler. 96-111 [doi]
- Decision Procedure for a Fragment of Mutual Belief Logic with Quantified Agent VariablesRegimantas Pliuskevicius, Aida Pliuskeviciene. 112-128 [doi]
- Implementing Temporal Logics: Tools for Execution and Proof (Tutorial Paper)Michael Fisher. 129-142 [doi]
- BDI Agent Programming in AgentSpeak Using ::::Jason:::: (Tutorial Paper)Rafael H. Bordini, Jomi Fred Hübner. 143-164 [doi]
- Using the KGP Model of Agency to Design Applications (Tutorial Paper)Fariba Sadri. 165-185 [doi]
- Multi-threaded Communicating Agents in Qu-Prolog (Tutorial Paper)Keith L. Clark, Peter J. Robinson, Silvana Zappacosta-Amboldi. 186-205 [doi]
- Variety of Behaviours Through Profiles in Logic-Based AgentsFariba Sadri, Francesca Toni. 206-225 [doi]
- Contract-Related AgentsJohn Knottenbelt, Keith Clark. 226-242 [doi]
- Specification and Verification of Agent Interaction Using Abductive Reasoning (Tutorial Paper)Federico Chesani, Marco Gavanelli, Marco Alberti, Evelina Lamma, Paola Mello, Paolo Torroni. 243-264 [doi]
- Verification of Protocol Conformance and Agent InteroperabilityMatteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti. 265-283 [doi]
- Contextual TerminologiesDavide Grossi, Frank Dignum, John-Jules Ch. Meyer. 284-302 [doi]
- Constitutive Norms in the Design of Normative Multiagent SystemsGuido Boella, Leendert W. N. van der Torre. 303-319 [doi]
- Combining Answer Sets of Nonmonotonic Logic ProgramsChiaki Sakama, Katsumi Inoue. 320-339 [doi]
- Speculative Constraint Processing with Iterative Revision for Disjunctive AnswersMartine Ceberio, Hiroshi Hosobe, Ken Satoh. 340-357 [doi]
- Intention Recognition in the Situation Calculus and Probability Theory FrameworksRobert Demolombe, Ana María Otermin Fernandez. 358-372 [doi]
- The First Contest on Multi-agent Systems Based on Computational LogicMehdi Dastani, Jürgen Dix, Peter Novák. 373-384 [doi]
- Implementing Pheromone-Based, Negotiating Forager AgentsSimon Coffey, Dorian Gaertner. 385-395 [doi]
- Extending Tropos for a Prolog Implementation: A Case Study Using the Food Collecting Agent ProblemCarlos Cares, Xavier Franch, Enric Mayol. 396-405 [doi]
- Reactive Food GatheringRobert Logie, Jon G. Hall, Kevin G. Waugh. 406-413 [doi]
- Strategies for Multi-agent Coordination in a Grid World Using Petri NetsEder Mateus Nunes Gonçalves, Guilherme Bittencourt. 414-419 [doi]
- Multi-agent Systems in Computational Logic: Challenges and Outcomes of the SOCS ProjectFrancesca Toni. 420-426 [doi]