On the relation between default and autoepistemic logic (1988)

by K Konolige
Venue:Artif. Intell