LEADER 04309nam  22008535  450 
001 996198266403316
005 20200630185233.0
010   $a3-319-09764-4
024 7 $a10.1007/978-3-319-09764-0
035   $a(CKB)3710000000219436
035   $a(SSID)ssj0001296228
035   $a(PQKBManifestationID)11802292
035   $a(PQKBTitleCode)TC0001296228
035   $a(PQKBWorkID)11348246
035   $a(PQKB)11322250
035   $a(DE-He213)978-3-319-09764-0
035   $a(MiAaPQ)EBC6304249
035   $a(MiAaPQ)EBC5588371
035   $a(Au-PeEL)EBL5588371
035   $a(OCoLC)884895543
035   $a(PPN)179925997
035   $a(EXLCZ)993710000000219436
100   $a20140721d2014      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] $e15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014, Proceedings /$fedited by Nils Bulling, Leendert van der Torre, Serena Villata, Wojtek Jamroga, Wamberto Vasconcelos
205   $a1st ed. 2014.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2014.
215   $a1 online resource (XVI, 199 p. 22 illus.) 
225 1 $aLecture Notes in Artificial Intelligence ;$v8624
300   $aIncludes index.
311   $a3-319-09763-6 
330   $aThis book constitutes the proceedings of the 15th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XV, held in Prague, Czech Republic, in August 2014. The 12 regular papers were carefully reviewed and selected from 20 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 edition will feature two special sessions: logics for agreement technologies and logics for games, strategic reasoning, and social choice.
410  0$aLecture Notes in Artificial Intelligence ;$v8624
606   $aArtificial intelligence
606   $aMathematical logic
606   $aSoftware engineering
606   $aProgramming languages (Electronic computers)
606   $aComputer logic
606   $aApplication software
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aInformation Systems Applications (incl. Internet)$3https://scigraph.springernature.com/ontologies/product-market-codes/I18040
615  0$aArtificial intelligence.
615  0$aMathematical logic.
615  0$aSoftware engineering.
615  0$aProgramming languages (Electronic computers).
615  0$aComputer logic.
615  0$aApplication software.
615 14$aArtificial Intelligence.
615 24$aMathematical Logic and Formal Languages.
615 24$aSoftware Engineering.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aLogics and Meanings of Programs.
615 24$aInformation Systems Applications (incl. Internet).
676   $a004.015113
702   $aBulling$b Nils$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $avan der Torre$b Leendert$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aVillata$b Serena$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aJamroga$b Wojtek$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aVasconcelos$b Wamberto$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996198266403316
996   $aComputational Logic in Multi-Agent Systems$9772133
997   $aUNISA