Declarative Agent Languages and Technologies V 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers
Other Authors: | , , , |
---|---|
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