Reasoning with Justifiable Exceptions in Contextual Hierarchies (Appendix)
Artificial Intelligence
2018-08-07 v1 Logic in Computer Science
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.
Cite
@article{arxiv.1808.01874,
title = {Reasoning with Justifiable Exceptions in Contextual Hierarchies (Appendix)},
author = {Loris Bozzato and Luciano Serafini and Thomas Eiter},
journal= {arXiv preprint arXiv:1808.01874},
year = {2018}
}
Comments
Appendix to the paper "Reasoning with Justifiable Exceptions in Contextual Hierarchies", accepted to the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018)