Mathematical Foundations

Finite Proofs for Infinitary Formulas 2015
Amelia Harrison and Vladimir Lifschitz, unpublished.
Parametrization and computations in shape spaces with area and boundary invariants 2006
Subramanian Ramamoorthy, Benjamin J. Kuipers and Lothar Wenzel, In Proc. Fall Workshop on Computational and Combinatorial Geometry, Northampton, MA 2006.
Success of Default Logic 1999
Vladimir Lifschitz, In Logical Foundations for Cognitive Agents: Contributions in Honor of Ray Reiter, Levesque, Hector and Pirri, Fiora (Eds.), pp. 208-212 1999. Springer.
On the Logic of Causal Explanation 1997
Vladimir Lifschitz, Artificial Intelligence, Vol. 96 (1997), pp. 451-465.
Foundations of Logic Programming 1996
Vladimir Lifschitz , In Principles of Knowledge Representation, Brewka, Gerhard (Eds.), pp. 69-128 1996. CSLI Publications.
Circumscription 1994
Vladimir Lifschitz, Handbook of Logic in AI and Logic Programming, Vol. 3 (1994), pp. 298--352. Oxford University Press.