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
In this paper, we describe the architecture of a web-based predictive text editor being developed for the controlled natural language PENG^ASP). This controlled language can be used to write non-monotonic specifications that have the same expressive power as Answer Set Programs. In order to support the writing process of these specifications, the predictive text editor communicates asynchronously with the controlled natural language processor that generates lookahead categories and additionalarXiv:1408.0016v1 fatcat:ueotmqx6uraalh772gbys63o5u