Computational Logic in Multi-Agent Systems: 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers (Lecture Notes in Computer Science)

Inoue, Katsumi (Editor) / Satoh, Ken (Editor) / Toni, Francesca (Editor)

ISBN 10: 3540696180 / ISBN 13: 9783540696186

Editore: Springer, 2007

2007 edition. 328 pages. 9.00x6.00x0.50 inches. In Stock. Codice articolo 3540696180

Riassunto:

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.

Contenuti: 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.

Dati bibliografici

Titolo: Computational Logic in Multi-Agent Systems: ...
Casa editrice: Springer
Data di pubblicazione: 2007
Legatura: Paperback
Condizione: Brand New