LEADER 05322nam 22007935 450 001 9910484533003321 005 20200703215049.0 010 $a3-642-14977-4 024 7 $a10.1007/978-3-642-14977-1 035 $a(CKB)2670000000036370 035 $a(SSID)ssj0000446359 035 $a(PQKBManifestationID)11312808 035 $a(PQKBTitleCode)TC0000446359 035 $a(PQKBWorkID)10495962 035 $a(PQKB)11440137 035 $a(DE-He213)978-3-642-14977-1 035 $a(MiAaPQ)EBC3065628 035 $a(PPN)149018142 035 $a(EXLCZ)992670000000036370 100 $a20100812d2010 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aComputational Logic in Multi-Agent Systems$b[electronic resource] $e11th International Workshop, CLIMAX XI, Lisbon, Portugal, August 16-17, 2010, Proceedings /$fedited by Jürgen Dix, Joao Leite, Guido Governatori, Wojtek Jamroga 205 $a1st ed. 2010. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2010. 215 $a1 online resource (XIV, 257 p. 42 illus.) 225 1 $aLecture Notes in Artificial Intelligence ;$v6245 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-14976-6 320 $aIncludes bibliographical references and index. 327 $aInvited Talks -- Is Computational Complexity a Barrier to Manipulation? -- Games, Norms and Strategic Notions in Information Flow Security -- Group Announcements: Logic and Games (Abstract of Invited Talk) -- Strong Equivalence in Argumentation -- Regular Papers -- Hypergraphs of Multiparty Secrets -- Combining Logics in Simple Type Theory -- Speculative Abductive Reasoning for Hierarchical Agent Systems -- Formal Semantics of a Dynamic Epistemic Logic for Describing Knowledge Properties of ?-Calculus Processes -- What Happened to My Commitment? Exception Diagnosis among Misalignment and Misbehavior -- Verifying Business Process Compliance by Reasoning about Actions -- From Organisation Specification to Normative Programming in Multi-Agent Organisations -- Finding Uniform Strategies for Multi-agent Systems -- Playing Extensive Form Games in Parallel -- Exploring the Boundary of Half Positionality -- Proof-Theoretic Analysis of Rationality for Strategic Games with Arbitrary Strategy Sets -- An Agent Language with Destructive Assignment and Model-Theoretic Semantics -- Model Checking Agent Programs by Using the Program Interpreter -- A Dialogue Games Framework for the Operational Semantics of Logic Agent-Oriented Languages. 330 $aThis book constitutes the refereed proceedings of the 11th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA-XI, held in Lisbon, Portugal in August 2010. The 14 papers included in this volume were carefully reviewed and selected from 31 submissions. The purpose of the CLIMA workshops is to provide a forum for discussing techniques, based on computational logic, for representing, programming and reasoning about agents and multi-agent systems in a formal way. CLIMA 2010 featured two thematic special sessions on norms and normative multi-agent systems and logics for games and strategic reasoning. . 410 0$aLecture Notes in Artificial Intelligence ;$v6245 606 $aArtificial intelligence 606 $aComputer communication systems 606 $aSoftware engineering 606 $aComputer logic 606 $aMathematical logic 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 607 $aLissabon <2010>$2swd 615 0$aArtificial intelligence. 615 0$aComputer communication systems. 615 0$aSoftware engineering. 615 0$aComputer logic. 615 0$aMathematical logic. 615 14$aArtificial Intelligence. 615 24$aComputer Communication Networks. 615 24$aSoftware Engineering/Programming and Operating Systems. 615 24$aSoftware Engineering. 615 24$aLogics and Meanings of Programs. 615 24$aMathematical Logic and Formal Languages. 676 $a006.3 702 $aDix$b Jürgen$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aLeite$b Joao$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aGovernatori$b Guido$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aJamroga$b Wojtek$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aCLIMA (Conference) 906 $aBOOK 912 $a9910484533003321 996 $aComputational Logic in Multi-Agent Systems$9772133 997 $aUNINA