Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Solving Distributed Constraint Optimization Problems Using Logic
  Programming   This paper explores the use of Answer Set Programming (ASP) in solving
Distributed Constraint Optimization Problems (DCOPs). The paper provides the
following novel contributions: (1) It shows how one can formulate DCOPs as
logic programs; (2) It introduces ASP-DPOP, the first DCOP algorithm that is
based on logic programming; (3) It experimentally shows that ASP-DPOP can be up
to two orders of magnitude faster than DPOP (its imperative programming
counterpart) as well as solve some problems that DPOP fails to solve, due to
memory limitations; and (4) It demonstrates the applicability of ASP in a wide
array of multi-agent problems currently modeled as DCOPs. Under consideration
in Theory and Practice of Logic Programming (TPLP).

8
The categories of this paper are: hep-ex
19
The categories of this paper are: eess
36
The categories of this paper are: cmp-lg
35
The categories of this paper are: mtrl-th
28
The categories of this paper are: alg-geom
3
The categories of this paper are: physics
9
The categories of this paper are: nlin
5
The categories of this paper are: gr-qc
34
The categories of this paper are: chem-ph
30
The categories of this paper are: q-alg
29
The categories of this paper are: funct-an
11
The categories of this paper are: hep-lat
14
The categories of this paper are: math-ph
31
The categories of this paper are: ao-sci
18
The categories of this paper are: econ
6
The categories of this paper are: astro-ph