Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Controlled Natural Language Processing as Answer Set Programming: an
  Experiment   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 experimental way how well answer set
programming (ASP) is suited as a unifying framework for parsing a CNL, deriving
a formal representation for the resulting syntax trees, and for reasoning with
that representation. We start from a list of input tokens in ASP notation and
show how this input can be transformed into a syntax tree using an ASP grammar
and then into reified ASP rules in form of a set of facts. These facts are then
processed by an ASP meta-interpreter that allows us to infer new knowledge.

9
The categories of this paper are: nlin
28
The categories of this paper are: alg-geom
5
The categories of this paper are: gr-qc
10
The categories of this paper are: q-bio
13
The categories of this paper are: quant-ph
11
The categories of this paper are: hep-lat
33
The categories of this paper are: plasm-ph
2
The categories of this paper are: math
8
The categories of this paper are: hep-ex
21
The categories of this paper are: adap-org
7
The categories of this paper are: hep-th
31
The categories of this paper are: ao-sci
3
The categories of this paper are: physics
30
The categories of this paper are: q-alg
35
The categories of this paper are: mtrl-th
16
The categories of this paper are: stat