Declarative Agent Languages and Technologies III

1. Front Matter

   PDF

2. Agent Programming and Beliefs

   1. Beliefs in Agent Implementation

      • Laurens Winkelhagen, Mehdi Dastani, Jan Broersen

      Pages 1-16

   2. Modelling Uncertainty in Agent Programming

      • Johan Kwisthout, Mehdi Dastani

      Pages 17-32

   3. Complete Axiomatizations of Finite Syntactic Epistemic States

      • Thomas Ågotnes, Michal Walicki

      Pages 33-50

3. Architectures and Logic Programming

   1. An Architecture for Rational Agents

      • J. W. Lloyd, T. D. Sears

      Pages 51-71

   2. LAIMA: A Multi-agent Platform Using Ordered Choice Logic Programming

      • Marina De Vos, Tom Crick, Julian Padget, Martin Brain, Owen Cliffe, Jonathan Needham

      Pages 72-88

   3. A Distributed Architecture for Norm-Aware Agent Societies

      • A. García-Camino, J. A. Rodríguez-Aguilar, C. Sierra, W. Vasconcelos

      Pages 89-105

   4. About Declarative Semantics of Logic-Based Agent Languages

      • Stefania Costantini, Arianna Tocchio

      Pages 106-123

4. Knowledge Representation and Reasoning

   1. Goal Decomposition Tree: An Agent Model to Generate a Validated Agent Behaviour

      • Gaële Simon, Bruno Mermet, Dominique Fournier

      Pages 124-140

   2. Resource-Bounded Belief Revision and Contraction

      • Natasha Alechina, Mark Jago, Brian Logan

      Pages 141-154

   3. Agent-Oriented Programming with Underlying Ontological Reasoning

      • Álvaro F. Moreira, Renata Vieira, Rafael H. Bordini, Jomi F. Hübner

      Pages 155-170

   4. Dynagent: An Incremental Forward-Chaining HTN Planning Agent in Dynamic Domains

      • Hisashi Hayashi, Seiji Tokura, Tetsuo Hasegawa, Fumio Ozaki

      Pages 171-187

   5. A Combination of Explicit and Deductive Knowledge with Branching Time: Completeness and Decidability Results

      • Alessio Lomuscio, Bożena Woźna

      Pages 188-204

5. Coordination and Model Checking

   1. An Intensional Programming Approach to Multi-agent Coordination in a Distributed Network of Agents

      • Kaiyu Wan, Vasu S. Alagar

      Pages 205-222

   2. A Tableau Method for Verifying Dialogue Game Protocols for Agent Communication

      • Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer

      Pages 223-244

6. Back Matter

   PDF

The workshop on Declarative Agent Languages and Technologies is a we- established venue for researchers interested in sharing their experiences in the areas of declarative and formal aspects of agents and multi-agent systems, and in engineering and technology. Today it is still a challenge to develop techno- gies that can satisfy the requirements of complex agent systems. The design and development of multi-agent systems still calls for models and technologies that ensure predictability, enable feature discovery, allow for the veri?cation of properties, and guarantee ?exibility. Declarative approaches are potentially a valuable means for satisfying the needs of multi-agent system developers and for specifying multi-agent systems. DALT 2005, the third edition of the workshop, was held in Utrecht, The Netherlands, in July 2005, in conjunction with AAMAS 2005, the Fourth Int- national Joint Conference on Agents and Multiagent Systems. Over 30 persons attended the workshop con?rming the success of the previous editions in M- bourne 2003 (LNAI 2990) and New York 2004 (LNAI 3476). The workshop series is a forum of discussion aimed both at supporting the transfer of decla- tive paradigms and techniques into the broader community of agent researchers andpractitioners, and atbringing theissuesofdesigningreal-world andcomplex agent systems to the attention of researchers working on declarative progr- ming and technologies.

• agent communication
• agent cooperation
• agent coordination
• agent reasoning
• agent systems design
• agent systems specification
• agent verification
• agents
• autonomous agents
• knowledge
• knowledge representation
• logic programming
• machine learning
• modeling
• multi-agent system

• Dipartimento di Informatica, Università di Torino, Turin, Italy

  Matteo Baldoni

• Artificial Intelligence Programme, University of Amsterdam, The Netherlands

  Ulle Endriss

• Alma Mater Studiorum Università di Bologna a Cesena, Cesena, Italy

  Andrea Omicini

• DEIS, University of Bologna, Bologna, Italy

  Paolo Torroni

Policies and ethics