and Miroslaw Truszczy'nski. Relating autoepistemic and default logic (1989)

by Wiktor Marek
Venue:Proc. of the First Int'l Conf. on Principles of Knowledge Representation and Reasoning