Between circumscription and autoepistemic logic (1989)

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