On Nested Justification Systems

DOI10.1017/S1471068422000266OpenAlexW4285013700MaRDI QIDQ5038468

Simon Marynissen, Bart Bogaerts, Jesse Heyninck, Marc Denecker

Publication date: 30 September 2022

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

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

zbMATH Keywords

knowledge representationmodularjustification

Mathematics Subject Classification ID

Logic programming (68N17)

Cites Work

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

This page was built for publication: On Nested Justification Systems