Hyperresolution for guarded formulae.

Lilia Georgieva Ullrich Hustadt Renate A. Schmidt

Published in: J. Symb. Comput. (2003)

Keyphrases

horn clauses
fixed point
query answering
probabilistic databases
database
decision procedures
artificial intelligence
image processing
computational complexity
temporal logic
inference rules