Vladimir Lifschitz

Identifiers

Open LibraryOL1083891A

Top Subjects

Automatic theorem proving. (1)
Electronic digital computers -- Soviet Union. (1)
Logic programming (1)
Computer software (1)
Computers (1)
Knowledge representation (information theory) (1)

Books by Vladimir Lifschitz

Total count: 7

Mechanical theorem proving in the USSRthe Leningrad school

Delphic Associates1986-01-01
Logic Programming and Nonmonotonic Reasoning7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings

Springer London, Limited2003-01-01
Logic Programming20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings

Springer London, Limited2004-01-01
Logical Formalizations of Commonsense ReasoningPapers from 2007 AAAI Spring Symposium

AAAI Press2007-01-01
Handbook of Knowledge Representation

Elsevier Science & Technology Books2008-01-01
Artificial and Mathematical Theory of ComputationPapers in Honor of John Mccarthy

Elsevier Science & Technology Books2012-01-01
Answer Set Programming

Springer2019-08-29