A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2009; you can also visit the original URL.
The file type is application/pdf
.
Checking the quality of clinical guidelines using automated reasoning tools
2008
Theory and Practice of Logic Programming
AbstractRequirements about the quality of clinical guidelines can be represented by schemata borrowed from the theory of abductive diagnosis, using temporal logic to model the time-oriented aspects expressed in a guideline. Previously, we have shown that these requirements can be verified using interactive theorem proving techniques. In this paper, we investigate how this approach can be mapped to the facilities of a resolution-based theorem prover,otterand a complementary program that searches
doi:10.1017/s1471068408003451
fatcat:buczvjy5l5fy3j33weftqgsezm