Harrison, Amelia; Lifschitz, Vladimir; Pearce, David; Valverde, Agustín Infinitary equilibrium logic and strongly equivalent logic programs. (English) Zbl 1419.68120 Artif. Intell. 246, 22-33 (2017). MSC: 68T27 68N17 PDFBibTeX XMLCite \textit{A. Harrison} et al., Artif. Intell. 246, 22--33 (2017; Zbl 1419.68120) Full Text: DOI
Ferraris, Paolo; Lee, Joohyung; Lifschitz, Vladimir Stable models and circumscription. (English) Zbl 1227.68103 Artif. Intell. 175, No. 1, 236-263 (2011). Reviewer: Alex Nabebin (Moskva) MSC: 68T27 68N17 PDFBibTeX XMLCite \textit{P. Ferraris} et al., Artif. Intell. 175, No. 1, 236--263 (2011; Zbl 1227.68103) Full Text: DOI
Akman, Varol; Erdoğan, Selim T.; Lee, Joohyung; Lifschitz, Vladimir; Turner, Hudson Representing the Zoo World and the Traffic World in the language of the Causal Calculator. (English) Zbl 1085.68679 Artif. Intell. 153, No. 1-2, 105-140 (2004). MSC: 68T27 68T30 PDFBibTeX XMLCite \textit{V. Akman} et al., Artif. Intell. 153, No. 1--2, 105--140 (2004; Zbl 1085.68679) Full Text: DOI Link
Giunchiglia, Enrico; Lee, Joohyung; Lifschitz, Vladimir; McCain, Norman; Turner, Hudson Nonmonotonic causal theories. (English) Zbl 1085.68161 Artif. Intell. 153, No. 1-2, 49-104 (2004). MSC: 68T27 03B60 PDFBibTeX XMLCite \textit{E. Giunchiglia} et al., Artif. Intell. 153, No. 1--2, 49--104 (2004; Zbl 1085.68161) Full Text: DOI
Lifschitz, Vladimir Answer set programming and plan generation. (English) Zbl 0995.68020 Artif. Intell. 138, No. 1-2, 39-54 (2002). MSC: 68N17 68T20 PDFBibTeX XMLCite \textit{V. Lifschitz}, Artif. Intell. 138, No. 1--2, 39--54 (2002; Zbl 0995.68020) Full Text: DOI
Lifschitz, Vladimir On the logic of causal explanation. (English) Zbl 0901.03022 Artif. Intell. 96, No. 2, 451-465 (1997). MSC: 03B60 68T27 PDFBibTeX XMLCite \textit{V. Lifschitz}, Artif. Intell. 96, No. 2, 451--465 (1997; Zbl 0901.03022) Full Text: DOI
Giunchiglia, Enrico; Kartha, G. Neelakantan; Lifschitz, Vladimir Representing action: indeterminacy and ramifications. (English) Zbl 0894.68140 Artif. Intell. 95, No. 2, 409-438 (1997). MSC: 68T99 PDFBibTeX XMLCite \textit{E. Giunchiglia} et al., Artif. Intell. 95, No. 2, 409--438 (1997; Zbl 0894.68140) Full Text: DOI
Lifschitz, Vladimir Nested abnormality theories. (English) Zbl 1013.68554 Artif. Intell. 74, No. 2, 351-365 (1995). MSC: 68T27 03B60 03B70 68T30 PDFBibTeX XMLCite \textit{V. Lifschitz}, Artif. Intell. 74, No. 2, 351--365 (1995; Zbl 1013.68554) Full Text: DOI
Lifschitz, Vladimir Minimal belief and negation as failure. (English) Zbl 0820.03016 Artif. Intell. 70, No. 1-2, 53-72 (1994). Reviewer: C.Witteveen (Delft) MSC: 03B60 68T27 03B70 03B45 68T30 68N17 PDFBibTeX XMLCite \textit{V. Lifschitz}, Artif. Intell. 70, No. 1--2, 53--72 (1994; Zbl 0820.03016) Full Text: DOI
Lifschitz, Vladimir Frames in the space of situations. (English) Zbl 0743.68122 Artif. Intell. 46, No. 3, 365-376 (1990). Reviewer: J.Šefránek (Bratislava) MSC: 68T30 68T20 68T27 03B80 03B60 PDFBibTeX XMLCite \textit{V. Lifschitz}, Artif. Intell. 46, No. 3, 365--376 (1990; Zbl 0743.68122) Full Text: DOI
Lifschitz, Vladimir; Rabinov, Arkady Miracles in formal theories of action. (English) Zbl 0688.68088 Artif. Intell. 38, No. 2, 225-237 (1989). Reviewer: J.Šefránek MSC: 68T15 03B60 68T99 PDFBibTeX XMLCite \textit{V. Lifschitz} and \textit{A. Rabinov}, Artif. Intell. 38, No. 2, 225--237 (1989; Zbl 0688.68088) Full Text: DOI
Lifschitz, Vladimir On the satisfiability of circumscription. (English) Zbl 0589.03020 Artif. Intell. 28, 17-27 (1986). Reviewer: E.Melis MSC: 03C85 68T99 PDFBibTeX XMLCite \textit{V. Lifschitz}, Artif. Intell. 28, 17--27 (1986; Zbl 0589.03020) Full Text: DOI
Lifschitz, Vladimir Closed-world databases and circumscription. (English) Zbl 0596.68062 Artif. Intell. 27, 229-235 (1985). Reviewer: E.Knuth MSC: 68T99 68P20 68Q65 PDFBibTeX XMLCite \textit{V. Lifschitz}, Artif. Intell. 27, 229--235 (1985; Zbl 0596.68062) Full Text: DOI