An automated reasoning framework for translational research.

Alberto Riva Angelo Nuzzo Mario Stefanelli Riccardo Bellazzi

Published in: J. Biomed. Informatics (2010)

Keyphrases

automated reasoning
theorem prover
machine learning
artificial intelligence
knowledge representation
probabilistic model
general purpose
neural network
data mining
learning algorithm
high level
training set
theorem proving
probabilistic reasoning
reasoning systems