Hierarchic autoepistemic theories for nonmonotonic reasoning (1988)

by K Konolige
Venue:In Proc. AAAI