default search action
CLIMA V 2004: Lisbon, Portugal
- João Alexandre Leite, Paolo Torroni:
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, Lluís 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.