Department of Computer Sciences; University of Texas
SVM HeaderParse 0.2
AUTHOR ADDR
Austin, TX 78712, USA
SVM HeaderParse 0.1
ABSTRACT
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.