4 papers
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…
Epistemic Logic Programs: Non-Ground and Counting Complexity
Thomas Eiter, Johannes K. Fichte, Markus Hecher +1
Answer Set Programming (ASP) is a prominent problem-modeling and solving framework, whose solutions are called answer sets. Epistemic logic programs (ELP) extend ASP to reason abou…