Checking Safety by Inductive Generalization of Counterexamples to Induction.
Aaron R. BradleyZohar MannaPublished in: FMCAD (2007)
Keyphrases
- constructive induction
- inductive learning
- inductive reasoning
- inductive bias
- inductive concept learning
- inductive inference
- inductive logic programming
- functional programs
- concept learning
- machine learning
- attribute oriented
- knowledge acquisition
- decision trees
- domain knowledge
- explanation based learning
- learning machines
- rule induction
- efficient learning
- concept formation
- information systems
- data mining