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

Sommario

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.

Dettagli sul prodotto

• Con la collaborazione di: Matteo Baldoni (Editore), M. Birna van Riemsdijk (Editore), Tran Cao Son (Editore), M. Birna van Riemsdijk (Editore), Michael Winikoff (Editore)
• Editore: Springer, Berlin
• Lingue: Inglese
• Formato: Tascabile
• Pubblicazione: 29.01.2008
• EAN: 9783540775638
• ISBN: 978-3-540-77563-8
• Pagine: 248
• Dimensioni: 155 mm x 15 mm x 236 mm
• Peso: 403 g
• Illustrazioni: X, 248 p.
• Serie: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence
• Categorie: Scienze naturali, medicina, informatica, tecnica > Informatica, EDP > Linguaggi di programmazione; 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