Computational Logic in Multi-Agent Systems

7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers

AvKatsumi Inoue,Ken Satoh

Häftad, Engelska, 2007

Del i serien Lecture Notes in Computer Science

556 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Computational Logic for Multi-Agent Systems, CLIMA VII, held in Hakodate, Japan, in May 2006. It was an associated event of AAMAS 2006, the main international conference on autonomous agents and multi-agent systems. The series of workshops presents current work on application of general and declarative theories.

Produktinformation

Utgivningsdatum:2007-01-12
Mått:155 x 233 x undefined mm
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:318
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540696186

Utforska kategorier

Informationsteknik: allmänt inom Data och IT

Innehållsförteckning

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.