ISCLIMEL@NUSVM.BITNET (Eng-Lian Lim) (05/21/87)
WANTED!!! I urgently need references on consistency and completeness checking on rule-based expert systems with 1st order predicates, including possible reasoning and approximate reasoning. Many thanks in advance... Regards - Eng-Lian Lim MAIL TO: ISCLIMEL@NUSVM <--- BitNet