Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Logic Programming for Finding Models in the Logics of Knowledge and its
  Applications: A Case Study   The logics of knowledge are modal logics that have been shown to be effective
in representing and reasoning about knowledge in multi-agent domains.
Relatively few computational frameworks for dealing with computation of models
and useful transformations in logics of knowledge (e.g., to support multi-agent
planning with knowledge actions and degrees of visibility) have been proposed.
This paper explores the use of logic programming (LP) to encode interesting
forms of logics of knowledge and compute Kripke models. The LP modeling is
expanded with useful operators on Kripke structures, to support multi-agent
planning in the presence of both world-altering and knowledge actions. This
results in the first ever implementation of a planner for this type of complex
multi-agent domains.

2
The categories of this paper are: math
16
The categories of this paper are: stat
7
The categories of this paper are: hep-th
17
The categories of this paper are: q-fin
22
The categories of this paper are: chao-dyn
31
The categories of this paper are: ao-sci
35
The categories of this paper are: mtrl-th
36
The categories of this paper are: cmp-lg
15
The categories of this paper are: nucl-ex
0
The categories of this paper are: hep-ph
30
The categories of this paper are: q-alg
9
The categories of this paper are: nlin
23
The categories of this paper are: solv-int
10
The categories of this paper are: q-bio
21
The categories of this paper are: adap-org
37
The categories of this paper are: supr-con