Declarative Agent Languages and Technologies VIII

8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2010, Revised, Selected and Invited Papers

  • Andrea Omicini
  • Sebastian Sardina
  • Wamberto Vasconcelos
Conference proceedings DALT 2010

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

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

Table of contents

  1. Front Matter
  2. BDI Rational Agents

    1. John Thangarajah, James Harland, David Morley, Neil Yorke-Smith
      Pages 1-21
    2. Aniruddha Dasgupta, Aditya K. Ghose
      Pages 22-39
  3. Communication, Coordination and Negotiation

    1. Gauvain Bourgne, Katsumi Inoue
      Pages 40-59
    2. Matteo Baldoni, Cristina Baroglio, Elisa Marengo
      Pages 60-77
    3. Elisa Burato, Matteo Cristani, Luca Viganò
      Pages 78-95
  4. Social Aspects and Control Systems

    1. Louise A. Dennis, Michael Fisher, Nicholas K. Lincoln, Alexei Lisitsa, Sandor M. Veres
      Pages 96-111
    2. Iain Wallace, Michael Rovatsos
      Pages 112-129
  5. Invited Papers

    1. Yanjing Wang, Floor Sietsma, Jan van Eijck
      Pages 130-147
    2. Jiefei Ma, Krysia Broda, Alessandra Russo, Emil Lupu
      Pages 148-166
    3. Nir Oren, Madalina Croitoru, Simon Miles, Michael Luck
      Pages 167-184
    4. Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli
      Pages 185-203
  6. Back Matter

About these proceedings

Introduction

This book constitutes the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Declarative Agent Languages and Technologies, DALT 2010, held in Toronto, Canada, on May 10, 2010, as a satellite workshop of the 9th International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2010. The 7 revised full papers presented together with 4 invited lectures were carefully selected during two rounds of reviewing and improvement from 24 initial submissions. DALT aims to make formal methods and declarative technologies and approaches available to and understood by a broader segment of the multi-agent research community; the papers are organized in topical sections on BDI rational agents, communication, coordination and negotiation, as well as social aspects and control systems.

Keywords

commitment protocols formal semantics multi-agent programming ontology alignment symbolic model checking

Editors and affiliations

  • Andrea Omicini
    • 1
  • Sebastian Sardina
    • 2
  • Wamberto Vasconcelos
    • 3
  1. 1.Alma Mater Studiorum Università di Bologna a CesenaCesenaItaly
  2. 2.School of Computer Science and Information TechnologyRMIT UniversityMelbourneAustralia
  3. 3.Department of Computing ScienceUniversity of AberdeenAberdeenUK

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-20715-0
  • Copyright Information Springer Berlin Heidelberg 2011
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-20714-3
  • Online ISBN 978-3-642-20715-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book