On Nested Justification Systems

DOI10.1017/S1471068422000266MaRDI QIDQ5038468zbMATH OpenOpenAlexFDO

Authors Simon Marynissen, Jesse Heyninck, Bart Bogaerts, Marc Denecker

Publication date 30 September 2022

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/2205.04541

zbMATH Keywords

justificationknowledge representationmodular

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• A formal theory of justifications
• The ontology of justifications in the logical setting
• Tree-like justification systems are consistent
• scientific article; zbMATH DE number 7121940
• Embedding justification theory in approximation fixpoint theory

Cites work

• \(FO(FD)\): extending classical logic with rule-based fixpoint definitions
• A formal theory of justifications
• Exploiting Game Theory for Analysing Justifications
• Reactive multi-context systems: heterogeneous reasoning in dynamic environments
• Semantics and complexity of recursive aggregates in answer set programming
• Vicious circle principle, aggregates, and formation of sets in ASP based languages
• Well-founded and stable semantics of logic programs with aggregates

Cited in

(4)

• On degrees of justification
• Tree-like justification systems are consistent
• Embedding justification theory in approximation fixpoint theory
• The XAI system for answer set programming xASP2

This page was built for publication: On Nested Justification Systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5038468)