Uniform Schemata for Proof Rules.

Ulrich Berger Tie Hou

Published in: CiE (2014)

Keyphrases

logical rules
decision rules
functional dependencies
data sets
association rules
association rule mining
rule sets
data mining
artificial intelligence
evolutionary algorithm
theorem prover
theorem proving
inference engine
rule based systems
rule extraction
linear array