Declarative Agent Languages and Technologies IV 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Baldoni, Matteo (Editor ), Endriss, Ulle (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
Edición:1st ed. 2006.
Colección:Lecture Notes in Artificial Intelligence, 4327
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
  • Producing Compliant Interactions: Conformance, Coverage, and Interoperability
  • Invited Papers
  • Towards Theory Translation
  • The Complexity of Model Checking Concurrent Programs Against CTLK Specifications
  • Dynamic Model Checking for Multi-agent Systems
  • Contributed Papers
  • Automating Belief Revision for AgentSpeak
  • A Foundational Ontology of Organizations and Roles
  • When Agents Communicate Hypotheses in Critical Situations
  • A Fibred Tableau Calculus for Modal Logics of Agents
  • Programming Declarative Goals Using Plan Patterns
  • JADL - An Agent Description Language for Smart Agents
  • Agreeing on Defeasible Commitments
  • A Dynamic Logic Programming Based System for Agents with Declarative Goals
  • A Collaborative Framework to Realize Virtual Enterprises Using 3APL
  • A Modeling Framework for Generic Agent Interaction Protocols
  • Plan Generation and Plan Execution in Agent Programming
  • A Functional Program for Agents, Actions, and Deontic Specifications.

Ejemplares similares