Synthesizing Imperative Code from Answer Set Programming Specifications.
Sarat Chandra VaranasiElmer SalazarNeeraj MittalGopal GuptaPublished in: LOPSTR (2019)
Keyphrases
- answer set programming
- logic programs
- logic programming
- answer sets
- answer set programs
- causal theories
- constraint logic programming
- reasoning tasks
- stable model semantics
- meta level reasoning
- control flow
- knowledge representation
- high level
- stable models
- qualitative spatial and temporal reasoning
- np complete
- programming language
- general purpose
- state space