Sciweavers

IJCAI
1993
13 years 6 months 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