A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
Lossless Semantic Round-Tripping in PENG ASP
2020
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence
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 means the system allows for lossless semantic round-tripping between a human-readable specification and an answer set program. This functionality is achieved by a single bi-directional logic grammar
doi:10.24963/ijcai.2020/773
dblp:conf/ijcai/Schwitter20
fatcat:dtnq6wujpzgftb3ub2mgox4vcm