Skip to main content
SpringerLink
Log in

Declarative Agent Languages and Technologies III

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

  • Conference proceedings
  • © 2006

Overview

Editors:
  1. Matteo Baldoni

    1. Dipartimento di Informatica, Università di Torino, Turin, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Ulle Endriss

    1. Artificial Intelligence Programme, University of Amsterdam, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Andrea Omicini

    1. Alma Mater Studiorum Università di Bologna a Cesena, Cesena, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Paolo Torroni

    1. DEIS, University of Bologna, Bologna, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Included in the following conference series:

Conference proceedings info: DALT 2005.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (14 papers)

  1. Front Matter

    Download chapter 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

    Download chapter PDF
Back to top

Other volumes

  1. Declarative Agent Languages and Technologies III

Keywords

About this book

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.

Editors and Affiliations

  • 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

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation