Learning Logic Programs by Discovering Higher-Order Abstractions.
Céline HocquetteSebastijan DumancicAndrew CropperPublished in: CoRR (2023)
Keyphrases
- logic programs
- higher order
- logic programming
- background knowledge
- answer set programming
- answer sets
- inductive logic programming
- pairwise
- stable models
- refinement operators
- monotonicity constraints
- relational databases
- probabilistic reasoning
- relational learning
- fixpoint
- machine learning
- computational properties
- predicate invention