Redundancy in Logic III: Non-Mononotonic Reasoning
Logic in Computer Science
2021-04-12 v2 Artificial Intelligence
Computational Complexity
Abstract
Results about the redundancy of circumscriptive and default theories are presented. In particular, the complexity of establishing whether a given theory is redundant is establihsed.
Keywords
Cite
@article{arxiv.cs/0507048,
title = {Redundancy in Logic III: Non-Mononotonic Reasoning},
author = {Paolo Liberatore},
journal= {arXiv preprint arXiv:cs/0507048},
year = {2021}
}
Comments
minor corrections