Declarative Agent Languages and Technologies V: 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers: Lecture Notes in Computer Science, cartea 4897

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.