1. On Skolemization in constrained logics

   • Hans-Jürgen Bürckert
   • Bernhard Hollunder
   • Armin Laux

   OriginalPaper Pages: 95 - 131

2. Consistency checking reduced to satisfiability of concepts in terminological systems

   • Bernhard Hollunder

   OriginalPaper Pages: 133 - 157

3. Multi-valued autoepistemic logic

   • Robert F. Stärk

   OriginalPaper Pages: 159 - 174

4. Using automata theory for characterizing the semantics of terminological cycles

   • Franz Baader

   OriginalPaper Pages: 175 - 219

5. Using tactics to reformulate formulae for resolution theorem proving

   • Manfred Kerber
   • Axel Präcklein

   OriginalPaper Pages: 221 - 241

6. On resolution with short clauses

   • Michael Buro
   • Hans Kleine Büning

   OriginalPaper Pages: 243 - 260

7. Unification in sort theories and its applications

   • Christoph Weidenbach

   OriginalPaper Pages: 261 - 293