LEADER 01266nam--2200385---450- 001 990002936920203316 005 20100301121847.0 010 $a92-9167-885-6 035 $a000293692 035 $aUSA01000293692 035 $a(ALEPH)000293692USA01 035 $a000293692 100 $a20070601d2006----km-y0itaa50------ba 101 0 $aeng 102 $aLU 105 $aa---z---001yy 200 1 $aGreenhouse gas emission trends and projections in Europe 2006$fEuropean Environment Agency 210 $aLuxembourg$cOffice for official publications of the European Communities$d2006 215 $a63 p.$d30 cm 225 2 $aEEA report$v9/2006 410 1$12001$aEEA report 606 0 $aEffetto serra$yPaesi della Comunità europea 606 0 $aClima$xVariazioni 676 $a363.738746 699 $a16.01$bAmbiente. Sviluppo sostenibile 710 12$aAGENZIA EUROPEA DELL'AMBIENTE$0597211 801 0$aIT$bsalbc$gISBD 912 $a990002936920203316 951 $aCDE 16.01 (XXI)$bCDE 1340$cCDE 16.01$d00149398 959 $aBK 969 $aCDE 979 $aMARIAS$b90$c20070601$lUSA01$h1047 979 $aMARIAS$b90$c20100301$lUSA01$h1218 996 $aGreenhouse gas emission trends and projections in Europe 2006$91030181 997 $aUNISA LEADER 04785nam 22007695 450 001 9910484635303321 005 20251226203424.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(MiAaPQ)EBC302132 035 $a(BIP)46165230 035 $a(BIP)14105270 035 $a(EXLCZ)991000000000284076 100 $a20100301d2007 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aComputational Logic in Multi-Agent Systems $e7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers /$fedited by Katsumi Inoue, Ken Satoh, Francesca Toni 205 $a1st ed. 2007. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2007. 215 $a1 online resource (X, 318 p.) 225 1 $aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v4371 300 $aIncludes index. 311 08$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. 330 $aThis book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Computational Logic for Multi-Agent Systems, CLIMA VII, held in Hakodate, Japan, in May 2006 as an associated event of AAMAS 2006, the main international conference on autonomous agents and multi-agent systems. The series of workshops presents current work on application of general and declarative theories grounded on computational logic to multi-agent systems specification, semantics and procedures, and confronts ideas such as autonomy, deliberation, knowledge, commitment, openness, trust, with the computational logic paradigms. The 14 revised full technical papers, 4 contest papers were carefully selected from 29 submissions and went through two rounds of reviewing and improvement. The topics of the regular papers include agent reasoning, such as deontic reasoning, probabilistic reasoning, contextual reasoning, decision making and abduction, agent communication, such as argumentation and dialogue, agent architecture and verification of multi-agent systems. The contest papers describe implemented agent architectures solving the gold mining domain. 410 0$aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v4371 606 $aArtificial intelligence 606 $aComputer networks 606 $aMachine theory 606 $aArtificial Intelligence 606 $aComputer Communication Networks 606 $aFormal Languages and Automata Theory 615 0$aArtificial intelligence. 615 0$aComputer networks. 615 0$aMachine theory. 615 14$aArtificial Intelligence. 615 24$aComputer Communication Networks. 615 24$aFormal Languages and Automata Theory. 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 $a9910484635303321 996 $aComputational Logic in Multi-Agent Systems$9772133 997 $aUNINA