Efficient program synthesis using constraint satisfaction in inductive logic programming.
John AhlgrenShiu Yin YuenPublished in: J. Mach. Learn. Res. (2013)
Keyphrases
- program synthesis
- constraint satisfaction
- inductive logic programming
- relational learning
- constraint satisfaction problems
- background knowledge
- phase transition
- constraint programming
- logic programs
- predicate invention
- machine learning
- constraint propagation
- heuristic search
- first order logic
- np complete
- logic programming
- statistical relational learning
- probabilistic reasoning
- ilp systems
- graphical models
- object oriented
- knowledge representation
- data mining
- russian doll search