UTCS Artificial Intelligence
courses
talks/events
demos
people
projects
publications
software/data
labs
areas
admin
Success of Default Logic (1999)
Vladimir Lifschitz
Ray Reiter's Logic for Default Reasoning was published almost twenty years ago, but it is widely used today by researchers in knowledge representation, commonsense reasoning and logic programming. This note is a collection of random comments on aspects of this success story.
View:
PS
Citation:
In
Logical Foundations for Cognitive Agents: Contributions in Honor of Ray Reiter
, Levesque, Hector and Pirri, Fiora (Eds.), pp. 208-212 1999. Springer.
Bibtex:
@incollection{lif99e, title={Success of Default Logic}, author={Vladimir Lifschitz}, booktitle={Logical Foundations for Cognitive Agents: Contributions in Honor of Ray Reiter}, editor={Levesque, Hector and Pirri and Fiora}, publisher={Springer}, pages={208-212}, url="http://www.cs.utexas.edu/users/ai-lab?lif99e", year={1999} }
People
Vladimir Lifschitz
Faculty
vl [at] cs utexas edu
Areas of Interest
Default Logic
Mathematical Foundations
Nonmonotonic Reasoning