Reasoning with Justifiable Exceptions in Contextual Hierarchies (Appendix)
arXiv:1808.01874v13 citations
Originality Synthesis-oriented
AI Analysis
It offers supplementary technical information for researchers working on logical reasoning and knowledge representation, but it is incremental as it builds directly on the main paper.
This appendix provides additional details on the language, complexity results, and datalog translation for a method that tackles reasoning with justifiable exceptions in contextual hierarchies, as introduced in the main paper.
This paper is an appendix to the paper "Reasoning with Justifiable Exceptions in Contextual Hierarchies" by Bozzato, Serafini and Eiter, 2018. It provides further details on the language, the complexity results and the datalog translation introduced in the main paper.