Abstraction Refinement via Inductive Learning.
Alexey LoginovThomas W. RepsShmuel SagivPublished in: CAV (2005)
Keyphrases
- inductive learning
- knowledge acquisition
- lazy learning
- machine learning
- high level
- meta learning
- inductive logic programming
- explanation based learning
- concept learning
- domain theory
- feature generation
- data model
- constructive induction
- knowledge representation
- classification trees
- concept descriptions
- refinement process
- logic programs
- general purpose
- learning tasks
- real world
- xml documents
- expert systems