David A. Wolfram

Learn More
INTERNIST-I was an expert system designed in the early 1970's to diagnose multiple diseases in internal medicine by modelling the behaviour of clinicians. Its form and operation are described, and evaluations of the system are surveyed. The major result of the project was its knowledge base which has been used in successor systems for medical education and(More)
Kimba is the rst model generation program which implements a semi-decision procedure for nite satissability of rst-order logics with nitely many truth values. The procedure enumerates the nite models of its input and can be used to compute eeciently domain minimal models whose positive part is minimal in size. Kimba has been implemented in the constraint(More)