Login / Signup
Simultaneous Search in Connection Tableau Calculi by Means of Disjunctive Constraints.
Ortrun Ibens
Published in:
FLAIRS Conference (2000)
Keyphrases
</>
search algorithm
search space
search strategy
reducing the search space
description logics
disjunctive constraints
search methods
reduce the search space
dynamic programming
upper bound
object oriented