Autoepistemic logic as a unified basis for nonmonotonic reasoning | lit.salon