Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Knowing How to Plan   Various planning-based know-how logics have been studied in the recent
literature. In this paper, we use such a logic to do know-how-based planning
via model checking. In particular, we can handle the higher-order epistemic
planning involving know-how formulas as the goal, e.g., find a plan to make
sure p such that the adversary does not know how to make p false in the future.
We give a PTIME algorithm for the model checking problem over finite epistemic
transition systems and axiomatize the logic under the assumption of perfect
recall.

6
The categories of this paper are: astro-ph
3
The categories of this paper are: physics
28
The categories of this paper are: alg-geom
12
The categories of this paper are: nucl-th
16
The categories of this paper are: stat
22
The categories of this paper are: chao-dyn
18
The categories of this paper are: econ
4
The categories of this paper are: cond-mat
13
The categories of this paper are: quant-ph
10
The categories of this paper are: q-bio
24
The categories of this paper are: dg-ga
31
The categories of this paper are: ao-sci
34
The categories of this paper are: chem-ph
36
The categories of this paper are: cmp-lg
15
The categories of this paper are: nucl-ex
5
The categories of this paper are: gr-qc