Author of the publication

Formal specifications and medical decision support systems.

, and . Applied Artificial Intelligence, 7 (3): 237-256 (1993)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Formal specifications and medical decision support systems., and . Applied Artificial Intelligence, 7 (3): 237-256 (1993)Semantic Constraints in a Medical Information System., and . BNCOD, volume 696 of Lecture Notes in Computer Science, page 40-57. Springer, (1993)Can we Formally Specify a Medical Decision Support System?, , , and . IEEE Expert, 8 (3): 56-61 (1993)A symbolic theory of decision-making applied to several medical tasks., , and . AIME, volume 38 of Lecture Notes in Medical Informatics, page 62-71. Springer, (1989)The role of domain models in maintaining consistency of large medical knowledge bases., , and . AIME, volume 44 of Lecture Notes in Medical Informatics, page 72-81. Springer, (1991)Using predicate logic to integrate qualitative reasoning and classical decision theory., , , and . IEEE Trans. Syst. Man Cybern., 20 (2): 347-357 (1990)Research Paper: Medical-Concept Models and Medical Records: An Approach Based on GALENand PEN&PAD., , , and . JAMIA, 2 (1): 19-35 (1995)Logic engineering for knowledge engineering: design and implementation of the Oxford System of Medicine., , , , and . Artif. Intell. Medicine, 2 (6): 323-339 (1990)A Descriptive Semantic Formalism for Medicine., , , and . ICDE, page 624-631. IEEE Computer Society, (1993)Design of a generic information system and its application to Primary Care., , and . AIME, volume 38 of Lecture Notes in Medical Informatics, page 221-233. Springer, (1989)