Hyperresolution for Guarded Formulae.

Lilia Georgieva Ullrich Hustadt Renate A. Schmidt

Published in: ARW (2000)

Keyphrases

horn clauses
fixed point
real time
artificial intelligence
query answering
data sets
image processing
bayesian networks
objective function
multi agent
lower bound
evolutionary algorithm
database queries
probabilistic databases