DALT 2005: Utrecht, The Netherlands
Matteo Baldoni, Ulle Endriss, Andrea Omicini, Paolo Torroni (Eds.): Declarative Agent Languages and Technologies III, Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers. Springer 2006 Lecture Notes in Computer Science ISBN 3-540-33106-9
Agent Programming and Beliefs
- Thomas Ågotnes, Michal Walicki: Complete Axiomatizations of Finite Syntactic Epistemic States. 33-50
Architectures and Logic Programming
- Marina De Vos, Tom Crick, Julian A. Padget, Martin Brain, Owen Cliffe, Jonathan Needham: LAIMA: A Multi-agent Platform Using Ordered Choice Logic Programming. 72-88
- Andrés García-Camino, Juan A. Rodríguez-Aguilar, Carles Sierra, Wamberto Weber Vasconcelos: A Distributed Architecture for Norm-Aware Agent Societies. 89-105
- Stefania Costantini, Arianna Tocchio: About Declarative Semantics of Logic-Based Agent Languages. 106-123
Knowledge Representation and Reasoning
- Gaële Simon, Bruno Mermet, Dominique Fournier: Goal Decomposition Tree: An Agent Model to Generate a Validated Agent Behaviour. 124-140
- Álvaro F. Moreira, Renata Vieira, Rafael H. Bordini, Jomi Fred Hübner: Agent-Oriented Programming with Underlying Ontological Reasoning. 155-170
- Hisashi Hayashi, Seiji Tokura, Tetsuo Hasegawa, Fumio Ozaki: Dynagent: An Incremental Forward-Chaining HTN Planning Agent in Dynamic Domains. 171-187
- Alessio Lomuscio, Bozena Wozna: A Combination of Explicit and Deductive Knowledge with Branching Time: Completeness and Decidability Results. 188-204
Coordination and Model Checking
- Kaiyu Wan, Vasu S. Alagar: An Intensional Programming Approach to Multi-agent Coordination in a Distributed Network of Agents. 205-222
- Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer: A Tableau Method for Verifying Dialogue Game Protocols for Agent Communication. 223-244
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-17T203624 by the dblp team