A critiquing approach to expert computer advice: Attending
A critiquing approach to expert computer advice: Attending
Foundations of deductive databases and logic programming
A spectrum of logical definitions of model-based diagnosis
Computational Intelligence
A framework for knowledge-based temporal abstraction
Artificial Intelligence
A Computing Procedure for Quantification Theory
Journal of the ACM (JACM)
Efficiency and Completeness of the Set of Support Strategy in Theorem Proving
Journal of the ACM (JACM)
Safe and sound: artificial intelligence in hazardous applications
Safe and sound: artificial intelligence in hazardous applications
Maintaining knowledge about temporal intervals
Communications of the ACM
A machine program for theorem-proving
Communications of the ACM
Logic for Artificial Intelligence
Logic for Artificial Intelligence
Automated Reasoning: Introduction and Applications
Automated Reasoning: Introduction and Applications
From Informal Knowledge to Formal Logic: A Realistic Case Study in Medical Protocols
EKAW '02 Proceedings of the 13th International Conference on Knowledge Engineering and Knowledge Management. Ontologies and the Semantic Web
The KIV-Approach to Software Verification
KORSO - Methods, Languages, and Tools for the Construction of Correct Software
A Resolution Calculus for Modal Logics
Proceedings of the 9th International Conference on Automated Deduction
The Declarative Past and Imperative Future: Executable Temporal Logic for Interactive Systems
Temporal Logic in Specification
CAUSAL REPRESENTATION OF PATIENT ILLNESS FOR ELECTROLYTE AND ACID-BASE DIAGNOSIS
CAUSAL REPRESENTATION OF PATIENT ILLNESS FOR ELECTROLYTE AND ACID-BASE DIAGNOSIS
Mycin: a rule-based computer program for advising physicians regarding antimicrobial therapy selection.
Symbolic diagnosis and its formalisation
The Knowledge Engineering Review
Machine Learning
AI Communications - CASC
Verification of Medical Guidelines Using Background Knowledge in Task Networks
IEEE Transactions on Knowledge and Data Engineering
Improving medical protocols by formal methods
Artificial Intelligence in Medicine
Linear groupoids and the associated wreath products
Journal of Symbolic Computation
Verification of medical guidelines by model checking – a case study
SPIN'06 Proceedings of the 13th international conference on Model Checking Software
Verification of temporal scheduling constraints in clinical practice guidelines
Artificial Intelligence in Medicine
A modular approach for representing and executing clinical guidelines
Artificial Intelligence in Medicine
Metaphors of movement: a visualization and user interface for time-oriented, skeletal plans
Artificial Intelligence in Medicine
Extracting qualitative knowledge from medical guidelines for clinical decision-support systems
KR4HC'09 Proceedings of the 2009 AIME international conference on Knowledge Representation for Health-Care: data, Processes and Guidelines
| Hi-index | 0.00 |
Requirements 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, otter and a complementary program that searches for finite models of first-order statements, mace-2. It is shown that the reasoning required for checking the quality of a guideline can be mapped to such a fully automated theorem-proving facilities. The medical quality of an actual guideline concerning diabetes mellitus 2 is investigated in this way.