Computing extensions of autoepistemic and default logics with a truth maintenance system (0)

by U Junker, K Konolige
Venue:in Proc. 8th National Conf. on Artificial Intelligence