1. Preface

   • Victor W. Marek
   • Peter H. Schmitt

   EditorialNotes Pages: I - II

2. Well-founded and stationary models of logic programs

   • Teodor C. Przymusinski

   OriginalPaper Pages: 141 - 187

3. Modular specifications with supernormal defaults

   • Stefan Brass

   OriginalPaper Pages: 189 - 213

4. New proofs in default logic theory

   • G. Antoniou
   • E. Langetepe
   • V. Sperschneider

   OriginalPaper Pages: 215 - 229

5. Many-valued logic and mixed integer programming

   • Reiner Hähnle

   OriginalPaper Pages: 231 - 263

6. Towards reasoning about Hoare relations

   • Stéphane Demri
   • Ewa Orlowska
   • Ingrid Rewitzky

   OriginalPaper Pages: 265 - 289

7. Syntactical models and fixed points for the basic logic of proofs

   • Tyko Straßen

   OriginalPaper Pages: 291 - 321