Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Interactive Answer Set Programming - Preliminary Report   Traditional Answer Set Programming (ASP) rests upon one-shot solving. A logic
program is fed into an ASP system and its stable models are computed. The high
practical relevance of dynamic applications led to the development of
multi-shot solving systems. An operative system solves continuously changing
logic programs. Although this was primarily aiming at dynamic applications in
assisted living, robotics, or stream reasoning, where solvers interact with an
environment, it also opened up the opportunity of interactive ASP, where a
solver interacts with a user. We begin with a formal characterization of
interactive ASP in terms of states and operations on them. In turn, we describe
the interactive ASP shell aspic along with its basic functionalities.

5
The categories of this paper are: gr-qc
12
The categories of this paper are: nucl-th
36
The categories of this paper are: cmp-lg
17
The categories of this paper are: q-fin
25
The categories of this paper are: patt-sol
3
The categories of this paper are: physics
20
The categories of this paper are: acc-phys
10
The categories of this paper are: q-bio
37
The categories of this paper are: supr-con
23
The categories of this paper are: solv-int
4
The categories of this paper are: cond-mat
33
The categories of this paper are: plasm-ph
15
The categories of this paper are: nucl-ex
2
The categories of this paper are: math
19
The categories of this paper are: eess
22
The categories of this paper are: chao-dyn