3 citations · 4 across the 4 of their papers we have counts for
4 papers
Tree-Like Justification Systems are Consistent
Simon Marynissen, Bart Bogaerts
Justification theory is an abstract unifying formalism that captures semantics of various non-monotonic logics. One intriguing problem that has received significant attention is th…
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…
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…
Extensions to Justification Theory
Simon Marynissen
Justification theory is a unifying framework for semantics of non-monotonic logics. It is built on the notion of a justification, which intuitively is a graph that explains the tru…