Lecture Notes in Artificial Intelligence

Declarative Agent Languages and Technologies III

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

Editors: Baldoni, M., Endriss, U., Omicini, A., Torroni, P. (Eds.)

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-540-33107-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA
  • ISBN 978-3-540-33106-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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.

Table of contents (14 chapters)

  • Beliefs in Agent Implementation

    Winkelhagen, Laurens (et al.)

    Pages 1-16

  • Modelling Uncertainty in Agent Programming

    Kwisthout, Johan (et al.)

    Pages 17-32

  • Complete Axiomatizations of Finite Syntactic Epistemic States

    Ågotnes, Thomas (et al.)

    Pages 33-50

  • An Architecture for Rational Agents

    Lloyd, J. W. (et al.)

    Pages 51-71

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

    Vos, Marina (et al.)

    Pages 72-88

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-540-33107-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA
  • ISBN 978-3-540-33106-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Declarative Agent Languages and Technologies III
Book Subtitle
Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers
Editors
  • Matteo Baldoni
  • Ulle Endriss
  • Andrea Omicini
  • Paolo Torroni
Series Title
Lecture Notes in Artificial Intelligence
Series Volume
3904
Copyright
2006
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-33107-0
DOI
10.1007/11691792
Softcover ISBN
978-3-540-33106-3
Edition Number
1
Number of Pages
XII, 248
Topics