Computational Logic in Multi-Agent Systems : 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004: Revised Selected and Invited Papers

by Leite, Joao Alexandre; Torroni, Paolo

• ISBN13: 9783540280606
• ISBN10: 354028060X
• Edition: Revised
• Format: Paperback
• Copyright: 2005-09-01
• Publisher: Springer Verlag

Summary

This book constitutes the strictly refereed post-proceedings of the 5th International Workshop on Computational Logic for Multi-Agent Systems, CLIMA V, held in Lisbon, Portugal, in September 2004 as a joint event in federation with the Ninth European Conference on Logics in Artificial Intelligence (JELIAa??04) to promote the CLIMA research topics in the broader community of logics in AI. The 16 revised full papers presented were carefully selected from 35 submissions and are devoted to techniques from computational logic for representing, programming, and reasoning about multi-agent systems. The papers are organized in topical sections on foundations, architectures, interaction, and planning and applications.

Table of Contents

A logic for knowledge, correctness, and real time	p. 1
Dynamic logic for plan revision in intelligent agents	p. 16
Contextual taxonomies	p. 33
From logic programs updates to action description updates	p. 52
Dynamic logic programming : various semantics are equal on acyclic programs	p. 78
Declarative agent control	p. 96
Metareasoning for multi-agent epistemic logics	p. 111
Graded BDI models for agent architectures	p. 126
Inferring trust	p. 144
Coordination between logical agents	p. 161
A computational model for conversation policies for agent communication	p. 178
Verifying protocol conformance for logic-based communicating agents	p. 196
An application of global abduction to an information agent which modifies a plan upon failure - preliminary report	p. 213
Planning partially for situated agents	p. 230
Desire-space analysis and action selection for multiple dynamic goals	p. 249
Organising software in active environments	p. 265
Table of Contents provided by Blackwell. All Rights Reserved.