7 citations · 15 across the 8 of their papers we have counts for
4 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…
Efficiently Explaining CSPs with Unsatisfiable Subset Optimization
Emilio Gamba, Bart Bogaerts, Tias Guns
We build on a recently proposed method for explaining solutions of constraint satisfaction problems. An explanation here is a sequence of simple inference steps, where the simplici…
Exploiting Game Theory for Analysing Justifications
Simon Marynissen, Bart Bogaerts, Marc Denecker
Justification theory is a unifying semantic framework. While it has its roots in non-monotonic logics, it can be applied to various areas in computer science, especially in explain…