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

✍ Scribed by John Thangarajah, James Harland, David Morley, Neil Yorke-Smith (auth.), Andrea Omicini, Sebastian Sardina, Wamberto Vasconcelos (eds.)

• Publisher: Springer-Verlag Berlin Heidelberg
• Year: 2011
• Tongue: English
• Leaves: 214
• Series: Lecture Notes in Computer Science 6619 Lecture Notes in Artificial Intelligence
• Edition: 1
• Category: Library

✦ Synopsis

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

Front Matter....Pages -
Operational Behaviour for Executing, Suspending, and Aborting Goals in BDI Agent Systems....Pages 1-21
BDI Agents with Objectives and Preferences....Pages 22-39
Query-Driven Coordination of Multiple Answer Sets....Pages 40-59
Commitment-Based Protocols with Behavioral Rules and Correctness Properties of MAS....Pages 60-77
A Deduction System for Meaning Negotiation....Pages 78-95
Declarative Abstractions for Agent Based Hybrid Control Systems....Pages 96-111
Executing Specifications of Social Reasoning Agents....Pages 112-129
Logic of Information Flow on Communication Channels....Pages 130-147
Distributed Abductive Reasoning with Constraints....Pages 148-166
Understanding Permissions through Graphical Norms....Pages 167-184
Symbolic Model Checking Commitment Protocols Using Reduction....Pages 185-203
Back Matter....Pages -

✦ Subjects

Artificial Intelligence (incl. Robotics); Models and Principles; Computer Communication Networks; Software Engineering; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs