Strong splitting rules in automated theorem proving.

Matthias Baaz Alexander Leitsch

Published in: EUROCAL (1987)

Keyphrases

automated theorem proving
theorem prover
theorem proving
answer set programming
classification rules
rule sets
production rules
decision rules
association rules
background knowledge
data sets
rule extraction
rule discovery