Success of Default Logic (1999)
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:

Vladimir Lifschitz Faculty vl [at] cs utexas edu