Reasoning about Conditional Beliefs for the Winograd Schema Challenge
All I know: a study in autoepistemic logic