Declarative Agent Languages and Technologies X

10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers

  • Matteo Baldoni
  • Louise Dennis
  • Viviana Mascardi
  • Wamberto Vasconcelos
Conference proceedings DALT 2012

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

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

Table of contents

  1. Front Matter
  2. Invited Papers

    1. Duangtida Athakravi, Domenico Corapi, Alessandra Russo, Marina De Vos, Julian Padget, Ken Satoh
      Pages 1-19
    2. Federico Bergenti, Giovanni Caire, Danilo Gotta
      Pages 20-36
    3. Pere Pardo, Mehrnoosh Sadrzadeh
      Pages 37-56
    4. Luke Trodd, James Harland, John Thangarajah
      Pages 57-75
  3. Contributed Papers

    1. Davide Ancona, Sophia Drossopoulou, Viviana Mascardi
      Pages 76-95
    2. Matteo Baldoni, Cristina Baroglio, Federico Capuzzimati, Elisa Marengo, Viviana Patti
      Pages 96-115
    3. Stefano Bistarelli, Giorgio Gosti, Francesco Santini
      Pages 116-135
    4. Akın Günay, Michael Winikoff, Pınar Yolum
      Pages 136-152
    5. Wietske Visser, Koen V. Hindriks, Catholijn M. Jonker
      Pages 153-169
    6. Bożena Woźna-Szcześniak, Andrzej Zbrzezny
      Pages 170-189
  4. Position Papers

    1. Matteo Baldoni, Cristina Baroglio
      Pages 190-196
    2. Viviana Mascardi, James Hendler, Laura Papaleo
      Pages 197-202
    3. Alessandro Solimando, Riccardo Traverso
      Pages 203-207
  5. Back Matter

About these proceedings


This book constitutes the thoroughly refereed post-proceedings of the 10th International Workshop on Declarative Agent Languages and Technologies, DALT 2012, held in conjunction with the 11th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012) at Valencia, Spain, in June 2012.
The volume contains 13 revised selected presented at DALT 2012.The papers cover the following topics:  declarative languages and technologies, computational logics, declarative approaches to engineering agent-based systems, models of business interactions among agents, and models of trust, commitments, and reputation for agents.


cognitive agents commitment protocols formal verification logic programming multi-agent systems

Editors and affiliations

  • Matteo Baldoni
    • 1
  • Louise Dennis
    • 2
  • Viviana Mascardi
    • 3
  • Wamberto Vasconcelos
    • 4
  1. 1.Dipartimento di InformaticaUniversità degli Studi di TorinoTorinoItaly
  2. 2.Department of Computer ScienceUniversity of LiverpoolLiverpoolUK
  3. 3.DIBRIS, Dipartimento di Informatica, Bioingegneria, Robotica e Ingegneria dei SistemiUniversità degli Studi di GenovaGenovaItaly
  4. 4.Department of Computing ScienceUniversity of AberdeenAberdeenUK

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-37889-8
  • Online ISBN 978-3-642-37890-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site