2020
Lossless Semantic Round-Tripping in PENG ASP
IJCAI 2020poster
The PENG ASP system supports the writing of textual specifications with the help of a smart text editor that possesses knowledge about the structure of the specification language. Specifications written in PENG ASP are incrementally translated into executable answer set programs and vice versa. That…