© 2006

Declarative Agent Languages and Technologies III

Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers

  • Matteo Baldoni
  • Ulle Endriss
  • Andrea Omicini
  • Paolo Torroni
Conference proceedings DALT 2005

Part of the Lecture Notes in Computer Science book series (LNCS, volume 3904)

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 3904)

Table of contents

  1. Front Matter
  2. Agent Programming and Beliefs

    1. Laurens Winkelhagen, Mehdi Dastani, Jan Broersen
      Pages 1-16
    2. Johan Kwisthout, Mehdi Dastani
      Pages 17-32
    3. Thomas Ågotnes, Michal Walicki
      Pages 33-50
  3. Architectures and Logic Programming

    1. J. W. Lloyd, T. D. Sears
      Pages 51-71
    2. Marina De Vos, Tom Crick, Julian Padget, Martin Brain, Owen Cliffe, Jonathan Needham
      Pages 72-88
    3. A. García-Camino, J. A. Rodríguez-Aguilar, C. Sierra, W. Vasconcelos
      Pages 89-105
    4. Stefania Costantini, Arianna Tocchio
      Pages 106-123
  4. Knowledge Representation and Reasoning

    1. Gaële Simon, Bruno Mermet, Dominique Fournier
      Pages 124-140
    2. Natasha Alechina, Mark Jago, Brian Logan
      Pages 141-154
    3. Álvaro F. Moreira, Renata Vieira, Rafael H. Bordini, Jomi F. Hübner
      Pages 155-170
    4. Hisashi Hayashi, Seiji Tokura, Tetsuo Hasegawa, Fumio Ozaki
      Pages 171-187
  5. Coordination and Model Checking

  6. Back Matter

About these proceedings


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

Editors and affiliations

  • Matteo Baldoni
    • 1
  • Ulle Endriss
    • 2
  • Andrea Omicini
    • 3
  • Paolo Torroni
    • 4
  1. 1.Dipartimento di InformaticaUniversità di TorinoTurinItaly
  2. 2.Artificial Intelligence ProgrammeUniversity of AmsterdamThe Netherlands
  3. 3.Alma Mater Studiorum Università di Bologna a CesenaCesenaItaly
  4. 4.DEISUniversity of BolognaBolognaItaly

Bibliographic information

Industry Sectors
Chemical Manufacturing
IT & Software
Consumer Packaged Goods
Materials & Steel
Finance, Business & Banking
Energy, Utilities & Environment
Oil, Gas & Geosciences