Rules and Refutation Rules for the Logic of Finite n-ary Trees.

Tomasz F. Skura

Published in: J. Log. Comput. (2004)

Keyphrases

rule sets
association rules
production rules
logical rules
decision rules
theorem proving
neural network
machine learning
knowledge base
classification rules
rule induction
active databases
rule extraction
rule learning