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

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.

Produktdetails

• Mitarbeit: Matteo Baldoni (Herausgeber), M. Birna van Riemsdijk (Herausgeber), Tran Cao Son (Herausgeber), M. Birna van Riemsdijk (Herausgeber), Michael Winikoff (Herausgeber)
• Verlag: Springer, Berlin
• Sprache: Englisch
• Produktform: Taschenbuch
• Erschienen: 29.01.2008
• EAN: 9783540775638
• ISBN: 978-3-540-77563-8
• Seiten: 248
• Abmessung: 155 mm x 15 mm x 236 mm
• Gewicht: 403 g
• Illustration: X, 248 p.
• Serien: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence
• Themen: Naturwissenschaften, Medizin, Informatik, Technik > Informatik, EDV > Programmiersprachen; 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