LEADER 04262nam  22008055  450 
001 996466262103316
005 20200630020247.0
010   $a3-642-22359-1
024 7 $a10.1007/978-3-642-22359-4
035   $a(CKB)2550000000054143
035   $a(SSID)ssj0000609379
035   $a(PQKBManifestationID)11372756
035   $a(PQKBTitleCode)TC0000609379
035   $a(PQKBWorkID)10608795
035   $a(PQKB)11142869
035   $a(DE-He213)978-3-642-22359-4
035   $a(MiAaPQ)EBC3067233
035   $a(PPN)156320339
035   $a(EXLCZ)992550000000054143
100   $a20110914d2011      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] $e12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011, Proceedings /$fedited by Joao Leite, Paolo Torroni, Thomas Agotnes, Guido Boella, Leon van der Torre
205   $a1st ed. 2011.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2011.
215   $a1 online resource (XV, 383 p.)
225 1 $aLecture Notes in Artificial Intelligence ;$v6814
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-22358-3 
320   $aIncludes bibliographical references and index.
330   $aThis book constitutes the proceedings of the 12th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XII, held in Barcelona, Spain, in July 2011. The 22 papers presented were carefully reviewed and selected from 43 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. This volume features five thematic special sessions: secrets and trust, knowledge and beliefs, logics for games and social choice, cooperation, logic and languages, and norms and normative multi-agent systems.
410  0$aLecture Notes in Artificial Intelligence ;$v6814
606   $aArtificial intelligence
606   $aSoftware engineering
606   $aComputer logic
606   $aMathematical logic
606   $aComputer communication systems
606   $aProgramming languages (Electronic computers)
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
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
606   $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
615  0$aArtificial intelligence.
615  0$aSoftware engineering.
615  0$aComputer logic.
615  0$aMathematical logic.
615  0$aComputer communication systems.
615  0$aProgramming languages (Electronic computers).
615 14$aArtificial Intelligence.
615 24$aSoftware Engineering.
615 24$aLogics and Meanings of Programs.
615 24$aMathematical Logic and Formal Languages.
615 24$aComputer Communication Networks.
615 24$aProgramming Languages, Compilers, Interpreters.
676   $a006.3
702   $aLeite$b Joao$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aTorroni$b Paolo$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aAgotnes$b Thomas$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aBoella$b Guido$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $avan der Torre$b Leon$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aCLIMA (Workshop)
906   $aBOOK
912   $a996466262103316
996   $aComputational Logic in Multi-Agent Systems$9772133
997   $aUNISA