03311nam 22007815 450 99646556210331620230329141055.03-642-30743-410.1007/978-3-642-30743-0(CKB)3400000000085307(SSID)ssj0000697479(PQKBManifestationID)11467626(PQKBTitleCode)TC0000697479(PQKBWorkID)10691994(PQKB)11070045(DE-He213)978-3-642-30743-0(MiAaPQ)EBC3070978(PPN)168317567(EXLCZ)99340000000008530720120602d2012 u| 0engurnn|008mamaatxtccrCorrect Reasoning[electronic resource] Essays on Logic-Based AI in Honour of Vladimir Lifschitz /edited by Esra Erdem, Joohyung Lee, Yuliya Lierler, David Pearce1st ed. 2012.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2012.1 online resource (XI, 594 p. 41 illus.) Theoretical Computer Science and General Issues,2512-2029 ;7265Bibliographic Level Mode of Issuance: Monograph3-642-30742-6 Includes bibliographical references and index.This 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.Theoretical Computer Science and General Issues,2512-2029 ;7265Machine theoryArtificial intelligenceComputer scienceSoftware engineeringComputer programmingCompilers (Computer programs)Formal Languages and Automata TheoryArtificial IntelligenceComputer Science Logic and Foundations of ProgrammingSoftware EngineeringProgramming TechniquesCompilers and InterpretersMachine theory.Artificial intelligence.Computer science.Software engineering.Computer programming.Compilers (Computer programs).Formal Languages and Automata Theory.Artificial Intelligence.Computer Science Logic and Foundations of Programming.Software Engineering.Programming Techniques.Compilers and Interpreters.005.131Erdem Esraedthttp://id.loc.gov/vocabulary/relators/edtLee Joohyungedthttp://id.loc.gov/vocabulary/relators/edtLierler Yuliyaedthttp://id.loc.gov/vocabulary/relators/edtPearce Davidedthttp://id.loc.gov/vocabulary/relators/edtBOOK996465562103316Correct Reasoning2832080UNISA