activity
20162023
most citedRelations between assumption-based approaches in nonmonotonic logic and formal argumentation

10 citations · 15 across the 8 of their papers we have counts for

collaborators

8 papers

cs.AI2023

Ranking-based Argumentation Semantics Applied to Logical Argumentation (full version)

Jesse Heyninck, Badran Raddaoui, Christian Straßer

In formal argumentation, a distinction can be made between extension-based semantics, where sets of arguments are either (jointly) accepted or not, and ranking-based semantics, whe…

cs.AI2023

Argumentative Characterizations of (Extended) Disjunctive Logic Programs

Jesse Heyninck, Ofer Arieli

This paper continues an established line of research about the relations between argumentation theory, particularly assumption-based argumentation, and different kinds of logic pro…

cs.AI2023★ 2 cited

Non-deterministic approximation operators: ultimate operators, semi-equilibrium semantics and aggregates (full version)

Jesse Heyninck, Bart Bogaerts

Approximation fixpoint theory (AFT) is an abstract and general algebraic framework for studying the semantics of non-monotonic logics. In recent work, AFT was generalized to non-de…

cs.AI2022★ 1 cited

Non-Deterministic Approximation Fixpoint Theory and Its Application in Disjunctive Logic Programming

Jesse Heyninck, Ofer Arieli, Bart Bogaerts

Approximation fixpoint theory (AFT) is an abstract and general algebraic framework for studying the semantics of nonmonotonic logics. It provides a unifying study of the semantics…

cs.AI2022★ 1 cited

On Nested Justification Systems (full version)

Simon Marynissen, Jesse Heyninck, Bart Bogaerts +1

Justification theory is a general framework for the definition of semantics of rule-based languages that has a high explanatory potential. Nested justification systems, first intro…

cs.AI2017★ 1 cited

Assumption-Based Approaches to Reasoning with Priorities

Jesse Heyninck, Christian Straßer, Pere Pardo

This paper maps out the relation between different approaches for handling preferences in argumentation with strict rules and defeasible assumptions by offering translations betwee…