Imperative Program Synthesis from Answer Set Programs.
Sarat Chandra VaranasiPublished in: ICLP Technical Communications (2019)
Keyphrases
- program synthesis
- answer set programs
- answer set programming
- answer sets
- logic programs
- inductive logic programming
- stable models
- recursive programs
- logic programming
- update operators
- databases
- reasoning tasks
- event calculus
- np complete
- constraint satisfaction problems
- background knowledge
- data model
- update semantics
- database systems