Implementation and Evaluation of a Tableau Algorithm for the Guarded Fragment.

Published in: Description Logics (2002)

Keyphrases

objective function
optimal solution
data mining
learning algorithm
computational complexity
search space
np hard
convex hull
hardware implementation
lower bound
tree structure
satisfiability problem
constraint databases