Emergence of Health Information Technology Motivates the Evolution of CPT<sup>®</sup>.
Proceedings of the AMIA 2006, 2006
Modeling Guidelines for Integration into Clinical Workflow.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the MEDINFO 2004, 2004
Role grouping as an extension to the description logic of Ontylog, motivated by concept modeling in SNOMED.
Proceedings of the AMIA 2002, 2002
Standards-based Sharable Active Guideline Environment (SAGE): A Project to Develop a Universal Framework for Encoding and Disseminating Electronic Clinical Practice Guidelines.
,
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the AMIA 2002, 2002
The K-Rep System Architecture.
Proceedings of the 1996 International Workshop on Description Logics, 1996
The Algebraic Essence of K-Rep.
Proceedings of the 1996 International Workshop on Description Logics, 1996
The Equivalence of Model-Theoretic and Structural Subsumption in Description Logics.
Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993
An experiment in constructing an open expert system using a knowledge substrate.
IBM J. Res. Dev., 1992
A Non-Well-Founded Approach to Terminological Cycles.
Proceedings of the 10th National Conference on Artificial Intelligence, 1992
A Persistent Store for Large Shared Knowledge Bases.
IEEE Trans. Knowl. Data Eng., 1991
Context based spelling correction.
Inf. Process. Manag., 1991
Fully Persistent B+-trees.
Proceedings of the 1991 ACM SIGMOD International Conference on Management of Data, 1991
Large Knowledge Base Management.
Proceedings of the International Workshop on Terminological Logics 1991, 1991
Fully Persistent B<sup>+</sup>-trees
IWBS Report, 1990
An examination of undetected typing errors.
Inf. Process. Manag., 1989
Organizing Knowledge in a Complex Financial Domain.
IEEE Expert, 1987
A Knowledge-Based Consultant for Financial Marketing.
AI Mag., 1986
A Temporal Logic for Reasoning About Changing Data Bases in the Context of Natural Language Question-Answering.
Proceedings of the Expert Database Systems, 1984
Varieties of User Misconceptions: Detection and Correction.
Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983
A Modal Temporal Logic for Reasoning about Change.
Proceedings of the 21st Annual Meeting of the Association for Computational Linguistics, 1983
Taking the Initiative in Natural Language Data Base Interactions: Monitoring as Response.
Proceedings of the 5th European Conference on Artificial Intelligence, 1982
Monitors as Responses to Questions: Determining Competence.
Proceedings of the National Conference on Artificial Intelligence, 1982
Natural Language Interaction With Dynamic Knowledge Bases: Monitoring as Response.
Proceedings of the 7th International Joint Conference on Artificial Intelligence, 1981
Failures in Natural Language Systems: Applications to Data Base Query Systems.
Proceedings of the 1st Annual National Conference on Artificial Intelligence, 1980
A Technique for Managing the Lexicon in a Natural Language Interface to a Changing Data Base.
Proceedings of the Sixth International Joint Conference on Artificial Intelligence, 1979