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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Inoue, Katsumi (Επιμελητής έκδοσης), Satoh, Ken (Επιμελητής έκδοσης), Toni, Francesca (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
• Σειρά: Lecture Notes in Computer Science, 4371
• Θέματα: Computer science.; Computer communication systems.; Mathematical logic.; Artificial intelligence.; Computer Science.; Artificial Intelligence (incl. Robotics).; Computer Communication Networks.; Mathematical Logic and Formal Languages.

Πίνακας περιεχομένων:

• 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.