Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: New Algebraic Normative Theories for Ethical and Legal Reasoning in the
  LogiKEy Framework   In order to design and engineer ethical and legal reasoners and responsible
systems, Benzm\"{u}ller, Parent and van der Torre introduced the LogiKEy
methodology, based on the semantical embedding of deontic logics into classic
higher-order logic. This article considerably extends the LogiKEy deontic
logics and dataset using an algebraic approach, and develops a theory of
input/output operations for normative reasoning on top of Boolean algebras.

19
The categories of this paper are: eess
11
The categories of this paper are: hep-lat
15
The categories of this paper are: nucl-ex
35
The categories of this paper are: mtrl-th
4
The categories of this paper are: cond-mat
37
The categories of this paper are: supr-con
32
The categories of this paper are: atom-ph
13
The categories of this paper are: quant-ph
33
The categories of this paper are: plasm-ph
17
The categories of this paper are: q-fin
12
The categories of this paper are: nucl-th
36
The categories of this paper are: cmp-lg
34
The categories of this paper are: chem-ph
25
The categories of this paper are: patt-sol
20
The categories of this paper are: acc-phys
21
The categories of this paper are: adap-org