Declarative Agent Languages and Technologies VIII

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

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.

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

• 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

Policies and ethics