LEADER 03808nam  22008535  450 
001 9910484615603321
005 20251226195639.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 $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,$x2945-9141 ;$v8624
300   $aIncludes index.
311 08$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,$x2945-9141 ;$v8624
606   $aArtificial intelligence
606   $aMachine theory
606   $aSoftware engineering
606   $aCompilers (Computer programs)
606   $aComputer science
606   $aApplication software
606   $aArtificial Intelligence
606   $aFormal Languages and Automata Theory
606   $aSoftware Engineering
606   $aCompilers and Interpreters
606   $aComputer Science Logic and Foundations of Programming
606   $aComputer and Information Systems Applications
615  0$aArtificial intelligence.
615  0$aMachine theory.
615  0$aSoftware engineering.
615  0$aCompilers (Computer programs).
615  0$aComputer science.
615  0$aApplication software.
615 14$aArtificial Intelligence.
615 24$aFormal Languages and Automata Theory.
615 24$aSoftware Engineering.
615 24$aCompilers and Interpreters.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aComputer and Information Systems Applications.
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   $a9910484615603321
996   $aComputational Logic in Multi-Agent Systems$9772133
997   $aUNINA