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. |