Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Argumentation Semantics for Prioritised Default Logic   We endow prioritised default logic (PDL) with argumentation semantics using
the ASPIC+ framework for structured argumentation, and prove that the
conclusions of the justified arguments are exactly the prioritised default
extensions. Argumentation semantics for PDL will allow for the application of
argument game proof theories to the process of inference in PDL, making the
reasons for accepting a conclusion transparent and the inference process more
intuitive. This also opens up the possibility for argumentation-based
distributed reasoning and communication amongst agents with PDL representations
of mental attitudes.

6
The categories of this paper are: astro-ph
0
The categories of this paper are: hep-ph
28
The categories of this paper are: alg-geom
20
The categories of this paper are: acc-phys
25
The categories of this paper are: patt-sol
11
The categories of this paper are: hep-lat
37
The categories of this paper are: supr-con
30
The categories of this paper are: q-alg
10
The categories of this paper are: q-bio
26
The categories of this paper are: bayes-an
21
The categories of this paper are: adap-org
5
The categories of this paper are: gr-qc
7
The categories of this paper are: hep-th
14
The categories of this paper are: math-ph
19
The categories of this paper are: eess
24
The categories of this paper are: dg-ga