Declarative Agent Languages and Technologies V

by Baldoni, Matteo; Son, Tran Cao; Van Riemsdijk, M. Birna; Winikoff, Michael

• ISBN13: 9783540775638
• ISBN10: 3540775633
• Format: Paperback
• Copyright: 2008-03-05
• Publisher: Springer-Verlag New York Inc

Summary

This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Declarative Agent Languages and Technologies, DALT 2007, held in Honolulu, HI, USA, in May 2007 as an associated event of AAMAS 2007, the main international conference on autonomous agents and multi-agent systems.The 11 revised full papers presented together with 1 keynote lecture and 2 invited papers from the AAMAS main conference - substantially enhanced after 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 and focus especially on modeling, goals, foundational concepts, and communication.

Table of Contents

Invited Talk
Agent-Oriented Modelling: Declarative or Procedural?	p. 1
Invited Papers
Joint Conversation Specification and Compliance	p. 18
Interoperation in Protocol Enactment	p. 36
Contributed Papers: Modeling
Integrating Agent Models and Dynamical Systems	p. 50
Contributed Papers: Goals
Composing High-Level Plans for Declarative Agent Programming	p. 69
Satisfying Maintenance Goals	p. 86
Towards Alternative Approaches to Reasoning About Goals	p. 104
Contributed Papers: Foundational Concepts
Reflections on Agent Beliefs	p. 122
Modeling Agents' Choices in Temporal Linear Logic	p. 140
Conflict Resolution in Norm-Regulated Environments Via Unification and Constraints	p. 158
On the Complexity Monotonicity Thesis for Environment, Behaviour and Cognition	p. 175
Contributed Papers: Communication
Structured Argumentation in a Mediator for Online Dispute Resolution	p. 193
Extending Propositional Logic with Concrete Domains for Multi-issue Bilateral Negotiation	p. 211
Component-Based Standardisation of Agent Communication	p. 227
Author Index	p. 245
Table of Contents provided by Ingram. All Rights Reserved.