Adapting Classical Inference Techniques to Multiple-Valued Logics Using Signed Formulas.

Neil V. Murray Erik Rosenthal

Published in: Fundam. Informaticae (1994)

Keyphrases

valued logic
relational databases
classical logic
real time
machine learning
pattern recognition
special case
general purpose
probabilistic inference