The BernaysSchnfinkel Fragment of FirstOrder Autoepistemic Logic
https://www.powershow.com/view1/1fa40b-ZDc1Z/The_BernaysSchnfinkel_Fragment_of_FirstOrder_Autoepistemic_Logic_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/