Symbolic Synthesis of Knowledge-based Program Implementations with Synchronous Semantics.
Xiaowei HuangRon van der MeydenPublished in: TARK (2013)
Keyphrases
- program synthesis
- functional programs
- control flow
- connectionist models
- expert systems
- intended meaning
- efficient implementation
- stable model semantics
- computer programs
- formal semantics
- high level
- semantically equivalent
- intermediate level
- model theoretic
- neural learning
- programming language constructs
- artificial intelligence
- symbolic representation
- test cases
- logic programming
- logic programs
- case study