Title: An introduction to default logic
Subjects: Artificial intelligence, Logic, Logic programming