Theory reduction, theory revision, and retranslation (1990)

by A Ginsberg
Venue:in Proceedings of the Eighth National Conference onArti cial Intelligence