Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Axioms in Model-based Planners   Axioms can be used to model derived predicates in domain- independent
planning models. Formulating models which use axioms can sometimes result in
problems with much smaller search spaces and shorter plans than the original
model. Previous work on axiom-aware planners focused solely on state- space
search planners. We propose axiom-aware planners based on answer set
programming and integer programming. We evaluate them on PDDL domains with
axioms and show that they can exploit additional expressivity of axioms.

10
The categories of this paper are: q-bio
11
The categories of this paper are: hep-lat
35
The categories of this paper are: mtrl-th
23
The categories of this paper are: solv-int
36
The categories of this paper are: cmp-lg
17
The categories of this paper are: q-fin
37
The categories of this paper are: supr-con
7
The categories of this paper are: hep-th
34
The categories of this paper are: chem-ph
21
The categories of this paper are: adap-org
5
The categories of this paper are: gr-qc
8
The categories of this paper are: hep-ex
28
The categories of this paper are: alg-geom
4
The categories of this paper are: cond-mat
2
The categories of this paper are: math
9
The categories of this paper are: nlin