1. Global solutions for nonlinear systems using qualitative reasoning

   • E. Bradley
   • A. O'Gallagher
   • J. Rogers

   OriginalPaper Pages: 211 - 288

2. An efficient algorithm for the minimal unsatisfiability problem for a subclass of CNF

   • Gennady Davydov
   • Inna Davydova
   • Hans Kleine Büning

   OriginalPaper Pages: 229 - 245

3. Heuristics used by HERBY for semantic tree theorem proving

   • Qingxun Yu
   • Mohammed Almulla
   • Monroe Newborn

   OriginalPaper Pages: 247 - 266

4. Introducing the mathematical category of artificial perceptions

   • Z. Arzi-Gonczarowski
   • D. Lehmann

   OriginalPaper Pages: 267 - 298

5. Adaptation of declaratively represented methods in proof planning

   • Xiaorong Huang
   • Manfred Kerber
   • Lassaad Cheikhrouhou

   OriginalPaper Pages: 299 - 320

6. Horn minimization by iterative decomposition

   • Endre Boros
   • Ondřej Čepek
   • Alexander Kogan

   OriginalPaper Pages: 321 - 343

7. Inference guiding in propositional knowledge bases

   • Jinchang Wang

   OriginalPaper Pages: 345 - 356