Mathematical Foundations
Subareas:
Publications
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 Levesque, Hector and Pirri, Fiora, editors, Logical Foundations for Cognitive Agents: Contributions in Honor of Ray Reiter, 208-212, 1999. Springer.
On the Logic of Causal Explanation 1997
Vladimir Lifschitz, Artificial Intelligence, 96:451-465, 1997.
Foundations of Logic Programming 1996
Vladimir Lifschitz , In Brewka, Gerhard, editors, Principles of Knowledge Representation, 69-128, 1996. CSLI Publications.
Circumscription 1994
Vladimir Lifschitz, Handbook of Logic in AI and Logic Programming, 3:298--352, 1994. Oxford University Press.
Labs
Texas Action Group