Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Generalized Planning With Procedural Domain Control Knowledge   Generalized planning is the task of generating a single solution that is
valid for a set of planning problems. In this paper we show how to represent
and compute generalized plans using procedural Domain Control Knowledge (DCK).
We define a {\it divide and conquer} approach that first generates the
procedural DCK solving a set of planning problems representative of certain
subtasks and then compile it as callable procedures of the overall generalized
planning problem. Our procedure calling mechanism allows nested and recursive
procedure calls and is implemented in PDDL so that classical planners can
compute and exploit procedural DCK. Experiments show that an off-the-shelf
classical planner, using procedural DCK as callable procedures, can compute
generalized plans in a wide range of domains including non-trivial ones, such
as sorting variable-size lists or DFS traversal of binary trees with variable
size.

29
The categories of this paper are: funct-an
27
The categories of this paper are: comp-gas
7
The categories of this paper are: hep-th
4
The categories of this paper are: cond-mat
3
The categories of this paper are: physics
34
The categories of this paper are: chem-ph
28
The categories of this paper are: alg-geom
36
The categories of this paper are: cmp-lg
37
The categories of this paper are: supr-con
9
The categories of this paper are: nlin
33
The categories of this paper are: plasm-ph
26
The categories of this paper are: bayes-an
15
The categories of this paper are: nucl-ex
12
The categories of this paper are: nucl-th
11
The categories of this paper are: hep-lat
17
The categories of this paper are: q-fin