Sequent calculi for skeptical reasoning in predicate default logic and other nonmonotonic logics Robert Saxon Milnikel OriginalPaper Pages: 1 - 34
A cost-reducing question-selection algorithm for propositional knowledge-based systems Jinchang Wang OriginalPaper Pages: 35 - 60
A new tractable class of constraint satisfaction problems VĂctor Dalmau OriginalPaper Pages: 61 - 85
Semantics for a theory of defeasible reasoning Quoc Bao VoNorman Y. FooJoe Thurbon OriginalPaper Pages: 87 - 119
Resolution cannot polynomially simulate compressed-BFS DoRon B. MotterJarrod A. RoyIgor L. Markov OriginalPaper Pages: 121 - 156
Correlations between Horn fractions, satisfiability and solver performance for fixed density random 3-CNF instances Hans van MaarenLinda van Norden OriginalPaper Pages: 157 - 177