All I Know: A Study in Autoepistemic Logic

Cite this paper

@article{Levesque1990AllIK, title={All I Know: A Study in Autoepistemic Logic}, author={Hector J. Levesque}, journal={Artif. Intell.}, year={1990}, volume={42}, pages={263-309} }