CLIMA VI 2005: London, UK

Francesca Toni, Paolo Torroni (Eds.): Computational Logic in Multi-Agent Systems, 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers. Lecture Notes in Computer Science 3900 Springer 2006, ISBN 3-540-33996-5

Robert A. Kowalski:
The Logical Way to Be Artificially Intelligent. 1-22

Foundational Aspects of Agency

Laurence Cholvy, Christophe Garion, Claire Saurel:
Ability in a Multi-agent Context: A Model in the Situation Calculus. 23-36
Linh Anh Nguyen:
Reasoning About Epistemic States of Agents by Modal Logic Programming. 37-56
Thomas Ågotnes, Michal Walicki:
Strongly Complete Axiomatizations of "Knowing at Most" in Syntactic Structures. 57-76
Bjørnar Solhaug, Arild Waaler:
Logical Spaces in Multi-agent Only Knowing Systems. 77-95
Johan W. Klüwer, Arild Waaler:
Trustworthiness by Default. 96-111
Regimantas Pliuskevicius, Aida Pliuskeviciene:
Decision Procedure for a Fragment of Mutual Belief Logic with Quantified Agent Variables. 112-128

Agent Programming

Michael Fisher:
Implementing Temporal Logics: Tools for Execution and Proof (Tutorial Paper). 129-142
Rafael H. Bordini, Jomi Fred Hübner:
BDI Agent Programming in AgentSpeak Using Jason (Tutorial Paper). 143-164
Fariba Sadri:
Using the KGP Model of Agency to Design Applications (Tutorial Paper). 165-185
Keith L. Clark, Peter J. Robinson, Silvana Zappacosta-Amboldi:
Multi-threaded Communicating Agents in Qu-Prolog (Tutorial Paper). 186-205
Fariba Sadri, Francesca Toni:
Variety of Behaviours Through Profiles in Logic-Based Agents. 206-225
John Knottenbelt, Keith Clark:
Contract-Related Agents. 226-242

Agent Interaction and Normative Systems

Federico Chesani, Marco Gavanelli, Marco Alberti, Evelina Lamma, Paola Mello, Paolo Torroni:
Specification and Verification of Agent Interaction Using Abductive Reasoning (Tutorial Paper). 243-264
Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti:
Verification of Protocol Conformance and Agent Interoperability. 265-283
Davide Grossi, Frank Dignum, John-Jules Ch. Meyer:
Contextual Terminologies. 284-302
Guido Boella, Leendert W. N. van der Torre:
Constitutive Norms in the Design of Normative Multiagent Systems. 303-319
Chiaki Sakama, Katsumi Inoue:
Combining Answer Sets of Nonmonotonic Logic Programs. 320-339
Martine Ceberio, Hiroshi Hosobe, Ken Satoh:
Speculative Constraint Processing with Iterative Revision for Disjunctive Answers. 340-357
Robert Demolombe, Ana María Otermin Fernandez:
Intention Recognition in the Situation Calculus and Probability Theory Frameworks. 358-372

The First CLIMA Contest

Mehdi Dastani, Jürgen Dix, Peter Novák:
The First Contest on Multi-agent Systems Based on Computational Logic. 373-384
Simon Coffey, Dorian Gaertner:
Implementing Pheromone-Based, Negotiating Forager Agents. 385-395
Carlos Cares, Xavier Franch, Enric Mayol:
Extending Tropos for a Prolog Implementation: A Case Study Using the Food Collecting Agent Problem. 396-405
Robert Logie, Jon G. Hall, Kevin G. Waugh:
Reactive Food Gathering. 406-413
Eder Mateus Nunes Gonçalves, Guilherme Bittencourt:
Strategies for Multi-agent Coordination in a Grid World Using Petri Nets. 414-419

Project Report

Francesca Toni:
Multi-agent Systems in Computational Logic: Challenges and Outcomes of the SOCS Project. 420-426