2 papers
cs.AI2025
Grounding Rule-Based Argumentation Using Datalog
Martin Diller, Sarah Alice Gaggl, Philipp Hanisch +2
ASPIC+ is one of the main general frameworks for rule-based argumentation for AI. Although first-order rules are commonly used in ASPIC+ examples, most existing approaches to reaso…
cs.AI2019
Solving Advanced Argumentation Problems with Answer Set Programming
Gerhard Brewka, Martin Diller, Georg Heissenberger +2
Powerful formalisms for abstract argumentation have been proposed, among them abstract dialectical frameworks (ADFs) that allow for a succinct and flexible specification of the rel…