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
    PDF

  2. BDI Rational Agents

    1. Operational Behaviour for Executing, Suspending, and Aborting Goals in BDI Agent Systems
      John Thangarajah, James Harland, David Morley, Neil Yorke-Smith
      Pages 1-21
    2. BDI Agents with Objectives and Preferences
      Aniruddha Dasgupta, Aditya K. Ghose
      Pages 22-39

  3. Communication, Coordination and Negotiation

    1. Query-Driven Coordination of Multiple Answer Sets
      Gauvain Bourgne, Katsumi Inoue
      Pages 40-59
    2. Commitment-Based Protocols with Behavioral Rules and Correctness Properties of MAS
      Matteo Baldoni, Cristina Baroglio, Elisa Marengo
      Pages 60-77
    3. A Deduction System for Meaning Negotiation
      Elisa Burato, Matteo Cristani, Luca Viganò
      Pages 78-95

  4. Social Aspects and Control Systems

    1. Declarative Abstractions for Agent Based Hybrid Control Systems
      Louise A. Dennis, Michael Fisher, Nicholas K. Lincoln, Alexei Lisitsa, Sandor M. Veres
      Pages 96-111
    2. Executing Specifications of Social Reasoning Agents
      Iain Wallace, Michael Rovatsos
      Pages 112-129

  5. Invited Papers

    1. Logic of Information Flow on Communication Channels
      Yanjing Wang, Floor Sietsma, Jan van Eijck
      Pages 130-147
    2. Distributed Abductive Reasoning with Constraints
      Jiefei Ma, Krysia Broda, Alessandra Russo, Emil Lupu
      Pages 148-166
    3. Understanding Permissions through Graphical Norms
      Nir Oren, Madalina Croitoru, Simon Miles, Michael Luck
      Pages 167-184
    4. Symbolic Model Checking Commitment Protocols Using Reduction
      Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli
      Pages 185-203
  6. Back Matter
    PDF

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