03089nam 2200613 450 99646587160331620220420160233.01-280-86404-497866108640413-540-69619-910.1007/978-3-540-69619-3(CKB)1000000000284076(SSID)ssj0000292333(PQKBManifestationID)11247609(PQKBTitleCode)TC0000292333(PQKBWorkID)10268963(PQKB)11304431(DE-He213)978-3-540-69619-3(MiAaPQ)EBC3036649(MiAaPQ)EBC6690078(Au-PeEL)EBL6690078(PPN)123159628(EXLCZ)99100000000028407620220420d2007 uy 0engurnn|008mamaatxtccrComputational logic in multi-agent systems 7th international workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006 : revised selected and invited papers /Katsumi Inoue, Ken Satoh, Francesca Toni (editors)1st ed. 2007.Berlin ;Heidelberg :Springer,[2007]©20071 online resource (X, 318 p.) Lecture notes in artificial intelligence ;4371Includes index.3-540-69618-0 Includes bibliographical references and index.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.Lecture notes in computer science.Lecture notes in artificial intelligence ;4371.Computer logicCongressesComputer logic004.015113Inoue KatsumiSatoh Ken1959-Toni FrancescaCLIMA (Conference)MiAaPQMiAaPQMiAaPQBOOK996465871603316Computational Logic in Multi-Agent Systems772133UNISA