Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A Machine Learning guided Rewriting Approach for ASP Logic Programs   Answer Set Programming (ASP) is a declarative logic formalism that allows to
encode computational problems via logic programs. Despite the declarative
nature of the formalism, some advanced expertise is required, in general, for
designing an ASP encoding that can be efficiently evaluated by an actual ASP
system. A common way for trying to reduce the burden of manually tweaking an
ASP program consists in automatically rewriting the input encoding according to
suitable techniques, for producing alternative, yet semantically equivalent,
ASP programs. However, rewriting does not always grant benefits in terms of
performance; hence, proper means are needed for predicting their effects with
this respect. In this paper we describe an approach based on Machine Learning
(ML) to automatically decide whether to rewrite. In particular, given an ASP
program and a set of input facts, our approach chooses whether and how to
rewrite input rules based on a set of features measuring their structural
properties and domain information. To this end, a Multilayer Perceptrons model
has then been trained to guide the ASP grounder I-DLV on rewriting input rules.
We report and discuss the results of an experimental evaluation over a
prototypical implementation.

36
The categories of this paper are: cmp-lg
4
The categories of this paper are: cond-mat
14
The categories of this paper are: math-ph
23
The categories of this paper are: solv-int
5
The categories of this paper are: gr-qc
0
The categories of this paper are: hep-ph
11
The categories of this paper are: hep-lat
12
The categories of this paper are: nucl-th
26
The categories of this paper are: bayes-an
19
The categories of this paper are: eess
9
The categories of this paper are: nlin
37
The categories of this paper are: supr-con
27
The categories of this paper are: comp-gas
29
The categories of this paper are: funct-an
7
The categories of this paper are: hep-th
20
The categories of this paper are: acc-phys