LEADER 04440nam  22007455  450 
001 9910484533003321
005 20251226203134.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 $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,$x2945-9141 ;$v6245
300   $aBibliographic Level Mode of Issuance: Monograph
311 08$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,$x2945-9141 ;$v6245
606   $aArtificial intelligence
606   $aComputer networks
606   $aSoftware engineering
606   $aComputer science
606   $aMachine theory
606   $aArtificial Intelligence
606   $aComputer Communication Networks
606   $aSoftware Engineering
606   $aComputer Science Logic and Foundations of Programming
606   $aFormal Languages and Automata Theory
615  0$aArtificial intelligence.
615  0$aComputer networks.
615  0$aSoftware engineering.
615  0$aComputer science.
615  0$aMachine theory.
615 14$aArtificial Intelligence.
615 24$aComputer Communication Networks.
615 24$aSoftware Engineering.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aFormal Languages and Automata Theory.
676   $a006.3
712 12$aCLIMA (Conference)
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910484533003321
996   $aComputational Logic in Multi-Agent Systems$9772133
997   $aUNINA