Examples of Integration of Induction and Deduction in Knowledge Discovery.
Franco TuriniMiriam BaglioniBarbara FurlettiSalvatore RinzivilloPublished in: Reasoning, Action and Interaction in AI Theories and Systems (2006)
Keyphrases
- knowledge discovery
- data mining and knowledge discovery
- discovery process
- rule induction
- data mining applications
- inference rules
- discovering knowledge
- decision support
- data mining techniques
- data mining
- database
- theorem prover
- key concepts
- machine learning
- databases
- association rule mining
- inductive learning
- conceptual design
- constructive induction
- proof search