Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!seismo!husc6!rutgers!ames!sdcsvax!ucbvax!NUSVM.BITNET!ISCLIMEL
From: ISCLIMEL@NUSVM.BITNET (Eng-Lian Lim)
Newsgroups: comp.ai.digest
Subject: References on consistency and completeness checking
Message-ID: <8705210532.AA19161@ucbvax.Berkeley.EDU>
Date: Thu, 21-May-87 01:32:48 EDT
Article-I.D.: ucbvax.8705210532.AA19161
Posted: Thu May 21 01:32:48 1987
Date-Received: Sat, 23-May-87 09:41:07 EDT
Sender: daemon@ucbvax.BERKELEY.EDU
Distribution: world
Organization: The ARPA Internet
Lines: 10
Approved: ailist@stripe.sri.com

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