All I know: a study in autoepistemic logic (1990)

by H J Levesque
Venue:Artificial Intelligence