Declarative Agent Languages and Technologies V 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers

Bibliographic Details
Other Authors: Baldoni, Matteo (Editor), Son, Tran Cao (Editor), van Riemsdijk, M. Birna (Editor), Winikoff, Michael (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2008, 2008
Edition:1st ed. 2008
Series:Lecture Notes in Artificial Intelligence
Subjects:
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
Table of Contents:
  • Invited Talk
  • Agent-Oriented Modelling: Declarative or Procedural?
  • Invited Papers
  • Joint Conversation Specification and Compliance
  • Interoperation in Protocol Enactment
  • Contributed Papers: Modeling
  • Integrating Agent Models and Dynamical Systems
  • Contributed Papers: Goals
  • Composing High-Level Plans for Declarative Agent Programming
  • Satisfying Maintenance Goals
  • Towards Alternative Approaches to Reasoning About Goals
  • Contributed Papers: Foundational Concepts
  • Reflections on Agent Beliefs
  • Modeling Agents’ Choices in Temporal Linear Logic
  • Conflict Resolution in Norm-Regulated Environments Via Unification and Constraints
  • On the Complexity Monotonicity Thesis for Environment, Behaviour and Cognition
  • Contributed Papers: Communication
  • Structured Argumentation in a Mediator for Online Dispute Resolution
  • Extending Propositional Logic with Concrete Domains for Multi-issue Bilateral Negotiation
  • Component-Based Standardisation of Agent Communication