LEADER 03311nam  22007815  450 
001 996465562103316
005 20230329141055.0
010   $a3-642-30743-4
024 7 $a10.1007/978-3-642-30743-0
035   $a(CKB)3400000000085307
035   $a(SSID)ssj0000697479
035   $a(PQKBManifestationID)11467626
035   $a(PQKBTitleCode)TC0000697479
035   $a(PQKBWorkID)10691994
035   $a(PQKB)11070045
035   $a(DE-He213)978-3-642-30743-0
035   $a(MiAaPQ)EBC3070978
035   $a(PPN)168317567
035   $a(EXLCZ)993400000000085307
100   $a20120602d2012      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aCorrect Reasoning$b[electronic resource] $eEssays on Logic-Based AI in Honour of Vladimir Lifschitz /$fedited by Esra Erdem, Joohyung Lee, Yuliya Lierler, David Pearce
205   $a1st ed. 2012.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2012.
215   $a1 online resource (XI, 594 p. 41 illus.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7265
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-30742-6 
320   $aIncludes bibliographical references and index.
330   $aThis Festschrift published in honor of Vladimir Lifschitz on the occasion of his 65th birthday presents 39 articles by colleagues from all over the world with whom Vladimir Lifschitz had cooperation in various respects. The 39 contributions reflect the breadth and the depth of the work of Vladimir Lifschitz in logic programming, circumscription, default logic, action theory, causal reasoning and answer set programming.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7265
606   $aMachine theory
606   $aArtificial intelligence
606   $aComputer science
606   $aSoftware engineering
606   $aComputer programming
606   $aCompilers (Computer programs)
606   $aFormal Languages and Automata Theory
606   $aArtificial Intelligence
606   $aComputer Science Logic and Foundations of Programming
606   $aSoftware Engineering
606   $aProgramming Techniques
606   $aCompilers and Interpreters
615  0$aMachine theory.
615  0$aArtificial intelligence.
615  0$aComputer science.
615  0$aSoftware engineering.
615  0$aComputer programming.
615  0$aCompilers (Computer programs).
615 14$aFormal Languages and Automata Theory.
615 24$aArtificial Intelligence.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aSoftware Engineering.
615 24$aProgramming Techniques.
615 24$aCompilers and Interpreters.
676   $a005.131
702   $aErdem$b Esra$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aLee$b Joohyung$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aLierler$b Yuliya$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aPearce$b David$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996465562103316
996   $aCorrect Reasoning$92832080
997   $aUNISA