Hierarchic autoepistemic theories for nonmonotonic reasoning (1988)

by K Konolige
Venue:in: Proceedings of the National Conference on Artificial Intelligence