Lifschitz, Vladimir.
Lifschitz, Vladimir, 1947-
Vladimir Lifschitz American computer scientist
VIAF ID: 74909234 ( Personal )
Permalink: http://viaf.org/viaf/74909234
Preferred Forms
- 100 1 0 ‡a Lifschitz, Vladimir
-
-
-
- 100 1 _ ‡a Lifschitz, Vladimir
-
- 100 1 _ ‡a Lifschitz, Vladimir
- 100 1 _ ‡a Lifschitz, Vladimir
-
-
- 100 1 _ ‡a Lifschitz, Vladimir
- 100 1 _ ‡a Lifschitz, Vladimir ‡d 1947-
- 100 1 _ ‡a Lifschitz, Vladimir ‡d 1947-
-
-
- 100 0 _ ‡a Vladimir Lifschitz ‡c American computer scientist
4xx's: Alternate Name Forms (10)
5xx's: Related Names (1)
Works
Title | Sources |
---|---|
Answer Set Programming | |
Artificial intelligence and mathematical theory of computation, c1991: | |
Correct Reasoning Essays on Logic-Based AI in Honour of Vladimir Lifschitz | |
Formalizing common sense : papers | |
Handbook of knowledge representation | |
ICLP 2004 | |
Logic programming and nonmonotonic reasoning : 7th international conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004 : proceedings | |
LPNMR 2004 | |
Mechanical theorem proving in the USSR, c1986: | |
Proofs, categories and computations : essays in honor of Grigori Mints |