Hierarchic Autoepistemic Theories for Nonmonotonic Reasoning (1988)

by K Konolige
Venue:In Proc. AAAI ’88