Correct Reasoning [electronic resource] : Essays on Logic-Based AI in Honour of Vladimir Lifschitz /
Material type: TextSeries: Theoretical Computer Science and General Issues ; 7265Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Edition: 1st ed. 2012Description: XI, 594 p. 41 illus. online resourceContent type:- text
- computer
- online resource
- 9783642307430
- Machine 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.131 23
- QA267-268.5
No physical items for this record
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 on this title.