1 citations · 3 across the 4 of their papers we have counts for
5 papers · 1 filter
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…
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…
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…
Reasoning by Cases in Structured Argumentation
Mathieu Beirlaen, Jesse Heyninck, Christian Straßer
We extend the framework for structured argumentation so as to allow applications of the reasoning by cases inference scheme for defeasible arguments. Given an argument wi…
Relations between assumption-based approaches in nonmonotonic logic and formal argumentation
Jesse Heyninck, Christian Straßer
In this paper we make a contribution to the unification of formal models of defeasible reasoning. We present several translations between formal argumentation frameworks and nonmon…