© 2010

Declarative Agent Languages and Technologies VII

7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers

  • Matteo Baldoni
  • Jamal Bentahar
  • M. Birna van Riemsdijk
  • John Lloyd


  • up-to-date results

  • fast track conference proceedings

  • state-of-the art report

Conference proceedings DALT 2009

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

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

Table of contents

  1. Front Matter
  2. Invited Talk

    1. João Leite
      Pages 1-19
  3. Invited Papers

    1. Lăcrămioara Aştefănoaei, Frank S. de Boer, Mehdi Dastani
      Pages 20-34
    2. Célia da Costa Pereira, Andrea G. B. Tettamanzi
      Pages 35-50
    3. Henrique Lopes Cardoso, Eugénio Oliveira
      Pages 51-67
  4. Contributed Papers

    1. Carole Adam, Andreas Herzig, Dominique Longin, Vincent Louis
      Pages 68-84
    2. Mathijs de Boer, Andreas Herzig, Tiago de Lima, Emiliano Lorini
      Pages 85-100
    3. Babak Khosravifar, Jamal Bentahar, Maziar Gomrokchi
      Pages 137-157
    4. Azzurra Ragone, Tommaso Di Noia, Francesco M. Donini, Eugenio Di Sciascio, Michael P. Wellman
      Pages 158-173
    5. Michal P. Sindlar, Mehdi M. Dastani, Frank Dignum, John-Jules Ch. Meyer
      Pages 174-191
    6. Munindar P. Singh, Amit K. Chopra
      Pages 192-207
    7. Paolo Torroni, Federico Chesani, Paola Mello, Marco Montali
      Pages 228-243
    8. Doan Thu Trang, Brian Logan, Natasha Alechina
      Pages 244-261
  5. Back Matter

About these proceedings


This book constitutes the thoroughly refereed post-workshop proceedings of the 7th International Workshop on Declarative Agent Languages and Technologies, DALT 2009, held in Budapest, Hungary, on May 11, 2009, as a satellite workshop of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2009.

The 11 revised full papers presented together with 1 invited lecture and 3 invited papers from the AAMAS main conference - substantially enhanced after the workshop - were carefully selected from 17 initial submissions. The papers combine declarative and formal approaches with engineering and technology aspects of agents and multiagent systems and focus especially on areas such as the semantic web, service-oriented computing, web services, security, and electronic contracting.


Web Services acceptance logic agent communication agent coordination agent programming agent societies agent systems specification agent verification agent-oriented software engineering agents agentspeak artificial institutions auction mechanisms autonomous agent semantic web

Editors and affiliations

  • Matteo Baldoni
    • 1
  • Jamal Bentahar
    • 2
  • M. Birna van Riemsdijk
    • 3
  • John Lloyd
    • 4
  1. 1.Dipartimento di InformaticaUniversità di TorinoTurinItaly
  2. 2.Concordia Institute for Information Systems Engineering (CIISE)Concordia UniversityMontrealCanada
  3. 3.Faculty of EEMCSDelft University of TechnologyDelftThe Netherlands
  4. 4.Computer Sciences Laboratory, College of Engineering and Computer ScienceAustralian National UniversityCanberraAustralia

Bibliographic information

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