On Nested Justification Systems

Simon Marynissen, Jesse Heyninck, Bart Bogaerts, Marc Denecker

Research output: Contribution to journalConference Article in journalAcademicpeer-review


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 introduced by Denecker et al., allow for the composition of justification systems. This notion of nesting thus enables the modular definition of semantics of rule-based languages, and increases the representational capacities of justification theory. As we show in this paper, the original characterization of semantics for nested justification systems leads to the loss of information relevant for explanations. In view of this problem, we provide an alternative characterization of their semantics and show that it is equivalent to the original one. Furthermore, we show how nested justification systems allow representing fixpoint definitions.
Original languageEnglish
Pages (from-to)641-657
Number of pages17
JournalTheory and Practice of Logic Programming
Issue number5
Publication statusPublished - Sept 2022
Event38th International Conference on Logic Programming - Haifa, Israel
Duration: 31 Jul 20226 Aug 2022


  • justification
  • knowledge representation
  • modular


Dive into the research topics of 'On Nested Justification Systems'. Together they form a unique fingerprint.

Cite this