Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Specifying and Verbalising Answer Set Programs in Controlled Natural
  Language   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 natural language and translate this specification
automatically into an executable answer set program. The resulting answer set
program can be modified following certain naming conventions and the revised
version of the program can then be verbalised in the same subset of natural
language that was used as specification language. The bi-directional grammar is
parametrised for processing and generation, deals with referring expressions,
and exploits symmetries in the data structure of the grammar rules whenever
these grammar rules need to be duplicated. We demonstrate that verbalisation
requires sentence planning in order to aggregate similar structures with the
aim to improve the readability of the generated specification. Without
modifications, the generated specification is always semantically equivalent to
the original one; our bi-directional grammar is the first one that allows for
semantic round-tripping in the context of controlled natural language
processing. This paper is under consideration for acceptance in TPLP.

21
The categories of this paper are: adap-org
3
The categories of this paper are: physics
8
The categories of this paper are: hep-ex
33
The categories of this paper are: plasm-ph
16
The categories of this paper are: stat
11
The categories of this paper are: hep-lat
9
The categories of this paper are: nlin
23
The categories of this paper are: solv-int
35
The categories of this paper are: mtrl-th
31
The categories of this paper are: ao-sci
24
The categories of this paper are: dg-ga
4
The categories of this paper are: cond-mat
30
The categories of this paper are: q-alg
34
The categories of this paper are: chem-ph
17
The categories of this paper are: q-fin
15
The categories of this paper are: nucl-ex