A Framework for Automated Reasoning in Multiple-Valued Logics.

James J. Lu Neil V. Murray Erik Rosenthal

Published in: J. Autom. Reason. (1998)

Keyphrases

automated reasoning
valued logic
probabilistic model
reasoning tasks
neural network