UTCS Artificial Intelligence
courses
talks/events
demos
people
projects
publications
software/data
labs
areas
admin
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
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.