C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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