Lossless semantic round-tripping in PENGASP

Rolf Schwitter*

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionpeer-review

4 Citations (Scopus)


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.

Original languageEnglish
Title of host publicationProceedings of the 29th International Joint Conference on Artificial Intelligence, IJCAI 2020
EditorsChristian Bessiere
Place of PublicationCalifornia
PublisherInternational Joint Conferences on Artificial Intelligence
Number of pages3
ISBN (Electronic)9780999241165
Publication statusPublished - 2020
Event29th International Joint Conference on Artificial Intelligence, IJCAI 2020 - Yokohama, Japan
Duration: 7 Jan 202115 Jan 2021

Publication series

NameIJCAI International Joint Conference on Artificial Intelligence
ISSN (Print)1045-0823


Conference29th International Joint Conference on Artificial Intelligence, IJCAI 2020


  • Knowledge Representation and Reasoning
  • Natural Language Processing
  • Human-Computer Interactive Systems:


Dive into the research topics of 'Lossless semantic round-tripping in PENGASP'. Together they form a unique fingerprint.

Cite this