Redundancy in Logic III: Non-Mononotonic Reasoning
<|reference_start|>Redundancy in Logic III: Non-Mononotonic Reasoning: 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.<|reference_end|>
@article{liberatore2005redundancy,
    title={Redundancy in Logic III: Non-Mononotonic Reasoning},
    author={Paolo Liberatore},
    journal={arXiv preprint arXiv:cs/0507048},
    year={2005},
    doi={10.1016/j.artint.2008.02.003},
    archivePrefix={arXiv},
    eprint={cs/0507048},
    primaryClass={cs.LO cs.AI cs.CC}
}