Declarative agent languages and technologies V

En savoir plus sur le livre

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