Keyphrases
- inductive logic programming
- logic programming
- logic programs
- relational learning
- nonmonotonic reasoning
- background knowledge
- relational data mining
- first order logic
- rule learning
- knowledge discovery in databases
- predicate invention
- knowledge base
- knowledge representation
- statistical relational learning
- multi relational classification
- machine learning
- finite element mesh
- subgroup discovery
- refinement operators
- multi relational data mining
- modal logic
- default reasoning
- autoepistemic logic
- ilp systems
- domain knowledge
- active learning
- metadata