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

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

Product details

• Assisted by: Matteo Baldoni (Editor), M. Birna van Riemsdijk (Editor), Tran Cao Son (Editor), M. Birna van Riemsdijk (Editor), Michael Winikoff (Editor)
• Publisher: Springer, Berlin
• Languages: English
• Product format: Paperback / Softback
• Released: 29.01.2008
• EAN: 9783540775638
• ISBN: 978-3-540-77563-8
• No. of pages: 248
• Dimensions: 155 mm x 15 mm x 236 mm
• Weight: 403 g
• Illustrations: X, 248 p.
• Series: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence
• Subjects: Natural sciences, medicine, IT, technology > IT, data processing > Programming languages; C, Künstliche Intelligenz, Software Engineering, Artificial Intelligence, Netzwerk-Hardware, Theoretische Informatik, computer science, Logics and Meanings of Programs, Computer Communication Networks, Programming Languages, Compilers, Interpreters, Computer programming / software engineering, Computer architecture & logic design, Computer communication systems, Compilers & interpreters, Programming languages (Electronic computers), Network hardware, Computer logic, Computer Science Logic and Foundations of Programming, Compilers and Interpreters