LEADER 03089nam 2200613 450 001 996465871603316 005 20220420160233.0 010 $a1-280-86404-4 010 $a9786610864041 010 $a3-540-69619-9 024 7 $a10.1007/978-3-540-69619-3 035 $a(CKB)1000000000284076 035 $a(SSID)ssj0000292333 035 $a(PQKBManifestationID)11247609 035 $a(PQKBTitleCode)TC0000292333 035 $a(PQKBWorkID)10268963 035 $a(PQKB)11304431 035 $a(DE-He213)978-3-540-69619-3 035 $a(MiAaPQ)EBC3036649 035 $a(MiAaPQ)EBC6690078 035 $a(Au-PeEL)EBL6690078 035 $a(PPN)123159628 035 $a(EXLCZ)991000000000284076 100 $a20220420d2007 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 00$aComputational logic in multi-agent systems $e7th international workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006 : revised selected and invited papers /$fKatsumi Inoue, Ken Satoh, Francesca Toni (editors) 205 $a1st ed. 2007. 210 1$aBerlin ;$aHeidelberg :$cSpringer,$d[2007] 210 4$dİ2007 215 $a1 online resource (X, 318 p.) 225 1 $aLecture notes in artificial intelligence ;$v4371 300 $aIncludes index. 311 $a3-540-69618-0 320 $aIncludes bibliographical references and index. 327 $aRegular 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. 410 0$aLecture notes in computer science.$pLecture notes in artificial intelligence ;$v4371. 606 $aComputer logic$vCongresses 615 0$aComputer logic 676 $a004.015113 702 $aInoue$b Katsumi 702 $aSatoh$b Ken$f1959- 702 $aToni$b Francesca 712 12$aCLIMA (Conference) 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465871603316 996 $aComputational Logic in Multi-Agent Systems$9772133 997 $aUNISA