Computational Logic in Multi-Agent Systems 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Inoue, Katsumi (Editor ), Satoh, Ken (Editor ), Toni, Francesca (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
Edición:1st ed. 2007.
Colección:Lecture Notes in Artificial Intelligence, 4371
Temas:
Artificial intelligence.
Computer networks .
Machine theory.
Artificial Intelligence.
Computer Communication Networks.
Formal Languages and Automata Theory.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Regular Papers
  • Acts of Commanding and Changing Obligations
  • Hierarchical Decision Making in Multi-agent Systems Using Answer Set Programming
  • On a Linear Framework for Belief Dynamics in Multi-agent Environments
  • Answer Set Programming for Representing and Reasoning About Virtual Institutions
  • A Complete Probabilistic Belief Logic
  • Prototyping 3APL in the Maude Term Rewriting Language
  • Dialogue Game Tree with Nondeterministic Additive Consolidation
  • Representing and Verifying Temporal Epistemic Properties in Multi-Agent Systems
  • A New Logical Semantics for Agent Communication
  • Contextual Reasoning in Agent Systems
  • An Argumentation-Based Negotiation for Distributed Extended Logic Programs
  • Belief Updating by Communication Channel
  • On the Implementation of Global Abduction
  • Adding Evolving Abilities to a Multi-Agent System
  • Contest Papers
  • The Second Contest on Multi-Agent Systems Based on Computational Logic
  • Using Antimodels to Define Agents' Strategy
  • Multi-Agent FLUX for the Gold Mining Domain (System Description)
  • Using Jason to Implement a Team of Gold Miners.

Ejemplares similares