Keyphrases
- inductive logic programming
- macro operators
- explanation based learning
- inductive learning
- refinement operators
- background knowledge
- relational learning
- logic programs
- domain theory
- logic programming
- machine learning
- ai planning
- rule learning
- automated planning
- planning problems
- first order logic
- ilp systems
- statistical relational learning
- planning domains
- active learning
- genetic algorithm
- training data
- training set