Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Using First-Order Logic to Reason about Policies   A policy describes the conditions under which an action is permitted or
forbidden. We show that a fragment of (multi-sorted) first-order logic can be
used to represent and reason about policies. Because we use first-order logic,
policies have a clear syntax and semantics. We show that further restricting
the fragment results in a language that is still quite expressive yet is also
tractable. More precisely, questions about entailment, such as `May Alice
access the file?', can be answered in time that is a low-order polynomial
(indeed, almost linear in some cases), as can questions about the consistency
of policy sets.

13
The categories of this paper are: quant-ph
10
The categories of this paper are: q-bio
37
The categories of this paper are: supr-con
15
The categories of this paper are: nucl-ex
28
The categories of this paper are: alg-geom
35
The categories of this paper are: mtrl-th
34
The categories of this paper are: chem-ph
16
The categories of this paper are: stat
19
The categories of this paper are: eess
17
The categories of this paper are: q-fin
5
The categories of this paper are: gr-qc
24
The categories of this paper are: dg-ga
8
The categories of this paper are: hep-ex
21
The categories of this paper are: adap-org
9
The categories of this paper are: nlin
26
The categories of this paper are: bayes-an