Declarative Agent Languages and Technologies IV: 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers

✍ Scribed by Amit K. Chopra, Munindar P. Singh (auth.), Matteo Baldoni, Ulle Endriss (eds.)

• Publisher: Springer-Verlag Berlin Heidelberg
• Year: 2006
• Tongue: English
• Leaves: 264
• Series: Lecture Notes in Computer Science 4327
• Edition: 1
• Category: Library

✦ Synopsis

This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Declarative Agent Languages and Technologies, DALT 2006, held in Hakodate, Japan in May 2006 as an associated event of AAMAS 2006, the main international conference on autonomous agents and multi-agent systems.

The 12 revised full papers presented together with 1 invited talk and 3 invited papers - fully revised to incorporate reviewers' comments and discussions at the workshop - were carefully selected for inclusion in the book. The papers combine declarative and formal approaches with engineering and technology aspects of agents and multiagent systems, thus gaining more and more attention in important application areas such as the semantic Web, Web services, security, and electronic contracting.

✦ Table of Contents

Front Matter....Pages -
Producing Compliant Interactions: Conformance, Coverage, and Interoperability....Pages 1-15
Towards Theory Translation....Pages 16-28
The Complexity of Model Checking Concurrent Programs Against CTLK Specifications....Pages 29-42
Dynamic Model Checking for Multi-agent Systems....Pages 43-60
Automating Belief Revision for AgentSpeak....Pages 61-77
A Foundational Ontology of Organizations and Roles....Pages 78-88
When Agents Communicate Hypotheses in Critical Situations....Pages 89-104
A Fibred Tableau Calculus for Modal Logics of Agents....Pages 105-122
Programming Declarative Goals Using Plan Patterns....Pages 123-140
JADL – An Agent Description Language for Smart Agents....Pages 141-155
Agreeing on Defeasible Commitments....Pages 156-173
A Dynamic Logic Programming Based System for Agents with Declarative Goals....Pages 174-190
A Collaborative Framework to Realize Virtual Enterprises Using 3APL....Pages 191-206
A Modeling Framework for Generic Agent Interaction Protocols....Pages 207-224
Plan Generation and Plan Execution in Agent Programming....Pages 225-238
A Functional Program for Agents, Actions, and Deontic Specifications....Pages 239-256
Back Matter....Pages -

✦ Subjects

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