In this paper, we have made use of the interactive theorem prover KIV [1] to actually quality check a medical guideline using the theory of quality of guide-.

In this paper, we investigate how this approach can be mapped to the facilities offered by a theorem proving system for program verification, KIV. It is shown ...

Oct 22, 2024 · Requirements about the quality of medical guidelines can be represented using schemata borrowed from the theory of abductive diagnosis, ...

Meta-level Verification ... use of the interactive theorem prover KIV [1] to actually quality check a medical guideline using the theory of quality of guide-.

Meta-level Verification of the Quality of Medical Guidelines Using Interactive Theorem Proving. https://doi.org/10.1007/978-3-540-30227-8_54 · Full text.

Meta-level verification of the quality of medical guidelines using interactive theorem proving / A. Hommersom, P. Lucas, M. Balser.

This paper proposes to include medical background knowledge to task networks and to formalize criteria for good medical practice that a guideline should ...

Jun 2, 2008 · Requirements about the quality of clinical guidelines can be represented by schemata borrowed from the theory of abductive diagnosis, using ...

In this paper, we have made use of the interactive theorem prover KIV [1] to actually quality check a medical guidelines using the theory of quality of guide-.

Meta-level verification of the quality of medical guidelines using interactive theorem proving. A Hommersom, P Lucas, M Balser. European Workshop on Logics in ...