V
Vladimir Lifschitz
9 works on record
Works

Logic programming

Handbook of knowledge representation

Answer Set Programming

Logic Programming and Nonmonotonic Reasoning
Artificial intelligence and mathematical theory of computation
Artificial intelligence and mathematical theory of computation
Logical Formalizations of Commonsense Reasoning
Logical Formalizations of Commonsense Reasoning
Artificial and Mathematical Theory of Computation
Artificial and Mathematical Theory of Computation
Formalizing common sense
Formalizing common sense
Mechanical theorem proving in the USSR
Mechanical theorem proving in the USSR