Reified unit resolution and the failed literal rule

Olivier Bailleux

Published in: CoRR (2010)

Keyphrases

temporal logic
rule discovery
rule learning
association rules
active databases
image resolution
consequence finding
real time
search algorithm
expert systems
low resolution
rule sets
production rules
rule induction
processing units
control unit