Declarative Agent Languages and Technologies V

Inhaltsverzeichnis

• 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.