Lifting symmetry breaking constraints with inductive logic programming.
Alice TarzariolMartin GebserKonstantin SchekotihinPublished in: Mach. Learn. (2022)
Keyphrases
- inductive logic programming
- symmetry breaking constraints
- symmetry breaking
- background knowledge
- relational learning
- first order logic
- relational data mining
- constraint satisfaction problems
- logic programs
- predicate invention
- constraint programming
- rule learning
- statistical relational learning
- finite element mesh
- machine learning
- logic programming
- knowledge representation
- domain knowledge
- stochastic logic programs
- metadata
- learning algorithm