2019
DOI: 10.1016/j.entcs.2019.07.002
|View full text |Cite
|
Sign up to set email alerts
|

On Three-Valued Acceptance Conditions of Abstract Dialectical Frameworks

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
2
1

Citation Types

0
9
0

Year Published

2021
2021
2024
2024

Publication Types

Select...
2
1

Relationship

0
3

Authors

Journals

citations
Cited by 3 publications
(9 citation statements)
references
References 16 publications
0
9
0
Order By: Relevance
“…In Proposition 5, we show that the concepts of semi-stable and semitwo-valued semantics coincide in the associated ADF of a given AF, intuitively, since in AFs there cannot be a support cycle. Alcântara and Sá (2018) have also considered the semistable semantics for ADFs. To prevent confusion with the notion of semi-stable semantics presented in the current work, we call their notion semi-stable2 semantics, abbreviated SSS2.…”
Section: Discussionmentioning
confidence: 99%
See 2 more Smart Citations
“…In Proposition 5, we show that the concepts of semi-stable and semitwo-valued semantics coincide in the associated ADF of a given AF, intuitively, since in AFs there cannot be a support cycle. Alcântara and Sá (2018) have also considered the semistable semantics for ADFs. To prevent confusion with the notion of semi-stable semantics presented in the current work, we call their notion semi-stable2 semantics, abbreviated SSS2.…”
Section: Discussionmentioning
confidence: 99%
“…In particular, in their discussion, the characteristic operator Γ D and in addition, the semantics of ADFs, and specifically the complete semantics, have not been presented in the way as introduced by Brewka and Woltran (2018;. For instance, by their deviating definition of complete labelling (Alcântara and Sá 2018), only {¬a, ¬b} is a complete labelling/grounded model of D = ({a, b}, {ϕ a : b, ϕ b : a}). Hence-unlike the standard definitions-the set of preferred labellings of D is in their approach not a subset of the set of complete labellings of D, and the unique grounded labelling {} is not a complete labelling.…”
Section: Discussionmentioning
confidence: 99%
See 1 more Smart Citation
“…• ADFs are expressive enough to model non-monotonic knowledge representation languages, as investigated in (Alcântara and Sá, 2018;Heyninck et al, 2020).…”
Section: Abstract Dialectical Frameworkmentioning
confidence: 99%
“…In Section 5.4, we present the conclusion of our work. Furthermore, we briefly discuss a related research, in particular, (Alcântara and Sá, 2018) has also proposed a notion of semi-stable semantics for ADFs.…”
Section: Requirements Of Semi-stable Semanticsmentioning
confidence: 99%