Epistemic entrenchment in autoepistemic logic (1992)

by C Boutilier
Venue:Fundamenta Informaticae