55 citations · 277 across the 43 of their papers we have counts for
29 papers · 1 filter
On Strong Equivalence Notions in Logic Programming and Abstract Argumentation
Giovanni Buraglio, Wolfgang Dvorak, Stefan Woltran
Strong equivalence between knowledge bases ensures the possibility of replacing one with the other without affecting reasoning outcomes, in any given context. This makes it a cruci…
Splitting Assumption-Based Argumentation Frameworks
Giovanni Buraglio, Wolfgang Dvorak, Stefan Woltran
Assumption-Based Argumentation (ABA) is a well-established formalism for modelling and reasoning over debates, with a wide range of applications. However, the high computational co…
Automated Hybrid Grounding Using Structural and Data-Driven Heuristics
Alexander Beiser, Markus Hecher, Stefan Woltran
The grounding bottleneck poses one of the key challenges that hinders the widespread adoption of Answer Set Programming in industry. Hybrid Grounding is a step in alleviating the b…
A Unified View on Forgetting and Strong Equivalence Notions in Answer Set Programming
Zeynep G. Saribatur, Stefan Woltran
Answer Set Programming (ASP) is a prominent rule-based language for knowledge representation and reasoning with roots in logic programming and non-monotonic reasoning. The aim to c…
Rediscovering Argumentation Principles Utilizing Collective Attacks
Wolfgang Dvořák, Matthias König, Markus Ulbricht +1
Argumentation Frameworks (AFs) are a key formalism in AI research. Their semantics have been investigated in terms of principles, which define characteristic properties in order to…
The Effect of Preferences in Abstract Argumentation Under a Claim-Centric View
Michael Bernreiter, Wolfgang Dvorak, Anna Rapberger +1
In this paper, we study the effect of preferences in abstract argumentation under a claim-centric perspective. Recent work has revealed that semantical and computational properties…