Where Fail-Safe Default Logics Fail
<|reference_start|>Where Fail-Safe Default Logics Fail: Reiter's original definition of default logic allows for the application of a default that contradicts a previously applied one. We call failure this condition. The possibility of generating failures has been in the past considered as a semantical problem, and variants have been proposed to solve it. We show that it is instead a computational feature that is needed to encode some domains into default logic.<|reference_end|>
@article{liberatore2004where,
    title={Where Fail-Safe Default Logics Fail},
    author={Paolo Liberatore},
    journal={arXiv preprint arXiv:cs/0403032},
    year={2004},
    doi={10.1145/1227839.1227842},
    archivePrefix={arXiv},
    eprint={cs/0403032},
    primaryClass={cs.AI cs.LO}
}