Relating autoepistemic and default logics (1989)

by V W Marek, M Truszczyński
Venue:In Proceedings of the 1st International Conference on Principles of Knowledge Representation and Reasoning