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 BibTeX
Foundational Aspects of Agency
Agent Programming
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
Electronic Edition (link) BibTeX
- Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti:
Verification of Protocol Conformance and Agent Interoperability.
265-283
Electronic Edition (link) BibTeX
- Davide Grossi, Frank Dignum, John-Jules Ch. Meyer:
Contextual Terminologies.
284-302
Electronic Edition (link) BibTeX
- Guido Boella, Leendert W. N. van der Torre:
Constitutive Norms in the Design of Normative Multiagent Systems.
303-319
Electronic Edition (link) BibTeX
- Chiaki Sakama, Katsumi Inoue:
Combining Answer Sets of Nonmonotonic Logic Programs.
320-339
Electronic Edition (link) BibTeX
- Martine Ceberio, Hiroshi Hosobe, Ken Satoh:
Speculative Constraint Processing with Iterative Revision for Disjunctive Answers.
340-357
Electronic Edition (link) BibTeX
- Robert Demolombe, Ana María Otermin Fernandez:
Intention Recognition in the Situation Calculus and Probability Theory Frameworks.
358-372
Electronic Edition (link) BibTeX
The First CLIMA Contest
Project Report
Copyright © Sat May 16 23:02:26 2009
by Michael Ley (ley@uni-trier.de)
