A Generic Graphic Framework for Combining Inference Tools and Editing Proofs and Formulae.

Ricardo Caferra Michel Herment

Published in: J. Symb. Comput. (1995)

Keyphrases

conceptual framework
analysis tool
domain specific
decision support
database
neural network
machine learning
probabilistic model
theoretical framework
belief networks
bayesian model
generic model
inference process