Editing First-Order Proofs: Programmed Rules vs Derived Rules.

Maria-Virginia Aponte José Alberto Fernández Philippe Roussel

Published in: SLP (1984)

Keyphrases

association rules
neural network
rule sets
association rule mining
data sets
databases
production rules
rule extraction
decision trees
higher order
decision rules
classification rules
human experts