Between circumscription and autoepistemic logic (1989)

by V Lifschitz
Venue:In Proceedings of the 1st International Conference on Principles of Knowledge Representation and Reasoning