Volume 44, Number 1-2, May 2005
Robert Saxon Milnikel
: Sequent calculi for skeptical reasoning in predicate default logic and other nonmonotonic logics.
: A cost-reducing question-selection algorithm for propositional knowledge-based systems.
: A new tractable class of constraint satisfaction problems.
Hans van Maaren
, Linda van Norden
: Correlations between Horn fractions, satisfiability and solver performance for fixed density random 3-CNF instances.
Volume 44, Number 3, July 2005
Volume 44, Number 4, August 2005