Login / Signup
First-Order Logic Theory for Manipulating Clinical Practice Guidelines Applied to Comorbid Patients: A Case Study.
Martin Michalowski
Szymon Wilk
Xing Tan
Wojtek Michalowski
Published in:
AMIA (2014)
Keyphrases
</>
first order logic
expressive power
theorem proving
knowledge representation
theorem prover
inference rules
probabilistic reasoning
representation language
formal semantics
quantifier free
inductive logic programming
transitive closure
markov logic
x ray
metadata
knowledge discovery
markov logic networks