Redundancy in Logic III: Non-Mononotonic Reasoning
arXiv:cs/0507048 · doi:10.1016/j.artint.2008.02.003
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.
minor corrections