Modal logics, description logics and arithmetic reasoning
iCTRL: Intensional conformal text representation language
A directly cautious theory of defeasible consequence for default logic via the notion of general extension
Using regression-match graphs to control search in planning
Non-uniform time sharing in the concurrent execution of constraint solving
Representation of propositional expert systems as partial functions
Learning by discovering concept hierarchies
Constraint satisfaction over connected row-convex constraints
Computational complexity of relating time points with intervals
Preferred answer sets for extended logic programs
Index