Computational Logic in Multi-Agent Systems  7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers /  [electronic resource] : 
edited by Katsumi Inoue, Ken Satoh, Francesca Toni. 
 - 1st ed. 2007. 
 - X, 318 p.  online resource. 
 - Lecture Notes in Artificial Intelligence,  4371  2945-9141 ; .
 - Lecture Notes in Artificial Intelligence,  4371 .
<br/><br/>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. 
<br/><br/><label>ISBN: </label>9783540696193 
<br/><br/><label>Standard No.: </label>10.1007/978-3-540-69619-3  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Artificial intelligence.<br/>Computer networks .<br/>Machine theory.<br/>Artificial Intelligence.<br/>Computer Communication Networks.<br/>Formal Languages and Automata Theory.
<br/><br/><label>LC Class. No.: </label>Q334-342 TA347.A78 
<br/><br/><label>Dewey Class. No.: </label>006.3