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