Between Circumscription and Autoepistemic Logic

Cite this paper

@inproceedings{Lifschitz1989BetweenCA, title={Between Circumscription and Autoepistemic Logic}, author={Vladimir Lifschitz}, booktitle={KR}, year={1989} }