<div class="csl-bib-body">
<div class="csl-entry">Buraglio, G., Dvorak, W., & Woltran, S. (2025). On Strong Equivalence Notions in Logic Programming and Abstract Argumentation. In <i>Proceedings of the 8th Workshop on Trends and Applications of Answer Set Programming (TAASP 2025)</i>. Workshop on Trends and Applications of Answer Set Programming (TAASP 2025), Vienna, Austria.</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/226142
-
dc.description.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
dc.language.iso
en
-
dc.subject
Strong Equivalence
en
dc.subject
Logic Programming
en
dc.subject
Abstract Argumentation
en
dc.title
On Strong Equivalence Notions in Logic Programming and Abstract Argumentation
en
dc.type
Inproceedings
en
dc.type
Konferenzbeitrag
de
dc.type.category
Full-Paper Contribution
-
tuw.booktitle
Proceedings of the 8th Workshop on Trends and Applications of Answer Set Programming (TAASP 2025)
-
tuw.peerreviewed
true
-
tuw.researchTopic.id
I1
-
tuw.researchTopic.name
Logic and Computation
-
tuw.researchTopic.value
100
-
tuw.publication.orgunit
E192-02 - Forschungsbereich Databases and Artificial Intelligence
-
tuw.publication.orgunit
E056-13 - Fachbereich LogiCS
-
tuw.publication.orgunit
E056-23 - Fachbereich Innovative Combinations and Applications of AI and ML (iCAIML)
-
tuw.publication.orgunit
E056-27 - Fachbereich Digital Humanism
-
dc.description.numberOfPages
3
-
tuw.author.orcid
0000-0002-2269-8193
-
tuw.author.orcid
0000-0003-1594-8972
-
tuw.event.name
Workshop on Trends and Applications of Answer Set Programming (TAASP 2025)
en
tuw.event.startdate
24-11-2025
-
tuw.event.enddate
25-11-2025
-
tuw.event.online
On Site
-
tuw.event.type
Event for scientific audience
-
tuw.event.place
Vienna
-
tuw.event.country
AT
-
tuw.event.presenter
Dvorak, Wolfgang
-
tuw.event.track
Single Track
-
wb.sciencebranch
Informatik
-
wb.sciencebranch
Mathematik
-
wb.sciencebranch.oefos
1020
-
wb.sciencebranch.oefos
1010
-
wb.sciencebranch.value
80
-
wb.sciencebranch.value
20
-
item.openairecristype
http://purl.org/coar/resource_type/c_5794
-
item.fulltext
no Fulltext
-
item.languageiso639-1
en
-
item.grantfulltext
none
-
item.openairetype
conference paper
-
item.cerifentitytype
Publications
-
crisitem.author.dept
E192-02 - Forschungsbereich Databases and Artificial Intelligence
-
crisitem.author.dept
E192-02 - Forschungsbereich Databases and Artificial Intelligence
-
crisitem.author.dept
E192-02 - Forschungsbereich Databases and Artificial Intelligence
