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

Bibliographic Details
Call Number:Libro Electrónico
Corporate Author: SpringerLink (Online service)
Other Authors: Inoue, Katsumi (Editor), Satoh, Ken (Editor), Toni, Francesca (Editor)
Format: Electronic eBook
Language:Inglés
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
Edition:1st ed. 2007.
Series:Lecture Notes in Artificial Intelligence, 4371
Subjects:
Artificial intelligence.
Computer networks .
Machine theory.
Artificial Intelligence.
Computer Communication Networks.
Formal Languages and Automata Theory.
Online Access:Texto Completo
Table of Contents:
  • 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.

Similar Items