Declarative Agent Languages and Technologies V 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers / edited by Matteo Baldoni, Tran Cao Son, M. Birna van Riemsdijk, Michael Winikoff.

Saved in:

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
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 : Imprint: Springer, 2008.
Edition:	1st ed. 2008.
Series:	Lecture Notes in Artificial Intelligence ; 4897 Springer eBook Collection.
Subjects:	Programming languages (Electronic computers). Artificial intelligence. Computer communication systems. Software engineering. Computer logic. Electronic resources (E-books)
Online Access:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.

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.

Similar Items