Generalisation through Negation and Predicate Invention.
David M. CernaAndrew CropperPublished in: AAAI (2024)
Keyphrases
- predicate invention
- inductive logic programming
- logic programs
- existentially quantified
- logic programming
- higher order
- statistical relational learning
- context free grammars
- background knowledge
- relational learning
- domain knowledge
- fixpoint
- answer set programming
- answer sets
- definite clause
- multi relational
- graphical models
- data mining