Binding Ontologies & Coding Systems to Electronic Health Records and Messages.

F-logic: a higher-order language for reasoning about objects, inheritance, and scheme

Michael Kifer, Georg Lausen · ACM SIGMOD Record · 1989 · 358 citations

Engineering, Defeasible Logic, Higher-order Logic +20

An epistemic operator for description logics

Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi et al. · Artificial Intelligence · 1998 · 133 citations

Engineering, Dynamic Epistemic Logic, Automated Reasoning +6

The interface between information, terminology, and inference models.

Alan Rector · PubMed · 2001 · 48 citations

Engineering, Model-based Reasoning, Knowledge-based Reasoning +17

Models and Inference Methods for Clinical Systems: A Principled Approach

Alan Rector, Jeremy Rogers, Adel Taweel · Studies in health technology and informatics · 2004 · 16 citations