A Resolution Decision Procedure for the Guarded Fragment.

Hans de Nivelle

Published in: CADE (1998)

Keyphrases

decision makers
decision making
data mining
high resolution
database
database systems
objective function
lower bound
expert systems
first order logic
expressive power