Foundations of Biomedical Knowledge Representation
Methods and Applications
Chapter and Conference Paper
Requirements about the quality of medical guidelines can be represented using schemata borrowed from the theory of abductive diagnosis, using temporal logic to model the time-oriented aspects expressed in a gu...
Chapter and Conference Paper
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
We present a model-theoretic approach for reasoning about security protocols, applying recent insights from dynamic epistemic logics. This enables us to describe exactly the subsequent epistemic states of the ...
Chapter and Conference Paper
The use of a medical guideline can be seen as the execution of computational tasks, sequentially or in parallel, in the face of patient data. It has been shown that many of such guidelines can be represented a...
Chapter and Conference Paper
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
Failures are unavoidable in many circumstances. For example, an agent may fail at some point to perform a task in a dynamic environment. Robust systems typically have mechanisms to handle such failures. Tempor...
Chapter and Conference Paper
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...
Chapter and Conference Paper
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
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
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
The theory of causal independence is frequently used to facilitate the assessment of the probabilistic parameters of probability distributions of Bayesian networks. Continuous time Bayesian networks are a rela...
Book
Chapter
The recommendation task, intended as the task of supporting physicians in their activity (and, in particular, in decision making) by providing them indications of the most appropriate way of treating patients,...
Chapter and Conference Paper
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
Biology and medicine are very rich knowledge domains in which already at an early stage in their scientific development it was realised that without a proper way to organise this knowledge they would inevitabl...
Chapter and Conference Paper
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...
Chapter
Computer Interpretable Guidelines (CIGs) are assuming a major role in the medical area, in order to enhance the quality of medical assistance by providing physicians with evidence-based recommendations. Howeve...
Chapter
Healthcare and medicine are, and have always been, very knowledge-intensive fields. Healthcare professionals use knowledge of the structure (molecular biology, cell biology, histology, gross anatomy) and funct...
Chapter and Conference Paper
Bayesian networks are attractive for develo** prognostic models in medicine, due to the possibility for modelling the multivariate relationships between variables that come into play in the care process. In ...
Chapter and Conference Paper
The current availability of large volumes of health care data makes it a promising data source to new views on disease interaction. Most of the times, patients have multiple diseases instead of a single one (a...