Cantitate/Preț
Produs

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, cartea 4371

Editat de Katsumi Inoue, Ken Satoh, Francesca Toni
en Limba Engleză Paperback – 12 ian 2007
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.
Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 23983 lei

Preț vechi: 29979 lei
-20%

Puncte Express: 360

Preț estimativ în valută:
4595 4977$ 3940£

Carte indisponibilă temporar

Doresc să fiu notificat când acest titlu va fi disponibil:

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783540696186
ISBN-10: 3540696180
Pagini: 318
Ilustrații: X, 318 p.
Dimensiuni: 155 x 233 x 22 mm
Greutate: 0.47 kg
Ediția:2007
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

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.