Declarative Agent Languages and Technologies V 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Baldoni, Matteo (Επιμελητής έκδοσης), Son, Tran Cao (Επιμελητής έκδοσης), Riemsdijk, M. Birna van (Επιμελητής έκδοσης), Winikoff, Michael (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
• Σειρά: Lecture Notes in Computer Science, 4897
• Θέματα: Computer science.; Computer communication systems.; Software engineering.; Programming languages (Electronic computers).; Computer logic.; Artificial intelligence.; Computer Science.; Programming Languages, Compilers, Interpreters.; Artificial Intelligence (incl. Robotics).; Computer Communication Networks.; Software Engineering.; Logics and Meanings of Programs.

Πίνακας περιεχομένων:

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