Skip to main content
SpringerLink
Log in

Declarative Agent Languages and Technologies VIII

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

  • Conference proceedings
  • © 2011

Overview

Editors:
  1. Andrea Omicini

    1. Alma Mater Studiorum Università di Bologna a Cesena, Cesena, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Sebastian Sardina

    1. School of Computer Science and Information Technology, RMIT University, Melbourne, Australia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Wamberto Vasconcelos

    1. Department of Computing Science, University of Aberdeen, Aberdeen, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Included in the following conference series:

Conference proceedings info: DALT 2010.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (11 papers)

  1. Front Matter

    Download chapter 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

    Download chapter PDF
Back to top

Other volumes

  1. Declarative Agent Languages and Technologies VIII

Keywords

About this book

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.

Editors and Affiliations

  • Alma Mater Studiorum Università di Bologna a Cesena, Cesena, Italy

    Andrea Omicini

  • School of Computer Science and Information Technology, RMIT University, Melbourne, Australia

    Sebastian Sardina

  • Department of Computing Science, University of Aberdeen, Aberdeen, UK

    Wamberto Vasconcelos

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation