Sciweavers

IJCAI
1993
14 years 23 days ago
Symbolic Revision of Theories with M-of-N Rules
This paper presents a major revision of the Either propositional theory re nement system. Two issues are discussed. First, we show howrun timee ciency can be greatlyimproved by ch...
Paul T. Baffes, Raymond J. Mooney