Consistency checking of clinical practice guidelines with MITDL
暂无分享,去创建一个
[1] Diego Calvanese,et al. The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.
[2] Arie Hasman,et al. Approaches for creating computer-interpretable guidelines that facilitate decision support , 2004, Artif. Intell. Medicine.
[3] Valentin Goranko,et al. A Road Map of Interval Temporal Logics and Duration Calculi , 2004, J. Appl. Non Class. Logics.
[4] Zhen-han Tu. Normality criteria for families of holomorphic mappings of several complex variables into , 1999 .
[5] Diego Calvanese,et al. The Description Logic Handbook , 2007 .
[6] Enrico Franconi,et al. A Computational Account for a Description Logic of Time and Action , 1994, KR.
[7] Enrico Franconi,et al. A survey of temporal extensions of description logics , 2001, Annals of Mathematics and Artificial Intelligence.
[8] Enrico Franconi,et al. A Temporal Description Logic for Reasoning about Actions and Plans , 1998, J. Artif. Intell. Res..
[9] Zongtian Liu,et al. A Temporal Description Logic for Reasoning about Action in Event , 2012 .
[10] Morteza Yousef Sanati. A Metric Interval-based Temporal Description Logic , 2015 .
[11] Claudio Bettini,et al. Time-Dependent Concepts: Representation and Reasoning Using Temporal Description Logics , 1997, Data Knowl. Eng..
[12] T. S. E. Maibaum,et al. Analyzing Clinical Practice Guidelines Using a Decidable Metric Interval-Based Temporal Logic , 2014, FM.
[13] Sang-Jun Yea,et al. Temporal Ontology Language for Representing and Reasoning Interval-Based Temporal Knowledge , 2008, ASWC.
[14] S Christov,et al. Formally Defining Medical Processes , 2008, Methods of Information in Medicine.
[15] Vasant G Honavar,et al. A PSpace Tableau Algorithm for Acyclic Modalized ALC , 2010 .
[16] Claudio Bettini. A Family of Temporal Terminological Logics , 1993, AI*IA.
[17] Ian Horrocks,et al. OWL Web Ontology Language Reference-W3C Recommen-dation , 2004 .
[18] Vasant Honavar,et al. PSPACE Tableau Algorithms for Acyclic Modalized $\boldsymbol{\mathcal{ALC}}$ , 2011, Journal of Automated Reasoning.
[19] Frank Wolter,et al. A Tableau Calculus for Temporal Description Logic: the Expanding Domain Case , 2000 .
[20] Axel van Lamsweerde,et al. Transformation operators for easier engineering of medical process models , 2013, 2013 5th International Workshop on Software Engineering in Health Care (SEHC).
[21] Samson W. Tu,et al. A flexible approach to guideline modeling , 1999, AMIA.
[22] Manuel Campos,et al. Quality Checking of Medical Guidelines Using Interval Temporal Logics: A Case-Study , 2009, IWINAC.