Temporal reasoning for decision support in medicine

Artificial Intelligence in Medicine

Volumn 33, Issue 1, 2005, Pages 1-24

  Augusto, Juan Carlos ^a  

^a UNIVERSITY OF ULSTER   (United Kingdom)

Author keywords

Decision support for medicine; Diagnosis; Prognosis; Temporal reasoning; Therapy planning

Indexed keywords

DECISION-SUPPORT RELATED TASKS; THERAPY MANAGEMENT; THERAPY PLANNING; THERAPY TREATMENT;

DECISION SUPPORT SYSTEMS; DIAGNOSIS; INFORMATION RETRIEVAL; PATIENT TREATMENT; SURVEYS;

DRUG PRODUCTS;

ARTIFICIAL INTELLIGENCE; DECISION SUPPORT SYSTEM; DIAGNOSTIC PROCEDURE; MEDICINE; PATIENT CARE; PRIORITY JOURNAL; PROGNOSIS; REVIEW; TIME; TREATMENT PLANNING;

ARTIFICIAL INTELLIGENCE; DECISION MAKING, COMPUTER-ASSISTED; DECISION SUPPORT TECHNIQUES; HUMANS; PATIENT CARE PLANNING;

EID: 11144288633     PISSN: 09333657     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.artmed.2004.07.006     Document Type: Review

References (172)

1. S. Goodwin A. Trudel Proceedings of the Seventh International Workshop on Temporal Representation and Reasoning 2000 IEEE Computer Society Press Cape Breton, Canada
2. C. Bettini A. Montanari Proceedings of the Eigth International Workshop on Temporal Representation and Reasoning 2001 IEEE Computer Society Press Cividale del Friuli, Italy
3. B.T.A. Artale M. Fisher Proceedings of the Ninth International Workshop on Temporal Representation and Reasoning 2002 IEEE Computer Society Press Manchester, UK
4. M. Reynolds A. Sattar Proceedings of the Tenth International Workshop on Temporal Representation and Reasoning and Fourth International Conference on Temporal Reasoning 2003 IEEE Computer Society Press Cairns, Queensland, Australia
5. S.J. Russell, and P. Norvig Artificial intelligence: a modern approach 2nd ed. 2003 Prentice Hall
6. J. van Bemmel M.A. Musen Medical informatics 1997 Springer Verlag
7. L. Chittaro, and A. Montanari Temporal representation and reasoning in artificial intelligence: issues and approaches Ann Math Artif Intell 28 1-4 2000 47 106
8. J.C. Augusto The logical approach to temporal reasoning Artif Intell Rev 16 4 2001 301 333
9. J. Allen, H. Kautz, R. Pelavin, and J. Tenenberg Reasoning about plans 1991 Morgan Kaufmann San Mateo, California
10. D. Gabbay, I. Hodkinson, and M. Reynolds Temporal logic (Mathematical foundations and computational aspects) 1994 Clarendon Press Oxford
11. E. Sandewall Features and fluents 1994 Oxford University Press Oxford
12. A. Galton Time and change D. Gabbay C. Hogger J. Robinson Handbook of logic in artificial intelligence and logic programming, epistemic and temporal reasoning vol. 4 1995 Clarendon Press 175 240
13. J.F.A.K. van Benthem Exploring logical dynamics 1996 CSLI Publications Stanford
14. J. Allen Towards a general theory of action and time Artif Intell 23 2 1984 123 154
15. J. Pinto, and R. Reiter Reasoning about time in the situation calculus Ann Math Artif Intell 14 2-4 1995 251 268
16. W.H. Newton-Smith The structure of time 1980 Routledge and Kegan Paul London
17. D. Cuckierman, and J. Delgrande Towards a formal characterization of temporal repetition with closed time Proceedings of TIME98 1998 IEEE Computer Society Press 140 147
18. R. Turner Logic for artificial intelligence 1984 John Wiley & Sons
19. J.F.A.K. van Benthem The logic of time 2nd ed. 1991 Reidel
20. S. Shoham Reasoning About Change 1987 Cambridge Press Boston
21. C. Hamblin Instants and intervals F.H.J. Fraser G. Muller The study of time 1972 Springer Verlag New York 324 328
22. J. Allen, and P. Hayes A common-sense theory of time Proceedings IJCAI-85 vol. 1 1985 528 531
23. A. Bochman Concerted instant-interval temporal semantics i: temporal ontologies Notre Dame J. Formal Logic 31 3 1990 403 414
24. A. Bochman Concerted instant-interval temporal semantics ii: temporal valuations and logics of change Notre Dame J Formal Logic 31 4 1990 581 601
25. A. Galton A critical examination of Allen's theory of action and time Artif Intell 42 2-3 1990 159 188
26. L. Vila Ip: an instant-period based theory of time R. Rodriguez Proceedings of the Workshop on Spatial and Temporal Reasoning in ECAI 94 1994
27. J.C. Augusto A general framework for reasoning about change New Generation Comput 21 3 2003 209 247
28. A. Tansel, J. Clifford, S. Gadia, S. Jajodia, A. Segev, and R. Snodgrass Temporal data bases (Theory, design and implementation) 1993 The Benjamin Cummings Pub. Co. California
29. R.T. Snodgrass The TSQL2 temporal query language 1995 Kluwer Academic Publisher
30. C.S. Jensen, C.E. Dyreson, M.H. Böhlen, J. Clifford, R. Elmasri, and S.K. Gadia The consensus glossary of temporal database concepts Temporal databases: research and practice 1998 Springer Verlag 367 405
31. C. Bettini, C.E. Dyreson, W.S. Evans, R.T. Snodgrass, and X.S. Wang A glossary of time granularity concepts Temporal databases: research and practice 1998 Springer Verlag 406 413
32. N. Rescher, and A. Urquart Temporal logic 1971 Springer Verlag
33. C. Freksa Temporal reasoning based on semi-intervals Artif Intell 54 1-2 1992 199 227
34. J. Allen, and G. Ferguson Actions and events in interval temporal logic J Logic Computat 4 5 1994 531 579
35. A. Goldman A theory of human action 1970 Princeton University Press Princeton, New York
36. Y. Shoham Temporal logics in artificial intelligence: semantical and ontological considerations Artif Intell 33 1 1987 89 104
37. A. Galton Qualitative spatial change 2000 Oxford University Press
38. A. Prior Past, present and future 1967 Clarendon Press
39. R. Kowalski, and M. Sergot A logic-based calculus of events New Generation Comput 4 1 1986 67 95
40. A. Galton The logic of occurrence A. Galton Temporal logic and their applications 1987 Academic Press 169 196
41. R. Snodgrass The temporal query language TQuel ACM Trans Database Syst 12 2 1987 247 298
42. Snodgrass RT. An overview of the temporal query language TQuel. Technical report. Department of Computer Science, University of Arizona, Tucson, Arizona, 1992.
43. M. Baudinet, J. Chomiki, and P. Wolper Temporal deductive databases A. Tansel J. Clifford S. Gadia S. Jajodia A. Segev R. Snodgrass Temporal data bases (theory, design and implementation) 1993 The Benjamin Cummings Pub. Co. California 294 320
44. R. Kowalski Database updates in the event calculus J Logic Programming 12 1-2 1992 121 146
45. Y. Shahar Timing is everything: temporal reasoning and temporal data maintenance in medicine Proceedings of Seventh Joint European Conference on Artificial Intelligence in Medicine and Medical Decision Making (AIMDM'99), Aalborg, Denmark 1999 Springer Verlag 30 46
46. Keravnou ET, editor. Medical temporal reasoning. Special Issue from Artificial Intelligence in Medicine 3(6). Elsevier; 1991.
47. Keravnou ET, editor. Temporal reasoning in medicine. Special Issue from Artificial Intelligence in Medicine 8(3). Elsevier; 1996.
48. Combi C, Shahar Y, editors. Time-oriented systems in medicine. Special Issue from Computers in Biology and Medicine 27(5). Elsevier; 1997.
49. Shahar Y, Combi C, editors. Intelligent temporal information systems in medicine. Special Issue from Journal of Intelligent Information Systems 13(1-2). Kluwer Academic; 1999.
50. Keravnou ET. Introduction to the special issue on temporal reasoning in medicine [47]; 1996. p. 187-91.
51. Combi C, Shahar Y. Editorial to time-oriented systems in medicine [48]; 1997. p. 349-51.
52. Combi C, Shahar Y. Temporal reasoning and temporal data maintenance in medicine: issues and challenges [48]; 1997. p. 353-68.
53. Shahar Y, Combi C. Editors' foreword for special issue on Intelligent Temporal Information Systems in Medicine [49]; 1999. p. 5-8.
54. O. Etzioni S. Jajodia S. Sripada Temporal databases: research and practice 1998 Springer-Verlag
55. A.K. Das, S. Tu, G. Purcell, and M. Musen An extended sql for temporal data management in clinical decision-support systems Proceedings of the Sixteenth Annual Symposium on Computer Applications in Medical Care 1992 128 132
56. A.K. Das, and M.A. Musen A temporal query system for protocol-directed decision-support Methods Inform Med. 33 4 1994 358 370
57. C. Combi, G. Cucchi, and F. Pinciroli Applying object-oriented technologies in modeling and querying temporally oriented clinical databases dealing with temporal granularity and indeterminacy IEEE Trans Inform Technol Biomed 1 2 1997 100 127
58. I. Goralwalla, M. Ozsu, and D. Szafron Modeling medical trials in pharmacoeconomics using a temporal object model Comput Biol Med 27 5 1997 369 387 Special Issue on TimeOriented Systems in Medicine
59. M. Ozsu, R. Peters, D. Szafron, B. Irani, A. Lipka, and A. Muñoz Tigukat: a uniform behavioral objectbase management system The VLDB J 4 3 1995 100 147
60. Nguyen JH, Shahar Y, Tu SW, Das AK, Musen MA. Integration of temporal reasoning and temporal-data maintenance into a reusable database mediator to answer abstract, time-oriented queries: the tzolkin system [49]; 1999. p. 121-45.
61. R. Snodgrass, and I. Ahn A taxonomy of time in databases Proceedings of ACM SIGMOD International Conference on Management of Data 1985 Austin Texas 236 246
62. Y. Shahar, and M. Musen Knowledge-based temporal abstraction in clinical domains Artif Intell Med 8 3 1996 267 298
63. M. Kahn, C. Abrams, S. Cousins, J. Beard, and M. Frisse Automated interpretation of diabetes patient data: detecting temporal changes in insulin therapy Proceedings of 4th Annual Symposium on Computer Applications in Medical Care 1990 IEEE Computer Society Press Washington DC, USA 569 573
64. M. Kahn, L. Fagan, and S. Tu Extensions to the time-oriented database model to support temporal reasoning in medical expert systems Methods Inform Med 30 1 1991 4 14
65. D. Hickam, E. Shortliffe, M. Bischoff, A. Scott, and C. Jacobs The treatment advice of a computer-based cancer chemotherapy protocol advisor Ann Intern Med 103 6 1985 928 936
66. J. Widom, and S. Ceri Active database systems: triggers and rules for advanced database processing 1996 Morgan Kaufmann San Mateo, CA
67. Chakravarthy S, Widom J. Journal of Intelligent Information Systems. Special Issue on Active Database Systems 7(2). Kluwer Academic Publishers; 1996.
68. N.W. Paton, and O. Díaz Active database systems ACM Comput Survey 31 1 1999 63 103
69. M. Kahn, S. Tu, and L. Fagan Tquery: a context-sensitive temporal query language Comput Biomed Res 24 5 1991 401 419
70. M. Kahn, L. Fagan, and L. Sheiner Combining physiological models and symbolic methods to interpret time-varying patient data Methods Inform Med 30 2 1991 167 178
71. M. Kahn Modeling time in medical decision-support programs Med Decision Making 11 4 1991 249 264
72. Bellazzi R, Shahar B. Intelligent data analysis in medicine and pharmacology (panel summary), held during AMIA'99 Annual Symposium. Washington, DC, USA; 6-10 November 1999.
73. Y. Shahar A framework for knowledge-based temporal abstraction Artif Intell 90 1 1997 79 133
74. Y. Shahar Knowledge-based temporal interpolation J Exp Theor Artif Intell 11 1 1999 123 144
75. Y. Shahar Dynamic temporal interpretation contexts for temporal abstraction Ann Math Artif Intell 22 1-2 1998 159 192
76. C. Combi, and L. Chittaro Abstraction on clinical data sequences: an object-oriented data model and a query language based on the event calculus Artif Intell Med 17 3 1999 271 301
77. G.T.J. Wu, and U. Dayal A uniform model for temporal and versioned object-oriented databases A. Tansel J. Clifford S. Gadia S. Jajodia A. Segev R. Snodgrass Temporal data bases (theory, design and implementation) 1993 The Benjamin Cummings Pub. Co. California 230 247
78. Salatian A, Hunter J. Deriving trends in historical and real-time continuously sampled medical data [49]; 1999. p. 47-71.
79. M.J. O'Connor, W.E. Grosso, S.W. Tu, and M.A. Musen Rasta: a distributed temporal abstraction system to facilitate knowledge-driven monitoring of clinical databases Proceedings of MedInfo2001 2001 508 512
80. Lowe A, Jones RW, Harrison MJ. Temporal pattern matching using fuzzy templates [49]; 1999. p. 27-45.
81. R. Bellazzi, C. Larizza, P. Magni, S. Montani, and M. Stefanelli Intelligent analysis of clinical time series: an application in the diabetes mellitus domain Artif Intell Med 20 1 2000 37 57
82. N. Lavrac, E. Keravnou, and I. Mozetic Second generation knowledge acquisition methods and their application to medicine E. Keravnou Deep models for medical knowledge engineering 1992 Elsevier New York 177 198
83. Lavrac N, Keravnou E, Zupan B. Intelligent data analysis in medicine. In: Kent, et al., editors. Encyclopedia of computer science and technology, vol. 42. New York: Dekker; 2000. p. 113-57.
84. S. Cousins, and M. Kahn The visual display of temporal information Artif Intell Med 3 6 1991 341 357
85. C. Plaisant, B. Milash, A. Rose, S. Widoff, and B. Shneiderman Lifelines: visualizing personal histories Proceedings of the SIGCHI conference on Human factors in computing systems 1996 Vancouver British Columbia, Canada 221 227
86. Y. Shahar, and C. Cheng Model-based visualization of temporal abstractions Computat Intell 16 2 2000 279 306
87. R. Kosara, and S. Miksch Metaphors of movement: a visualization and user interface for time-oriented, skeletal plans Artif Intell Med 22 2 2001 111 131
88. L. Chittaro, and C. Combi Visualizing queries on databases of temporal histories: new metaphors and their evaluation Data Knowledge Eng 44 2 2003 239 264
89. M. Lanzenberger, S. Miksch, S. Ohmann, and C. Popow Applying information visualization techniques to capture and explore the course of cognitive behavioral therapy Proceedings of the 2003 ACM Symposium on Applied Computing 2003 268 274
90. L. Chittaro, C. Combi, and G. Trapasso Data mining on temporal data: a visual approach and its clinical application to hemodialysis J Visual Languages Comput 14 6 2003 591 620
91. J. Hobbs Granularity Proceedings of the IJCAI 85 1985 432 435
92. C. Bettini, S. Jajodia, and S.X. Wang Time granularities in databases, data mining and temporal reasoning 2000 Springer-Verlag
93. Keravnou ET. A multidimensional and multigranular model of time for medical knowledge-based systems [49]; 1999. p. 73-120.
94. I. Goralwalla, Y. Leontiev, M. Ozsu, D. Szafron, and C. Combi Temporal granularity: completing the puzzle J Intell Inform Syst 16 1 2001 41 63
95. A. Das, and M. Musen A formal method to resolve temporal mismatches in clinical databases Proceedings of AMIA Symposium 2001 130 134
96. C.E. Dyreson, W.S. Evans, H. Lin, and R.T. Snodgrass Efficiently supported temporal granularities IEEE Trans Knowledge Data Eng 12 4 2000 568 587
97. C. Combi, and G. Pozzi Hmap - a temporal data model managing intervals with different granularities and indeterminacy from natural language sentences J Very Large Databases 9 4 2001 294 311
98. C. Combi, M. Franceschet, and A. Peron Representing and reasoning about temporal granularities J Logic Comput 14 1 2004 51 77
99. Cukierman D, Delgrande JP. A formalization of structured temporal objects and repetition. In: [1]; 2000. p. 13-20.
100. S. Chakravarty, and Y. Shahar Capsul: a constraint-based specification of repeating patterns in time-oriented data Ann Math Artif Intell 30 1 2000 3 22
101. R.H. Dolin Modeling the temporal complexities of symptoms J Am Med Inform Assoc 2 5 1995 323 331
102. R. Reiter A theory of diagnosis from first principles Artif Intell 32 1 1987 57 95
103. J. de Kleer, and B. Williams Diagnosing multiple faults Artif Intell 32 1 1987 97 130
104. L. Console, and P. Torasso A spectrum of logical definitions of model-based diagnosis Computat Intell 7 3 1991 133 141
105. L. Console, and P. Torasso On the co-operation between abductive and temporal reasoning in medical diagnosis Artif Intell Med 3 6 1991 291 311
106. L. Console, and P. Torasso Temporal constraint satisfaction on causal models Inform Sci 68 1 1993 1 32
107. P.J.F. Lucas Model-based diagnosis in medicine Artif Intell Med 10 3 1997 201 208
108. R.L. Blum, and G. Wiederhold Studying hypotheses on a time-oriented clinical database: an overview of the RX project J.A. Reggia S. Thurim Computer assisted medical decision-making 1985 Springer Verlag 245 253
109. Long W. Temporal reasoning for diagnosis in a causal probabilistic knowledge base [47]; 1996. p. 193-215.
110. J. Gamper, and W. Nejdl Abstract temporal diagnosis in medical domains Artif Intell Med 10 3 1997 209 234
111. J. Wainer, and A. de Melo Rezende A temporal extension to the parsimonious covering theory Artif Intell Med 10 3 1997 235 255
112. T.A. Russ Using hindsight in medical decision making Comput Methods Programs Biomed 32 1 1990 81 90
113. Wainer J, Sandri S. Fuzzy temporal/categorical information in diagnosis [49]; 1999. p. 9-26.
114. M. Dojat, N. Ramaux, and D. Fontaine Scenario recognition for temporal reasoning in medical domains Artif Intell Med 14 1-2 1998 139 155
115. R. Dechter, I. Meiri, and J. Pearl Temporal constraint networks Artif Intell 49 1-3 1991 61 95
116. Fagan L. Representing time dependant relations in a medical setting. Ph.D. thesis. Stanford University; 1980.
117. Haimowitz IJ, Kohane IS. Managing temporal worlds for medical trend diagnosis [47]; 1996;8(3):299-321.
118. S. Charbonnier On-line extraction of successive temporal sequences from icu high-frequency data for decision support information M. Dojat E.T. Keravnou P. Barahona Proceedings of 9th Conference on Artificial Intelligence in Medicine in Europe (AIME 2003), Protaras, Cyprus, 18-22 October 2003, LNCS 2780 2003 Springer Verlag 1 10
119. R. Bellazzi, C. Larizza, P. Magni, and R. Bellazzi Quality assessment of hemodialysis services through temporal data mining M. Dojat E.T. Keravnou P. Barahona Proceedings of 9th Conference on Artificial Intelligence in Medicine in Europe (AIME 2003), Protaras, Cyprus, 18-22 October 2003, LNCS 2780 2003 Springer Verlag 11 20
120. D. Boaz, and Y. Shahar Idan: a distributed temporal-abstraction mediator for medical databases M. Dojat E.T. Keravnou P. Barahona Proceedings of 9th Conference on Artificial Intelligence in Medicine in Europe (AIME 2003), Protaras, Cyprus, 18-22 October 2003, LNCS 2780 2003 Springer Verlag 21 30
121. Abu-Hanna A, Lucas PJF, editors. In: Proceedings of the Workshop on Prognostic Models in Medicine (Artificial Intelligence and Decision Analytic Approaches). Held during AIMDM'99 in Aalborg, Denmark: Springer Verlag; 20-24 June 1999.
122. Abu-Hanna A, Lucas PJF. Prognostic models in medicine (editorial) [172]; 2001. p. 1-5.
123. Zupan B, Demsar J, Smrke D, Bozikov K, Stankovski V, Bratko I, et al. Predicting patient's long-term clinical status after hip arthroplasty using hierarchical decision modelling and data mining [172]; 2001. p. 25-31.
124. P. Dagum, and A. Galper Time-series prediction using belief network models Int J Hum-Comput Stud 42 6 1995 617 632
125. F. Steimann The interpretation of time-varying data with diamon-1 Artif Intell Med 8 4 1996 343 358
126. R. Schmidt, and L. Gierl Prognosis of approaching infectious diseases M. Dojat E.T. Keravnou P. Barahona Proceedings of 9th Conference on Artificial Intelligence in Medicine in Europe (AIME 2003), Protaras, Cyprus, 18-22 October 2003, LNCS 2780 2003 Springer Verlag 31 35
127. J. Hunter, G. Ewing, Y. Freer, F. Logie, P. McCue, and N. McIntosh Neonate: decision support in the neonatal intensive care unit - a preliminary report M. Dojat E.T. Keravnou P. Barahona Proceedings of 9th Conference on Artificial Intelligence in Medicine in Europe (AIME 2003), Protaras, Cyprus, 18-22 October 2003, LNCS 2780 2003 Springer Verlag 41 45
128. S. Hanks, and D. McDermott Nonmonotonic logic and temporal projection Artif Intell 33 3 1987 379 412
129. C. Spyropoulos AI planning and scheduling in the medical hospital environment Artif Intell Med 20 2 2000 101 111
130. A. Gertner Responding to users' informational needs in time-critical situations Proceedings of Fourth International Conference on User Modeling 1994 127 132
131. Gertner A. Critiquing: effective decision support in time-critical domains. Ph.D. thesis. University of Pennsylvania; 1995.
132. P. Magni A new approach to optimal dynamic therapy planning Proceedings of AMIA'98 1998 936 940
133. D.K. Owens, R.D. Shachter, and R.F. Nease Representation and analysis of medical decision problems with influence diagrams Med Decision Making 17 3 1997 241 262
134. T. Dean, and M. Wellmann Planning and control 1991 Morgan Kaufmann San Mateo, California, USA
135. Y. Shahar, S. Miksch, and P. Johnson The asgaard project: a task-specific framework for the application and critiquing of time-oriented clinical guidelines Artif Intell Med 14 1-2 1998 29 51
136. S. Miksch Plan management in the medical domain AI Commun 12 4 1999 209 235
137. A. Seyfang, S. Miksch, and M. Marcos Combining diagnosis and treatment using asbru Int J Med Inform 68 1-3 2002 49 57
138. A. Oddi, and A. Cesta Toward interactive scheduling systems for managing medical resources Artif Intell Med 20 2 2000 113 138
139. U. Montanari Networks of constraints: fundamental properties and applications to picture processing Inform Sci 7 2 1974 95 132
140. C. Marinagi, C. Spyropoulos, C. Papatheodorou, and S. Kokkotos Continual planning and scheduling for managing patient tests in hospital laboratories Artif Intell Med 20 2 2000 139 154
141. T. Panayiotopoulos, and M. Gergatsoulis A prolog-like temporal reasoning system Proceedings of the 13th IASTED International Conference on Applied Informatics 1995 123 126
142. G. Duftschmid, S. Miksch, and W. Gall Verification of temporal scheduling constraints in clinical practice guidelines Artif Intell Med 25 2 2002 93 121
143. A. Guarnero, M. Marzuoli, G. Molino, P. Terenziani, M. Torchio, and K. Vanni Contextual and temporal clinical guidelines Proceedings of AMIA'98 1998 683 687
144. P. Terenziani, F. Mastromonaco, G. Molino, and M. Torchio Executing clinical guidelines: temporal issues Proceedings of AMIA'2000 2000 848 852
145. S. Quaglini, M. Stefanelli, A. Cavallini, G. Micieli, C. Fassino, and C. Mossa Guideline-based careflow systems Artif Intell Med 20 1 2000 5 22
146. M. Musen, S. Tu, A. Das, and Y. Shahar Eon: a component-based approach to automation of protocol-directed therapy J Am Med Inform Assoc (JAMIA) 3 6 1996 367 388
147. M. Goldstein, B. Hoffman, R. Coleman, M. Musen, S. Tu, and A. Advani Operationalizing clinical practice guidelines amidst changing evidence: Athena, an easily modifiable decision-support system for management of hypertension in primary care J Am Med Inform Assoc 9 6 2002 11 16
148. P. Terenziani, G. Molino, and M. Torchio A modular approach for representing and executing clinical guidelines Artif Intell Med 23 3 2001 211 293
149. P. Terenziani, C. Carlini, and S. Montani Towards a comprehensive treatment of temporal constraints in clinical guidelines Proceedings of TIME 2002 1995 20 27
150. J. Bouaud, B. Séroussi, and B. Touzet Abstracting the patient therapeutic history through a heuristic-based qualtitative handling of temporal indeterminacy M. Dojat E.T. Keravnou P. Barahona Proceedings of 9th Conference on Artificial Intelligence in Medicine in Europe (AIME 2003), Protaras, Cyprus, 18-22 October 2003, LNCS 2780 2003 Springer Verlag 46 50
151. E. Sherman, G. Hripcsak, J. Starren, R. Jender, and P. Clayton Using intermediate states to improve the ability of the arden syntax to implement care plans and reuse knowledge Proceedings of the Annual Symposium on Computer Applications in Medical Care (SCAMC'95) 1995 238 242
152. S. Herbert, C. Gordon, A. Jackson-Smale, and S. Renaud Protocols for clinical care Comput Methods Programs Biomed 48 3 1995 21 26
153. C. Gordon, I. Herbert, and P. Johnson Knowledge representation and clinical practice guidelines: the dilemma and prestige projects Proceedings of Medical Informatics Europe'96 1996 R. Brompton Hospital London 511 515
154. L. Ohno-Machado, J. Gennari, S. Murphy, N. Jain, S. Tu, and D. Oliver The guideline interchange format: a model for representing guidelines J Am Med Assoc (JAMA) 5 4 1998 357 372
155. J. Fox, N. Johns, and A. Rahmanzadeh Disseminating medical knowledge: the proforma approach Artif Intell Med 14 1-2 1998 157 181
156. J. Fox, and S. Das Safe and sound Artificial intelligence in hazardous applications 2000 AAAI Press/MIT Press
157. L. Chittaro, and M. Dojat Using a general theory of time and change in patient monitoring: experiment and evaluation Comput Biol Med 27 5 1997 435 452
158. L. Chittaro, and A. Montanari Efficient temporal reasoning in the cached event calculus Computat Intell 12 3 1996 359 382
159. A. Galton, and J.C. Augusto Stratified causal theories for reasoning about deterministic devices and protocols Proceedings of 9th International Symposium on Temporal Representation and Reasoning (Time-2002) 2002 52 54
160. Verkuyl HJ. Aspectual classes and aspectual composition. Linguistics Philos 1989;12(1):39-94.
161. Steedman M. Dynamic semantics for tense and aspect. In: Proceedings of IJCAI; 1995. p. 1292-8.
162. Ma M, McKevitt P. Interval relations in lexical semantics of verbs. To appear in Artif Intell Rev.
163. Aliferis CF, Cooper CF, Pollack ME, Buchanan BG, Wagner MM. Representing and developing temporally abstracted knowledge as a means towards facilitating time modeling in medical decision-support systems [48]; 1997. p. 411-34.
164. de Rosis F, Grasso F, Berry DC. Strengthening argumentation in medical explanations by text plan revision. In: Keravnou E, Garbay C, Baud JWR, editors. Proceedings of 6th Conference on Artificial Intelligence in Medicine Europe (AIME'97), vol. 1211 of Lecture Notes in Artificial Intelligence. Grenoble, France, Springer-Verlag; 1997. p. 349-60.
165. J.C. Augusto, and G.R. Simari Temporal defeasible reasoning Knowledge Inform Syst 3 3 2001 287 318
166. Galton A. Eventualities. In: The handbook of time and temporal reasoning in artificial intelligence. Vila, van Beek, Boddy, Fisher, Gabbay, Galton, Morris, editors. MIT Press, to be published.
167. A. Spokoiny, and Y. Shahar Momentum - an active time-oriented database for intelligent abstraction exploration and analysis of clinical data Proceedings of Intelligent Data Analysis in Medicine and Pharmacology (IDAMAP2003), Cyprus 2003
168. Augusto JC, Nugent C. The use of temporal reasoning and management of complex events in smart homes. In: López de Mántaras R, Saitta L, editors. Proceedings of ECAI 2004. Valencia, Spain, 22-27 August 2004. IOS Press. p. 778-82.
169. B. Berard, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit, and L. Petrucci Systems and software verification (Model checking techniques and tools) 1999 Springer-Verlag
170. G. Holzmann The SPIN model checker 2003 Addison Wesley
171. M. Marcos, M. Balser, A. ten Teije, F. van Harmelen, and C. Duelli Experiences in the formalisation and verification of medical protocols Proceedings of the Ninth European Conference on Artificial Intelligence in Medicine (AIME'03), LNAI 2870 2003 Springer Verlag 132 141
172. Abu-Hanna A, Lucas PJF, editors. Prognostic models in medicine. Schattauer GmbH. Special Issue of Journal Methods for Informatics in Medicine 2001;40(1).