Correct Reasoning [electronic resource] :Essays on Logic-Based AI in Honour of Vladimir Lifschitz / edited by Esra Erdem, Joohyung Lee, Yuliya Lierler, David Pearce.
by Erdem, Esra [editor.]; Lee, Joohyung [editor.]; Lierler, Yuliya [editor.]; Pearce, David [editor.]; SpringerLink (Online service).
Material type:
BookSeries: Lecture Notes in Computer Science: 7265Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.Description: XI, 594p. online resource.ISBN: 9783642307430.Subject(s): Computer science | Software engineering | Logic design | Artificial intelligence | Computer Science | Mathematical Logic and Formal Languages | Artificial Intelligence (incl. Robotics) | Logics and Meanings of Programs | Software Engineering | Programming Techniques | Programming Languages, Compilers, InterpretersDDC classification: 005.131 Online resources: Click here to access online
In:
Springer eBooksSummary: 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.
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| MAIN LIBRARY | QA8.9-QA10.3 (Browse shelf) | Available |
Browsing MAIN LIBRARY Shelves Close shelf browser
| TK1-9971 Interference Cancellation Using Space-Time Processing and Precoding Design | RM1-950 Sex and Gender Differences in Pharmacology | QA402.5-402.6 Bases, outils et principes pour l'analyse variationnelle | QA8.9-QA10.3 Correct Reasoning | HD9696.2-9696.82 Software Business | TA177.4-185 Robust Manufacturing Control | P98-98.5 The Serbian Language in the Digital Age |
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.
There are no comments for this item.