Skip to main content

and
Your search also matched 22 preview-only Content is preview-only when you or your institution have not yet subscribed to it.

By making our abstracts and previews universally accessible we help you purchase only the content that is relevant to you.
results, e.g.

Meta-level Verification of the Quality of Medical Guidelines Using Interactive Theorem Proving

Include preview-only content
  1. Chapter and Conference Paper

    Integrating Logical Reasoning and Probabilistic Chain Graphs

    Probabilistic logics have attracted a great deal of attention during the past few years. While logical languages have taken a central position in research on knowledge representation and automated reasoning, p...

    Arjen Hommersom, Nivea Ferreira in Machine Learning and Knowledge Discovery i… (2009)

  2. Chapter and Conference Paper

    Correction to: Gaining Insight into Determinants of Physical Activity Using Bayesian Network Learning

    “Gaining Insight into Determinants of Physical Activity Using Bayesian Network Learning” was previously published non-open access. It has now been changed to open access under a CC BY 4.0 license and the copyr...

    Simone C. M. W. Tummers, Arjen Hommersom in Artificial Intelligence and Machine Learni… (2021)

  3. Chapter and Conference Paper

    Gaining Insight into Determinants of Physical Activity Using Bayesian Network Learning

    Bayesian network modelling is applied to health psychology data in order to obtain more insight into the determinants of physical activity. This preliminary study discusses some challenges to apply general mac...

    Simone C. M. W. Tummers, Arjen Hommersom in Artificial Intelligence and Machine Learni… (2021)