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

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Baldoni, Matteo (Editor ), Son, Tran Cao (Editor ), van Riemsdijk, M. Birna (Editor ), Winikoff, Michael (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.
Edición:1st ed. 2008.
Colección:Lecture Notes in Artificial Intelligence, 4897
Temas:
Compilers (Computer programs).
Artificial intelligence.
Computer networks .
Software engineering.
Computer science.
Compilers and Interpreters.
Artificial Intelligence.
Computer Communication Networks.
Software Engineering.
Computer Science Logic and Foundations of Programming.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares