A Task-Specific Ontology for the Application and Critiquing of Time-Oriented Clinical Guidelines

Integration of Temporal Reasoning and Temporal-Data Maintenance into a Reusable Database Mediator to Answer Abstract, Time-Oriented Queries: The Tzolkin System

Journal of Intelligent Information Systems - Special issue on integrating artificial intelligene and database technologies

The Role of Model Checking in Critiquing Based on Clinical Guidelines

AIME '07 Proceedings of the 11th conference on Artificial Intelligence in Medicine

Using model checking for critiquing based on clinical guidelines

Artificial Intelligence in Medicine

Versioning computer-interpretable guidelines: Semi-automatic modeling of 'Living Guidelines' using an information extraction method

Artificial Intelligence in Medicine

A benchmark for evaluating software engineering techniques for improving medical processes

Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care

From natural language to formal proof goal

EKAW'06 Proceedings of the 15th international conference on Managing Knowledge in a World of Networks