Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: plasp 3: Towards Effective ASP Planning   We describe the new version of the PDDL-to-ASP translator plasp. First, it
widens the range of accepted PDDL features. Second, it contains novel planning
encodings, some inspired by SAT planning and others exploiting ASP features
such as well-foundedness. All of them are designed for handling multivalued
fluents in order to capture both PDDL as well as SAS planning formats. Third,
enabled by multishot ASP solving, it offers advanced planning algorithms also
borrowed from SAT planning. As a result, plasp provides us with an ASP-based
framework for studying a variety of planning techniques in a uniform setting.
Finally, we demonstrate in an empirical analysis that these techniques have a
significant impact on the performance of ASP planning.

0
The categories of this paper are: hep-ph
23
The categories of this paper are: solv-int
6
The categories of this paper are: astro-ph
12
The categories of this paper are: nucl-th
26
The categories of this paper are: bayes-an
3
The categories of this paper are: physics
13
The categories of this paper are: quant-ph
33
The categories of this paper are: plasm-ph
22
The categories of this paper are: chao-dyn
30
The categories of this paper are: q-alg
21
The categories of this paper are: adap-org
16
The categories of this paper are: stat
2
The categories of this paper are: math
4
The categories of this paper are: cond-mat
17
The categories of this paper are: q-fin
7
The categories of this paper are: hep-th