CLIMA V 2004: Lisbon, Portugal

João Alexandre Leite, Paolo Torroni (Eds.): Computational Logic in Multi-Agent Systems, 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers. Lecture Notes in Computer Science 3487 Springer 2005, ISBN 3-540-28060-X

Foundations

Bozena Wozna, Alessio Lomuscio:
A Logic for Knowledge, Correctness, and Real Time. 1-15
M. Birna van Riemsdijk, Frank S. de Boer, John-Jules Ch. Meyer:
Dynamic Logic for Plan Revision in Intelligent Agents. 16-32
Davide Grossi, Frank Dignum, John-Jules Ch. Meyer:
Contextual Taxonomies. 33-51
José Júlio Alferes, Federico Banti, Antonio Brogi:
From Logic Programs Updates to Action Description Updates. 52-77
Martin Homola:
Dynamic Logic Programming: Various Semantics Are Equal on Acyclic Programs. 78-95

Architectures

Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni:
Declarative Agent Control. 96-110
Konstantine Arkoudas, Selmer Bringsjord:
Metareasoning for Multi-agent Epistemic Logics. 111-125
Ana Casali, Lluis Godo, Carles Sierra:
Graded BDI Models for Agent Architectures. 126-143

Interaction

Mehdi Dastani, Andreas Herzig, Joris Hulstijn, Leendert W. N. van der Torre:
Inferring Trust. 144-160
Chiaki Sakama, Katsumi Inoue:
Coordination Between Logical Agents. 161-177
Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer, Brahim Chaib-draa:
A Computational Model for Conversation Policies for Agent Communication. 178-195
Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella:
Verifying Protocol Conformance for Logic-Based Communicating Agents. 196-212

Planning and Applications

Ken Satoh:
An Application of Global Abduction to an Information Agent Which Modifies a Plan Upon Failure - Preliminary Report. 213-229
Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni:
Planning Partially for Situated Agents. 230-248
David C. Han, K. Suzanne Barber:
Desire-Space Analysis and Action Selection for Multiple Dynamic Goals. 249-264
Benjamin Hirsch, Michael Fisher, Chiara Ghidini, Paolo Busetta:
Organising Software in Active Environments. 265-280

Last update Mon May 20 11:20:27 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page