Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Logic programming with social features   In everyday life it happens that a person has to reason about what other
people think and how they behave, in order to achieve his goals. In other
words, an individual may be required to adapt his behaviour by reasoning about
the others' mental state. In this paper we focus on a knowledge representation
language derived from logic programming which both supports the representation
of mental states of individual communities and provides each with the
capability of reasoning about others' mental states and acting accordingly. The
proposed semantics is shown to be translatable into stable model semantics of
logic programs with aggregates.

28
The categories of this paper are: alg-geom
10
The categories of this paper are: q-bio
30
The categories of this paper are: q-alg
33
The categories of this paper are: plasm-ph
15
The categories of this paper are: nucl-ex
26
The categories of this paper are: bayes-an
35
The categories of this paper are: mtrl-th
29
The categories of this paper are: funct-an
25
The categories of this paper are: patt-sol
37
The categories of this paper are: supr-con
12
The categories of this paper are: nucl-th
3
The categories of this paper are: physics
24
The categories of this paper are: dg-ga
22
The categories of this paper are: chao-dyn
32
The categories of this paper are: atom-ph
31
The categories of this paper are: ao-sci