On Nested Justification Systems

Simon Marynissen, Jesse Heyninck, Bart Bogaerts, Marc Denecker

Onderzoeksoutput: Articlepeer review

2 Citaten (Scopus)
9 Downloads (Pure)


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.
Originele taal-2English
Pagina's (van-tot)641-657
Aantal pagina's17
TijdschriftTheory and Practice of Logic Programming
Nummer van het tijdschrift5
StatusPublished - 11 sep 2022
Evenement38th International Conference on Logic Programming
- Haifa, Israel
Duur: 31 aug 20216 sep 2022
Congresnummer: 38

Bibliografische nota

Funding Information:
This research was supported by the Flemish Government in the “Onderzoeksprogramma ArtificiËle Intelligentie (AI) Vlaanderen” programme and by the FWO Flanders project G0B2221N.

Publisher Copyright:
© 2022 Cambridge University Press. All rights reserved.

Copyright 2022 Elsevier B.V., All rights reserved.


Duik in de onderzoeksthema's van 'On Nested Justification Systems'. Samen vormen ze een unieke vingerafdruk.

Citeer dit