Keyphrases
- inductive learning
- logic programming
- explanation based learning
- abductive reasoning
- inductive logic programming
- nonmonotonic reasoning
- knowledge acquisition
- multiple inheritance
- logic programs
- meta learning
- lazy learning
- machine learning
- nonmonotonic logics
- domain theory
- knowledge representation
- default logic
- modal logic
- feature generation
- concept descriptions
- inference rules
- probabilistic logic
- data sets
- background knowledge
- classification trees
- text classification
- constructive induction
- knowledge base
- ripple down rules