Keyphrases
- logical implication
- refinement operators
- inductive logic programming
- relational learning
- background knowledge
- logic programs
- ilp systems
- statistical relational learning
- rule learning
- machine learning
- first order logic
- automated reasoning
- description logics
- functional dependencies
- logic programming
- subgroup discovery
- multi relational
- knowledge base
- machine learning algorithms
- knowledge representation
- active learning
- relational databases
- bayesian networks