138 citations · 226 across the 6 of their papers we have counts for
6 papers
Specifying and Verbalising Answer Set Programs in Controlled Natural Language
Rolf Schwitter
We show how a bi-directional grammar can be used to specify and verbalise answer set programs in controlled natural language. We start from a program specification in controlled na…
Architecture of a Web-based Predictive Editor for Controlled Natural Language Processing
Stephen Guy, Rolf Schwitter
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…
Controlled Natural Language Processing as Answer Set Programming: an Experiment
Rolf Schwitter
Most controlled natural languages (CNLs) are processed with the help of a pipeline architecture that relies on different software components. We investigate in this paper in an exp…
Attempto Controlled English (ACE)
Norbert E. Fuchs, Rolf Schwitter
Attempto Controlled English (ACE) allows domain specialists to interactively formulate requirements specifications in domain concepts. ACE can be accurately and efficiently process…
Attempto - From Specifications in Controlled Natural Language towards Executable Specifications
Rolf Schwitter, Norbert E. Fuchs
Deriving formal specifications from informal requirements is difficult since one has to take into account the disparate conceptual worlds of the application domain and of software…
Specifying Logic Programs in Controlled Natural Language
Norbert E. Fuchs, Rolf Schwitter
Writing specifications for computer programs is not easy since one has to take into account the disparate conceptual worlds of the application domain and of software development. T…