1. Preface to the special issue on commonsense and nonmonotonic reasoning

   • Vladimir Lifschitz

   EditorialNotes Pages: v - v

2. Default reasoning by deductive planning

   • Michael Thielscher
   • Torsten Schaub

   OriginalPaper Pages: 1 - 40

3. Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic

   • Franz Baader
   • Bernhard Hollunder

   OriginalPaper Pages: 41 - 68

4. Mechanical verification of strategies

   • Sakthi Subramanian

   OriginalPaper Pages: 69 - 93

5. A new methodology for query answering in default logics via structure-oriented theorem proving

   • T. Schaub

   OriginalPaper Pages: 95 - 165