A Decision Procedure for Common Lisp's SUBTYPEP Predicate.

Published in: LISP Symb. Comput. (1992)

Keyphrases

decision making
decision makers
database
decision rules
databases
learning algorithm
decision process
iterative procedure
information retrieval
probabilistic model
first order logic