Defining behaviorizeable relations to enable inference in semi-automatic program synthesis.
Emmanouil KrasanakisAndreas L. SymeonidisPublished in: J. Log. Algebraic Methods Program. (2021)
Keyphrases
- semi automatic
- program synthesis
- fully automatic
- gold standard
- recursive programs
- semi automatically
- semantic annotation
- design rationale
- ontology mapping
- landmark extraction
- wrapper generation
- ontology development
- manual annotation
- labor intensive
- semantic relations
- inductive logic programming
- domain ontology
- relational learning
- background knowledge
- contextual information
- programming language
- general purpose
- domain knowledge
- search engine