E-Book, Englisch, 318 Seiten, eBook
Inoue / Satoh / Toni Computational Logic in Multi-Agent Systems
2007
ISBN: 978-3-540-69619-3
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers
E-Book, Englisch, 318 Seiten, eBook
Reihe: Lecture Notes in Artificial Intelligence
ISBN: 978-3-540-69619-3
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
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.
