Checking the quality of clinical guidelines using automated reasoning tools

DOI10.1017/S1471068408003451zbMath1162.68679OpenAlexW2042793632MaRDI QIDQ3546039

Peter J. F. Lucas, Arjen Hommersom, Patrick van Bommel

Publication date: 18 December 2008

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1471068408003451

zbMATH Keywords

automated reasoningtemporal logicabductionclinical guideline

Mathematics Subject Classification ID

Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Uses Software

• OTTER

Cites Work

• Efficiency and Completeness of the Set of Support Strategy in Theorem Proving
• Unnamed Item

This page was built for publication: Checking the quality of clinical guidelines using automated reasoning tools