Founded World Views with Autoepistemic Equilibrium Logic

Open in new window