A Compact In-Memory Dictionary for RDF Data

A Conceptual Model for Detecting Interactions among Medical Recommendations in Clinical Guidelines

A Topic-centric Approach to Detecting New Evidences for Evidence-based Medical Guidelines

article

A quantitative analysis of the robustness of knowledge-based systems through degradation studies

A study of PROforma, a development methodology for clinical procedures

scientific article (publication date: October 1999)

Analyzing Recommendations Interactions in Clinical Guidelines

article published in 2015

Analyzing interactions on combining multiple clinical guidelines

scientific article published on 11 April 2017

Automated generation of patient-tailored electronic care pathways by translating computer-interpretable guidelines into hierarchical task networks

scientific article

Barriers to the reuse of routinely recorded clinical data: a field report

scientific article

Combining Machine Learning and Semantic Web: A Systematic Mapping Study

scientific article published on 17 July 2023

Configuration of Web Services as Parametric Design

Detecting New Evidence for Evidence-Based Guidelines Using a Semantic Distance Method

article

Enhancing reuse of structured eligibility criteria and supporting their relaxation

scientific article published on 23 May 2015

Evidence-Based Clinical Guidelines in SemanticCT

article

Experiences in the Formalisation and Verification of Medical Protocols

article

Explainable Phenotype-Centric Drug Repurposing via Deep Reinforcement Learning ⬇️

Exploiting thesauri knowledge in medical guideline formalization

scientific article published on 15 May 2009

Extraction and use of linguistic patterns for modelling medical guidelines

scientific article

Formal Support for Development of Knowledge-Based Systems

article

Formalisation for decision support in anaesthesiology

scientific article published in November 1997

Formalising Medical Quality Indicators to Improve Guidelines

Formalization and computation of quality measures based on electronic medical records

scientific article (publication date: 2014)

Formally Verifying Dynamic Properties of Knowledge Based Systems

Fostering Scientific Meta-analyses with Knowledge Graphs: A Case-Study

scientific article published in 2020

From Informal Knowledge to Formal Logic: A Realistic Case Study in Medical Protocols

From Natural Language to Formal Proof Goal

Generalizing the Detection of Internal and External Interactions in Clinical Guidelines

Identification of patients at risk for colorectal cancer in primary care: an explorative study with routine healthcare data

scientific article

Identifying Disease-Centric Subdomains in Very Large Medical Ontologies: A Case-Study on Breast Cancer Concepts in SNOMED CT. Or: Finding 2500 Out of 300.000

Identifying Evidence Quality for Updating Evidence-Based Medical Guidelines

article

Improving medical protocols by formal methods

scientific article

Inferring recommendation interactions in clinical guidelines1

Influence of data quality on computed Dutch hospital quality indicators: a case study in colorectal cancer surgery

scientific article

Informal and Formal Medical Guidelines: Bridging the Gap

article

Knowledge Engineering Rediscovered: Towards Reasoning Patterns for the Semantic Web

Knowledge Representation for Health Care

Knowledge Representation for Health Care

article

Knowledge Representation for Health-Care

Knowledge Representation for Health-Care. Data, Processes and Guidelines

article

Knowledge Services Using Rule-Based Formalization for Eligibility Criteria of Clinical Trials

Knowledge engineering rediscovered

Knowledge-Based Patient Data Generation

article

Machine Learning Explainability in Breast Cancer Survival

scientific article published on 01 June 2020

Marvin : Distributed reasoning over large-scale Semantic Web data

article by Eyal Oren et al published December 2009 in Journal of Web Semantics

Ontology-Driven Extraction of Linguistic Patterns for Modelling Clinical Guidelines

Patterns of Clinical Trial Eligibility Criteria

Predictive modeling of colorectal cancer using a dedicated pre-processing pipeline on routine electronic medical records

scientific article published on 22 June 2016

Protocure: supporting the development of medical protocols through formal methods

scientific article

Reasoning about Repairability of Workflows at Design Time

Rule-Based Formalization of Eligibility Criteria for Clinical Trials

article

Semantic Representation of Evidence-Based Clinical Guidelines

article

SemanticCT: A Semantically-Enabled System for Clinical Trials

Structured Representations for Narratives

The Role of Model Checking in Critiquing Based on Clinical Guidelines

The Semantic Web: Research and Applications: 7th Extended Semantic Web Conference, ESWC 2010, Heraklion, Crete, Greece, May 30 – June 3, 2010, Proceedings, Part II

ESWC 2010 proceedings, part II

Towards a Conceptual Model for Enhancing Reasoning About Clinical Guidelines

Using Critiquing for Improving Medical Protocols: Harder than It Seems

Using model checking for critiquing based on clinical guidelines

scientific article

Using reflection techniques for flexible problem solving (with examples from diagnosis)

article