Artificial Intelligence in Medicine
Volume 38, Issue 2 , Pages 137-156 , October 2006

Extending the event calculus for tracking epidemic spread

Received 4 July 2004 ,Revised 31 May 2005 ,Accepted 10 June 2005.

References 

  1. Hughes-Jones M. Global awareness of disease outbreaks: the experience of ProMED-mail. Public Health Rep. 2001;116:27–31
  2. Woodall J. Global surveillance of emerging diseases: the ProMED-mail perspective. Cad Saude Publica. 2001;17:147–154
  3. Woodall J. Official versus unofficial outbreak reporting through the internet. Intl J Med Inf. 1997;47:31–34
  4. Buckeridge DL, Graham J, O’Connor MJ, Choy MK, Tu SW, Musen MA. Knowledge-based bioterrorism surveillance. In: Proceedings of the AMIA Symposium Suppl. JAMIA; 2002;p. 76–80
  5. Kowalski R, Sergot M. A logic-based calculus of events. New Gener Comp. 1986;4:67–95
  6. Schokkenbroek C. News stories—structure, time and evaluation. Time Soc. 1999;8:59–98
  7. Bell A. The discourse structure of news stories. In:  Bell A,  Garrett P editor. Approaches to media discourse. Oxford: Blackwell; 1998;p. 64–104
  8. Huttunen S, Yangarber R, Grishman R. Diversity of scenarios in information extraction. In:  Rodriguez MG,  Araujo CPS editor. Proceedings of Third International Conference on Language Resources and Evaluation (LREC 2002). Las Palmas, Canary Islands, Spain, May. Paris: European Language Resources Association; 2002;p. 1443–1450
  9. Damianos L, Ponte J, Wohlever S, Reeder F, Day D, Wilson G, et al. MiTAP for biosecurity: a case study. AI Magazine. 2002;23(4):13–29
  10. Grishman R, Huttunen S, Yangarber R. Information extraction for enhanced access to disease outbreak reports. J Biomed Inform. 2002;35:236–246
  11. Aberdeen J, Burger J, Day D, Hirschman L, Robinson P, Vilain M. MITRE: description of the alembic system as used for MUC-6. In: Proceedings of the Sixth Message Understanding Conference (MUC-6). 6–8 November. Columbia, MD, San Francisco, CA: Morgan Kaufmann; 1995;p. 141–155
  12. Yangarber R, Grishman R. NYU: description of the Proteus/PET system as used for MUC-7 ST. In: Proceedings of the Seventh Message Understanding Conference (MUC-7). Fairfax, Virginia, 29 April–1 May. San Francisco, CA: Morgan Kaufmann; 1998;
  13. Chittaro L, Montanari A. Temporal representation and reasoning in artificial intelligence: issues and approaches. Ann Math Artif Intel. 2000;28:47–106
  14. Combi C, Shahar Y. Temporal reasoning and temporal data maintenance in medicine: issues and challenges. Comput Biol Med. 1997;27:353–368
  15. Augusto JC. Temporal reasoning for decision support in medicine. Artif Intell Med. 2005;33:1–24
  16. Keravnou ET. Temporal diagnostic reasoning based on time-objects. Artif Intell Med. 1996;8:235–265
  17. Shahar Y. A framework for knowledge-based temporal abstraction. Artif Intell. 1997;90:79–133
  18. Knight B, Peng T, Ma J. Reasoning about change over time: actions, events, and their effects. In:  Miller R,  Shanahan M editor. Proceedings of the Fourth Symposium on Logical Formalizations of Commonsense Reasoning (CS98). Queen Mary and Westfield College, London, UK, 7–9 January. 1998;p. 183–197
  19. Allen JF. Maintaining knowledge about temporal intervals. Commun ACM. 1983;26:832–843
  20. McCarthy J, Hayes PJ. Some philosophical problems from the standpoint of artificial intelligence. In:  Michie D,  Meltzer B editor. Machine intelligence 4. Edinburgh, Scotland, UK: Edinburgh University Press; 1969;
  21. Kowalski R, Sadri F. Reconciling the event calculus with the situation calculus. J Logic Progr. 1997;31:39–58
  22. Morgenstern L. The problem with solutions to the frame problem. In:  Ford K,  Pylyshyn Z editor. The robot's dilemma revisited. Norwood, NJ: Ablex; 1996;p. 99–133
  23. Cervesato I, Montanari A. A calculus of macro-events: progress report. In:  Trudel A,  Goodwin SD editor. Proceedings of the Seventh International Workshop on Temporal Representation and Reasoning (TIME’ 00). Cape Breton, Nova Scotia, Canada; 7–9 July. Los Alamitos, CA, USA: IEEE Computer Society Press; 2000;p. 47–58
  24. Snodgrass R, Ahn I. Temporal databases. IEEE Comput. 1986;19:35–42
  25. Baudinet M, Chomicki J, Wolper P. Temporal deductive databases. In:  Tansel A,  Clifford J,  Gadia S,  Jajodia S,  Segev A,  Snodgrass RT editor. Temporal databases: theory, design and implementation. London, UK: Benjamin/Cummings Publ; 1993;p. 294–320
  26. Chomicki J, Toman D. Temporal databases. In: Fisher M, Gabbay D, Vila L, editors. Handbook of temporal reasoning in artificial intelligence. London, UK: Elsevier Science Publishing; 2005.
  27. O’Connor MJ, Tu SW, Musen MA. The Chronus II temporal database mediator. Proc AMIA Symp 2002. 2002;567–571
  28. Chittaro L, Dojat M. Using a general theory of time and change in patient monitoring: experiment and evaluation. Comput Biol Med. 1997;27:435–452
  29. Combi C, Chittaro L. Abstraction on clinical data sequences: an object-oriented data model and a query language based on the event calculus. Artif Intell Med. 1999;17:271–301
  30. Cheng TS, Gadia SK. The Event Matching Language for querying temporal data. IEEE Trans Know Data Engin. 2002;14(5):1119–1125
  31. Theodoridis Y, Sellis T, Papadopulos A, Manopoulos Y. Specifications for efficient indexing in spatiotemporal databases. In:  Rafanelli M,  Jarke M editor. Proceedings of the 10th International Conference on Scientific and Statistical Database Management. Capri, Italy; July 1–3. Los Alamitos, CA: IEEE Computer Society; 1998;p. 123–132
  32. Peuquet D, Duan N. An event-based spatio-temporal data model (ESTDM) for temporal analysis of geographical data. Int J Geo Inf Syst. 1995;9:7–24
  33. Claramunt B, Theriault M. Managing time in GIS: an event-oriented approach. In:  Clifford J,  Atuzhilin A editor. Recent advances on temporal databases. Zürich: Springer-Verlag; 1995;p. 23–42
  34. Renolen A. History graphs: conceptual modeling of spatio-temporal data. GIS frontiers in business and science. vol. 2. Czech Republic, Brno: International Cartographic Association; 1996;
  35. Erwig M, Güting RH, Schneider M, Vazirgiannis M. Spatio-temporal data types: an approach to modeling and querying moving objects in databases. Geoinformatica. 1999;3:265–291
  36. Güting RH, Bölen MH, Erwig M, Jenssen CS, Lorentzos N, Schneider M, et al. A foundation for representing and querying moving objects. ACM Trans Dat Syst. 2000;25:1–42
  37. Erwig M, Schneider M. Developments in spatio-temporal query languages. In:  Spaccapietra S,  Pissinou N,  Cha SK editor. Proceedings of the IEEE International Workshop on Spatio-temporal Data Models and Languages. Florence, Italy, August 30–31. Los Alamitos, CA: IEEE Computer Society; 1999;p. 441–449
  38. Sistla P, Wolfson O, Chamberlain S, Dao S. Modeling and querying moving objects. In:  Gray WA,  Larson PA editor. Proceedings of the 13th International Conference on Data Engineering (ICDE13). UK, Birmingham; April 7–11. Los Alamitos, CA: IEEE Computer Society; 1997;p. 422–433
  39. Cohn AG, Hazarika SM. Qualitative spatial representation and reasoning: an overview. Fundam Inform. 2001;43:2–32
  40. Tarski A, editor. Les fondements de la géométrie des corps. Ksiega Pamiatkowa Pierwszego Polskiego Zjazdu Matematycznego. A supplement to Annales de la Société Polonaise de Mathématique; 1929: 29–33. English translation: Tarski A, editor. Foundations of the geometry of solids. In: Logic, semantics, metamathematics. Oxford: Clarendon Press; 1956.
  41. Whitehead AN. Process and reality. New York: The Macmillan Company; 1929;
  42. Asher N, Vieu L. Toward a geometry of common sense: a semantic and complete axiomatization of mereotopology. In:  Mellish C editors. Proceedings of the IJCAI ’95. Montréal, Québec, Canada, 20–25 August. San Mateo, CA: Morgan Kaufmann; 1995;p. 846–852
  43. Aurnague M, Vieu L. A three-level approach to the semantics of space. In:  Zelinski-Wibbelt C editors. Semantics of prepositions: from mental processing to natural language processing, Natural Language Processing no 3. Berlin: Mouton de Gruyter; 1993;p. 393–439
  44. Vieu L. Spatial representation and reasoning in artificial intelligence. In:  Stock O editors. Spatial and temporal reasoning. Dordrecht: Kluwer; 1997;p. 5–41
  45. Tversky B. Cognitive maps, cognitive collages, and spatial mental models. In:  Frank A,  Campari I editor. Spatial information theory. Berlin: Springer; 1993;p. 14–24
  46. Hirtle SC, Heidorn PB. The structure of cognitive maps: representations and processes. In:  Gärling T,  Golledge RG editor. Behavior, environment: psychological, geographical approaches. Amsterdam: North-Holland; 1993;p. 170–192
  47. Lesniewski S. On the foundation of mathematics. Topoi 1983;2:7–52. Reprints of: Lesniewski S. O podstawach matematyki. Przeglad Filozoficzny 1927–1931; 30–34.
  48. Clarke B. A calculus of individuals based on ‘connection’. Notre Dame J Formal Logic. 1981;22:204–218
  49. Cui Z, Cohn AG, Randell DA. Qualitative and topological relationships in spatial databases. In:  Abel DJ,  Ooi BC editor. Proceedings of the Third International Symposium on Advances in Spatial Databases, Singapore, 1993, Volume 692 of Lecture Notes in Computer Sciences. London, UK: Springer-Verlag; 1993;p. 296–315
  50. Cohn AG, Bennett B, Gooday J, Gotts NM. Qualitative spatial representation and reasoning with the region connection calculus. Geoinformatica. 1997;1:1–44
  51. Galton A. Towards a qualitative theory of movement. In:  Frank AU,  Kuhn W editor. Proceedings of the Second International Conference on Spatial Information Theory, Semmering, Austria,1995. Volume 988 of Lecture Notes in Computer Sciences. Berlin: Springer-Verlag; 1995;p. 377–396
  52. Hazarika SM, Cohn AG. Qualitative spatio-temporal continuity. In:  Montello D editors. Proceedings of the COSIT’01, Morro Bay, California, USA, September 2001. Volume 2205 of Lecture Notes in Computer Sciences. Berlin: Springer-Verlag; 2001;p. 92–107
  53. Knauff M. The cognitive adequacy of Allen's interval calculus for qualitative spatial representation and reasoning. Spatial Cog Comput. 1999;1:261–290
  54. Erwig M, Schneider M. Spatio-temporal predicates. IEEE Trans Know Data Eng. 2002;14:881–901
  55. Shanahan M. The event calculus explained. In:  Wooldridge MJ,  Veloso M editor. Artificial intelligence today. Volume 1600 of lecture notes in computer sciences. Berlin: Springer; 1999;p. 409–430
  56. Chittaro L, Montanari A. Efficient temporal reasoning in the cached event calculus. Comput Intell. 1996;12(3):359–382
  57. Vögele T, Schlieder C, Visser U. Intuitive modelling of place name regions for spatial information retrieval. In: Proceedings of the International Conference COSIT 2003, Spatial Information Theory: Foundations of Geographic Information Science. Lecture Notes in Computer Science, Volume 2825. Kartause Ittingen, Switzerland, September 24–28, 2003. Heidelberg: Springer-Verlag; 2003;p. 239–252
  58. Bittner T, Stell JG. Vagueness and rough location. GeoInformatica. 2002;6:99–121
  59. Dojat M, Sayettat C. A realistic model for temporal reasoning in real-time patient monitoring. Appl Artif Intell. 1996;10:121–143

PII: S0933-3657(05)00078-3

doi: 10.1016/j.artmed.2005.06.001

Artificial Intelligence in Medicine
Volume 38, Issue 2 , Pages 137-156 , October 2006

Article Tools

* Image Usage & Resolution