eldorado.tu-dortmund.de/server/api/core/bitstreams/27b55c58-887b-4131-bebf-68354344fc3c/content
specify the form of ELPs.
A rule r is of the form
L0←L1, . . . , Lm,∼Lm+1, . . . ,∼Ln., (1)
with classical literals L0, . . . , Ln and 0 ≤ m ≤ n. The literal L0 is the head of r, denoted
by H(r), and {L1, . [...] semi-normal defeasible rules are
introduced. These rules have the following form:
r: L0←L1, . . . , Lm,∼Lm+1, . . . ,∼Ln,∼L0. (5)
https://doi.org/10.1017/S1471068422000357 Published online by Cambridge University [...] under the terms of the Creative Commons Attribution licence
(http://creativecommons.org/licenses/by/4.0/), which permits unrestricted re-use, distribution and
reproduction, provided the original article is …
