Login / Signup
Connection Tableau Calculi with Disjunctive Constraints.
Ortrun Ibens
Published in:
Stud Logica (2002)
Keyphrases
</>
disjunctive constraints
reducing the search space
constraint satisfaction problems
description logics
qualitative spatial and temporal reasoning
reduce the search space
constraint logic programming
object oriented