Record link: 
http://hdl.handle.net/20.500.12708/226142
-
Title: 
On Strong Equivalence Notions in Logic Programming and Abstract Argumentation
en
Citation: 
Buraglio, G., Dvorak, W., & Woltran, S. (2025). On Strong Equivalence Notions in Logic Programming and Abstract Argumentation. In Proceedings of the 8th Workshop on Trends and Applications of Answer Set Programming (TAASP 2025). Workshop on Trends and Applications of Answer Set Programming (TAASP 2025), Vienna, Austria.
-
Publication Type: 
Inproceedings - Full-Paper Contribution
en
Language: 
English
-
Authors: 
Buraglio, Giovanni 
Dvorak, Wolfgang 
Woltran, Stefan 
-
Organisational Unit: 
E192-02 - Forschungsbereich Databases and Artificial Intelligence 
E056-13 - Fachbereich LogiCS 
E056-23 - Fachbereich Innovative Combinations and Applications of AI and ML (iCAIML) 
E056-27 - Fachbereich Digital Humanism 
-
Published in: 
Proceedings of the 8th Workshop on Trends and Applications of Answer Set Programming (TAASP 2025) 
-
Date (published): 
25-Nov-2025
-
Event name: 
Workshop on Trends and Applications of Answer Set Programming (TAASP 2025) 
en
Event date: 
24-Nov-2025 - 25-Nov-2025
-
Event place: 
Vienna, Austria
-
Number of Pages: 
3
-
Peer reviewed: 
Yes
-
Keywords: 
Strong Equivalence; Logic Programming; Abstract Argumentation
en
Abstract: 
We summarize our recent work on strong equivalence notions in Logic Programming and Abstract Argumentation [2]. While (classes of) logic programs and argumentation frameworks are known to be semantically equivalent in static settings, this alignment breaks in dynamic contexts due to differing notions of update. As a result, strong equivalence does not always carry over from one formalism to the other. Motivated by this discrepancy we investigate a new notion of strong equivalence for certain classes of logic programs which is preserved under translation to and from argumentation frameworks, thus restoring compatibility across these formalisms.
en
Research Areas: 
Logic and Computation: 100%
-
Science Branch: 
1020 - Informatik: 80%
1010 - Mathematik: 20%
-
Appears in Collections:
Conference Paper

Show full item record

Page view(s)

9
checked on Feb 9, 2026

Google ScholarTM

Check