Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Multi-valued Action Languages in CLP(FD)   Action description languages, such as A and B, are expressive instruments
introduced for formalizing planning domains and planning problem instances. The
paper starts by proposing a methodology to encode an action language (with
conditional effects and static causal laws), a slight variation of B, using
Constraint Logic Programming over Finite Domains. The approach is then
generalized to raise the use of constraints to the level of the action language
itself. A prototype implementation has been developed, and the preliminary
results are presented and discussed.
  To appear in Theory and Practice of Logic Programming (TPLP)

3
The categories of this paper are: physics
17
The categories of this paper are: q-fin
28
The categories of this paper are: alg-geom
31
The categories of this paper are: ao-sci
6
The categories of this paper are: astro-ph
7
The categories of this paper are: hep-th
16
The categories of this paper are: stat
14
The categories of this paper are: math-ph
34
The categories of this paper are: chem-ph
27
The categories of this paper are: comp-gas
11
The categories of this paper are: hep-lat
18
The categories of this paper are: econ
12
The categories of this paper are: nucl-th
30
The categories of this paper are: q-alg
0
The categories of this paper are: hep-ph
4
The categories of this paper are: cond-mat