Artificial and Mathematical Theory of ComputationVladimir Lifschitz · First published 2012Open the Tome
Handbook of knowledge representationVladimir Lifschitz, Bruce Porter · First published 2007Open the Tome
Logical Formalizations of Commonsense ReasoningEyal Amir, Vladimir Lifschitz, Rob Miller · First published 2007Open the Tome
Logic Programming and Nonmonotonic ReasoningVladimir Lifschitz, Ilkka Niemelä · First published 2003Open the Tome
Artificial intelligence and mathematical theory of computationMcCarthy, John, Vladimir Lifschitz · First published 1991Open the Tome
