@inproceedings{ad17408d4a8a49a99bdb48a7e2a6cadf,
title = "Lossless semantic round-tripping in PENGASP",
abstract = "The PENGASP 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 PENGASP 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 that serves at the same time as a text processor and a text generator. We demonstrate that the PENGASP system can be used to bridge the gap between a (seemingly) informal specification and an executable answer set program.",
keywords = "Knowledge Representation and Reasoning, Natural Language Processing, Human-Computer Interactive Systems:",
author = "Rolf Schwitter",
year = "2020",
doi = "10.24963/ijcai.2020/773",
language = "English",
series = "IJCAI International Joint Conference on Artificial Intelligence",
publisher = "International Joint Conferences on Artificial Intelligence",
pages = "5291--5293",
editor = "Christian Bessiere",
booktitle = "Proceedings of the 29th International Joint Conference on Artificial Intelligence, IJCAI 2020",
note = "29th International Joint Conference on Artificial Intelligence, IJCAI 2020 ; Conference date: 01-01-2021",
}