Inductive Definitions in the system Coq - Rules and Properties.
Christine Paulin-MohringPublished in: TLCA (1993)
Keyphrases
- rule learning
- decision rules
- machine learning
- association rule mining
- business rules
- desirable properties
- association rules
- structural properties
- inductive learning
- attribute values
- binary relations
- rule induction
- rule sets
- classification rules
- data sets
- background knowledge
- data model
- decision trees
- knowledge base
- social networks
- neural network
- databases