On the relation between autoepistemic logic and circumscriptionThe Saphira architecture: A design for autonomy
