1. Sequent calculi for skeptical reasoning in predicate default logic and other nonmonotonic logics

   • Robert Saxon Milnikel

   OriginalPaper Pages: 1 - 34

2. A cost-reducing question-selection algorithm for propositional knowledge-based systems

   • Jinchang Wang

   OriginalPaper Pages: 35 - 60

3. A new tractable class of constraint satisfaction problems

   • Víctor Dalmau

   OriginalPaper Pages: 61 - 85

4. Semantics for a theory of defeasible reasoning

   • Quoc Bao Vo
   • Norman Y. Foo
   • Joe Thurbon

   OriginalPaper Pages: 87 - 119

5. Resolution cannot polynomially simulate compressed-BFS

   • DoRon B. Motter
   • Jarrod A. Roy
   • Igor L. Markov

   OriginalPaper Pages: 121 - 156

6. Correlations between Horn fractions, satisfiability and solver performance for fixed density random 3-CNF instances

   • Hans van Maaren
   • Linda van Norden

   OriginalPaper Pages: 157 - 177