On Refutation Rules.

Tomasz F. Skura

Published in: Logica Universalis (2011)

Keyphrases

association rules
rule sets
machine learning
multiscale
association rule mining
background knowledge
theorem proving
rule based systems
rule induction
website
case study
case based reasoning
classification rules
theorem prover
business rules