Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Solving puzzles described in English by automated translation to answer
  set programming and learning how to do that translation   We present a system capable of automatically solving combinatorial logic
puzzles given in (simplified) English. It involves translating the English
descriptions of the puzzles into answer set programming(ASP) and using ASP
solvers to provide solutions of the puzzles. To translate the descriptions, we
use a lambda-calculus based approach using Probabilistic Combinatorial
Categorial Grammars (PCCG) where the meanings of words are associated with
parameters to be able to distinguish between multiple meanings of the same
word. Meaning of many words and the parameters are learned. The puzzles are
represented in ASP using an ontology which is applicable to a large set of
logic puzzles.

9
The categories of this paper are: nlin
14
The categories of this paper are: math-ph
8
The categories of this paper are: hep-ex
10
The categories of this paper are: q-bio
7
The categories of this paper are: hep-th
22
The categories of this paper are: chao-dyn
21
The categories of this paper are: adap-org
5
The categories of this paper are: gr-qc
25
The categories of this paper are: patt-sol
11
The categories of this paper are: hep-lat
35
The categories of this paper are: mtrl-th
24
The categories of this paper are: dg-ga
13
The categories of this paper are: quant-ph
33
The categories of this paper are: plasm-ph
31
The categories of this paper are: ao-sci
17
The categories of this paper are: q-fin