Relating autoepistemic and default logics (1989)

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