Induction Rules and Termination Proofs.
Peter HitchcockDavid Michael Ritchie ParkPublished in: ICALP (1972)
Keyphrases
- constructive induction
- concept learning
- induction algorithms
- decision trees
- inductive learning
- active rules
- classification rules
- association rules
- domain knowledge
- machine learning
- rule discovery
- information systems
- association rule mining
- cut elimination
- inference engine
- rule induction
- bayesian networks
- knowledge representation
- termination analysis
- logical rules
- proof search
- linear logic
- data mining
- human experts
- business rules
- theorem proving
- case based reasoning
- rule sets