A Resolution Rule for Well-Formed Formulae.

K. S. H. S. R. Bhatta Harish Karnick

Published in: Theor. Comput. Sci. (1991)

Keyphrases

high resolution
neural network
low resolution
databases
information retrieval
association rules
classification rules
automatically generated
rule induction
rule learning
rule discovery
consequence finding
real time
search algorithm
conflict detection