The representation of medical reasoning models in resolution-based theorem provers
- 1 October 1993
- journal article
- Published by Elsevier in Artificial Intelligence in Medicine
- Vol. 5 (5) , 395-414
- https://doi.org/10.1016/0933-3657(93)90033-y
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Second evaluation of HEPAR, an expert system for the diagnosis of disorders of the liver and biliary tractLiver International, 1991
- Development and validation of HEPAR, an expert system for the diagnosis of disorders of the liver and biliary tractMedical Informatics, 1991
- Using predicate logic to integrate qualitative reasoning and classical decision theoryIEEE Transactions on Systems, Man, and Cybernetics, 1990
- HEPAR: an expert system for the diagnosis of disorders of the liver and biliary tractLiver International, 1989
- Login: a logic programming language with built-in inheritanceThe Journal of Logic Programming, 1986
- The Concept of Demodulation in Theorem ProvingJournal of the ACM, 1967
- Efficiency and Completeness of the Set of Support Strategy in Theorem ProvingJournal of the ACM, 1965
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965