Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: PriCL: Creating a Precedent A Framework for Reasoning about Privacy Case
  Law   We introduce PriCL: the first framework for expressing and automatically
reasoning about privacy case law by means of precedent. PriCL is parametric in
an underlying logic for expressing world properties, and provides support for
court decisions, their justification, the circumstances in which the
justification applies as well as court hierarchies. Moreover, the framework
offers a tight connection between privacy case law and the notion of norms that
underlies existing rule-based privacy research. In terms of automation, we
identify the major reasoning tasks for privacy cases such as deducing legal
permissions or extracting norms. For solving these tasks, we provide generic
algorithms that have particularly efficient realizations within an expressive
underlying logic. Finally, we derive a definition of deducibility based on
legal concepts and subsequently propose an equivalent characterization in terms
of logic satisfiability.

36
The categories of this paper are: cmp-lg
33
The categories of this paper are: plasm-ph
7
The categories of this paper are: hep-th
34
The categories of this paper are: chem-ph
4
The categories of this paper are: cond-mat
10
The categories of this paper are: q-bio
2
The categories of this paper are: math
12
The categories of this paper are: nucl-th
35
The categories of this paper are: mtrl-th
22
The categories of this paper are: chao-dyn
29
The categories of this paper are: funct-an
6
The categories of this paper are: astro-ph
15
The categories of this paper are: nucl-ex
25
The categories of this paper are: patt-sol
0
The categories of this paper are: hep-ph
13
The categories of this paper are: quant-ph