Vladimir Lifschitz

• Artificial intelligence and mathematical theory of computation
• Answer Set Programming
• Handbook of knowledge representation
• Logic programming
• Logic Programming and Nonmonotonic Reasoning
• Artificial and Mathematical Theory of Computation
• Formalizing common sense
• Handbook of Knowledge Representation (Foundations of Artificial Intelligence)
• Logical Formalizations of Commonsense Reasoning
• Mechanical theorem proving in the USSR