A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards.

Yevgeny Kazakov Hans de Nivelle

Published in: IJCAR (2004)

Keyphrases

transitive closure
guarded fragment
decision making
expressive power
high resolution
decision problems
machine learning
special case
integrity constraints
search algorithm
data model
decision makers
query evaluation
conjunctive queries
constraint databases