Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Formalization of Psychological Knowledge in Answer Set Programming and
  its Application   In this paper we explore the use of Answer Set Programming (ASP) to
formalize, and reason about, psychological knowledge. In the field of
psychology, a considerable amount of knowledge is still expressed using only
natural language. This lack of a formalization complicates accurate studies,
comparisons, and verification of theories. We believe that ASP, a knowledge
representation formalism allowing for concise and simple representation of
defaults, uncertainty, and evolving domains, can be used successfully for the
formalization of psychological knowledge. To demonstrate the viability of ASP
for this task, in this paper we develop an ASP-based formalization of the
mechanics of Short-Term Memory. We also show that our approach can have rather
immediate practical uses by demonstrating an application of our formalization
to the task of predicting a user's interaction with a graphical interface.

20
The categories of this paper are: acc-phys
5
The categories of this paper are: gr-qc
4
The categories of this paper are: cond-mat
9
The categories of this paper are: nlin
30
The categories of this paper are: q-alg
12
The categories of this paper are: nucl-th
34
The categories of this paper are: chem-ph
28
The categories of this paper are: alg-geom
22
The categories of this paper are: chao-dyn
13
The categories of this paper are: quant-ph
32
The categories of this paper are: atom-ph
2
The categories of this paper are: math
23
The categories of this paper are: solv-int
26
The categories of this paper are: bayes-an
17
The categories of this paper are: q-fin
24
The categories of this paper are: dg-ga