Incremental Closure of Free Variable Tableaux.

Published in: IJCAR (2001)

Keyphrases

functional dependencies
incremental learning
data driven
image processing
modal logic
elimination algorithm
databases
neural network
image sequences
objective function
special case