Declarative Agent Languages and Technologies VIII : 8th International Workshop, DALT 2009, Toronto, Canada, May 10, 2010, Revised Selected and Invited Papers

by Omicini, Andrea; Sardina, Sebastian; Vasconcelos, Wamberto

• ISBN13: 9783642207143
• ISBN10: 3642207146
• Format: Paperback
• Copyright: 2011-07-20
• Publisher: Springer-Verlag New York Inc

Summary

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.

Table of Contents

BDI Rational Agents
Operational Behaviour for Executing, Suspending, and Aborting Goals in BDI Agent Systems	p. 1
BDI Agents with Objectives and Preferences	p. 22
Communication, Coordination and Negotiation
Query-Driven Coordination of Multiple Answer Sets	p. 40
Commitment-Based Protocols with Behavioral Rules and Correctness Properties of MAS	p. 60
A Deduction System for Meaning Negotiation	p. 78
Social Aspects and Control Systems
Declarative Abstractions for Agent Based Hybrid Control Systems	p. 96
Executing Specifications of Social Reasoning Agents	p. 112
Invited Papers
Logic of Information Flow on Communication Channels	p. 130
Distributed Abductive Reasoning with Constraints	p. 148
Understanding Permissions through Graphical Norms	p. 167
Symbolic Model Checking Commitment Protocols Using Reduction	p. 185
Author Index	p. 205
Table of Contents provided by Ingram. All Rights Reserved.