Introduces a new strong equivalence notion for logic programs that preserves equivalence under translation to Dung-style and claim-augmented argumentation frameworks despite differing update operations.
Journal of Logic and Computation30(5), 1063–1107 (2020)
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.AI 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
On Strong Equivalence Notions in Logic Programming and Abstract Argumentation
Introduces a new strong equivalence notion for logic programs that preserves equivalence under translation to Dung-style and claim-augmented argumentation frameworks despite differing update operations.