10 citations · 15 across the 8 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
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…