Symbolic revision of theories with M-of-N rules (1993)

by P Baffes
Venue:In Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence