THE EFFICIENCY OF AN ALGORITHM OF INTEGER PROGRAMMING: A PROBABILISTIC ANALYSISLIFSCHITZ V.1980; PROC. AMER. MATH. SOC.; USA; DA. 1980; VOL. 79; NO 1; PP. 72-76; BIBL. 4 REF.Article

The logic of common senseLIFSCHITZ, V.ACM computing surveys. 1995, Vol 27, Num 3, pp 343-345, issn 0360-0300Conference Paper

Nested abnormality theoriesLIFSCHITZ, V.Artificial intelligence. 1995, Vol 74, Num 2, pp 351-365, issn 0004-3702Article

On the satisfiability of circumscriptionLIFSCHITZ, V.Artificial intelligence. 1986, Vol 28, Num 1, pp 17-27, issn 0004-3702Article

Calculable natural numbersLIFSCHITZ, V.Studies in logic and the foundations of mathematics. 1985, Vol 113, pp 173-190, issn 0049-237XArticle

THE NUMBER OF INCREASING SUBSEQUENCES OF THE RANDOM PERMUTATIONLIFSCHITZ V; PITTEL B.1981; J. COMB. THEORY, SER. A; ISSN 0097-3165; USA; DA. 1981; VOL. 31; NO 1; PP. 1-20; BIBL. 11 REF.Article

Classical negation in logic programs and disjunctive databasesGELFOND, M; LIFSCHITZ, V.New generation computing. 1991, Vol 9, Num 3-4, pp 365-385, issn 0288-3635Article

A note on the complexicity of a partition algorithmLIFSCHITZ, V; PESOTCHINSKY, L.Information processing letters. 1983, Vol 17, Num 3, pp 117-120, issn 0020-0190Article

Commentary on McDermottMCCARTHY, J; LIFSCHITZ, V.Computational intelligence. 1987, Vol 3, Num 3, pp 196-197, issn 0824-7935Article

Results on translating defaults to circumscriptionIMIELINSKI, T; PERLIS, D; LIFSCHITZ, V et al.Artificial intelligence. 1987, Vol 32, Num 1, pp 131-146, issn 0004-3702Article

A theorem on the consistency of circumscriptionMOTT, P. L; LIFSCHITZ, V; PERLIS, D et al.Artificial intelligence. 1987, Vol 31, Num 1, pp 87-98, issn 0004-3702Article

Transformations of logic programs related to causality and planningERDEM, E; LIFSCHITZ, V.Lecture notes in computer science. 1999, pp 107-116, issn 0302-9743, isbn 3-540-66749-0Conference Paper

Representing transition systems by logic programsLIFSCHITZ, V; TURNER, H.Lecture notes in computer science. 1999, pp 92-106, issn 0302-9743, isbn 3-540-66749-0Conference Paper