Author

Vladimir Lifschitz

9 known books newest first

No author bio imported yet.

Books

OpenLibrary works by this author.

9 books
Answer Set Programming

Answer Set Programming

Year unknown
Artificial and Mathematical Theor...

Artificial and Mathematical Theory of Computation

Year unknown
Artificial intelligence and mathe...

Artificial intelligence and mathematical theory of computation

Year unknown McCarthy, John and Vladimir Lifschitz
Formalizing common sense

Formalizing common sense

Year unknown John McCarthy and Vladimir Lifschitz
Handbook of knowledge representation

Handbook of knowledge representation

Year unknown Vladimir Lifschitz and Bruce Porter
Logical Formalizations of Commons...

Logical Formalizations of Commonsense Reasoning

Year unknown Eyal Amir, Vladimir Lifschitz, and Rob Miller
Logic programming

Logic programming

Year unknown
Logic Programming and Nonmonotonic Reasoning

Logic Programming and Nonmonotonic Reasoning

Year unknown Vladimir Lifschitz and Ilkka Niemelä
Mechanical theorem proving in the...

Mechanical theorem proving in the USSR

Year unknown

Fetched from OpenLibrary. Some translations may appear as separate works.