![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Chapter and Conference Paper
A History-Based Algebra for Quality-Checking Medical Guidelines
In this paper, we propose a formal theory to describe the development of medical guideline text in detail, but at a sufficiently high level abstraction, in such way that essential elements of the guidelines ar...
-
Chapter and Conference Paper
The Role of Model Checking in Critiquing Based on Clinical Guidelines
Medical critiquing systems criticise clinical actions performed by a physician. In order to provide useful feedback, an important task is to find differences between the actual actions and a set of ‘ideal’ act...
-
Chapter and Conference Paper
Toward Probabilistic Analysis of Guidelines
In the formal analysis of health-care, there is little work that combines probabilistic and temporal reasoning. On the one hand, there are those that aim to support the clinical thinking process, which is char...
-
Chapter and Conference Paper
Understanding the Co-occurrence of Diseases Using Structure Learning
Multimorbidity, i.e., the presence of multiple diseases within one person, is a significant health-care problem for western societies: diagnosis, prognosis and treatment in the presence of of multiple diseases...
-
Chapter and Conference Paper
Discovering Probabilistic Structures of Healthcare Processes
Medical protocols and guidelines can be looked upon as concurrent programs, where the patient’s state dynamically changes over time. Methods based on verification and model-checking developed in the past have ...
-
Chapter and Conference Paper
Mining Hierarchical Pathology Data Using Inductive Logic Programming
Considerable amounts of data are continuously generated by pathologists in the form of pathology reports. To date, there has been relatively little work exploring how to apply machine learning and data mining ...
-
Chapter and Conference Paper
Hybrid Time Bayesian Networks
Capturing heterogeneous dynamic systems in a probabilistic model is a challenging problem. A single time granularity, such as employed by dynamic Bayesian networks, provides insufficient flexibility to capture...