Reasoning with Justifiable Exceptions in Contextual Hierarchies (Appendix)
Loris Bozzato, Luciano Serafini, Thomas Eiter
TL;DR
This appendix provides detailed language definitions, complexity analysis, and datalog translation for the main paper on reasoning with justifiable exceptions in contextual hierarchies.
Contribution
It offers supplementary technical details, including formal language syntax, complexity results, and translation methods, enhancing the main paper's contributions.
Findings
Formal language and complexity results detailed
Datalog translation method explained
Supplementary technical insights provided
Abstract
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, Reasoning, and Knowledge · Multi-Agent Systems and Negotiation · Semantic Web and Ontologies