Inductive Predicate Synthesis Modulo Programs (Extended).
Scott WesleyMaria ChristakisJorge A. NavasRichard J. TreflerValentin WüstholzArie GurfinkelPublished in: CoRR (2024)
Keyphrases
- functional programs
- recursive programs
- program synthesis
- inductive learning
- logic programs
- machine learning
- functional language
- concept learning
- inductive logic programming
- first order logic
- expert systems
- inductive inference
- programming environment
- intermediate level
- automatic programming
- knowledge acquisition
- database systems
- image processing