{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T18:43:27Z","timestamp":1648925007234},"reference-count":26,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[1997,11,1]],"date-time":"1997-11-01T00:00:00Z","timestamp":878342400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Artificial Intelligence in Medicine"],"published-print":{"date-parts":[[1997,11]]},"DOI":"10.1016\/s0933-3657(97)00031-6","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T04:25:06Z","timestamp":1027657506000},"page":"189-214","source":"Crossref","is-referenced-by-count":1,"title":["Formalisation for decision support in anaesthesiology"],"prefix":"10.1016","volume":"11","author":[{"given":"Gerard R.Renardel","family":"de Lavalette","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rix","family":"Groenboom","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ernest","family":"Rotterdam","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank","family":"van Harmelen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Annette","family":"ten Teije","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fred","family":"de Geus","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0933-3657(97)00031-6_BIB1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0933-3657(94)90055-8","article-title":"A causal and temporal reasoning model and its use in drug therapy applications","volume":"6","author":"Barahona","year":"1994","journal-title":"Artif. Intell. Med."},{"key":"10.1016\/S0933-3657(97)00031-6_BIB2","series-title":"Minimalist Program","author":"Chomsky","year":"1995"},{"key":"10.1016\/S0933-3657(97)00031-6_BIB3","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1111\/j.1467-8640.1991.tb00388.x","article-title":"A spectrum of logical definitions of model-based diagnosis","volume":"7","author":"Console","year":"1991","journal-title":"Computational Intell."},{"key":"10.1016\/S0933-3657(97)00031-6_BIB4","article-title":"Formal Specification and Design","volume":"Vol. 35","author":"Feijs","year":"1992"},{"key":"10.1016\/S0933-3657(97)00031-6_BIB5","series-title":"The Knowledge Acquisition and Representation Language KARL","author":"Fensel","year":"1995"},{"key":"10.1016\/S0933-3657(97)00031-6_BIB6","series-title":"Proc. 12th European Conf. Artif. Intell. ECAI 96","first-page":"423","article-title":"MLPM: defining a semantics and axiomatization for specifying the reasoning process of knowledge-based sytems","author":"Fensel","year":"1996"},{"key":"10.1016\/S0933-3657(97)00031-6_BIB7","series-title":"daVinci V1.4 user manual","author":"Frohlick","year":"1995"},{"key":"10.1016\/S0933-3657(97)00031-6_BIB8","series-title":"Ph.D. thesis","article-title":"Decision Support in Anaesthesia","author":"de Geus","year":"1992"},{"key":"10.1016\/S0933-3657(97)00031-6_BIB9","series-title":"FME '96: Industrial Benefit and Advances in Formal Methods","first-page":"120","article-title":"Formalizing anaesthesia: a case study in formal specification","volume":"1051","author":"Groenboom","year":"1996"},{"key":"10.1016\/S0933-3657(97)00031-6_BIB10","series-title":"FAN: Formalizing ANaesthesia\u2014Report on the FAN-project","year":"1996"},{"key":"10.1016\/S0933-3657(97)00031-6_BIB11","doi-asserted-by":"crossref","DOI":"10.1016\/1042-8143(92)90017-U","article-title":"(ML)2: a formal language for KADS models of expertise","volume":"4","author":"van Harmelen","year":"1992","journal-title":"Knowledge Acquisition"},{"key":"10.1016\/S0933-3657(97)00031-6_BIB12","series-title":"Formal Specification of Complex Reasoning Systems","first-page":"257","article-title":"Comparing formal specification languages","author":"van Harmelen","year":"1993"},{"key":"10.1016\/S0933-3657(97)00031-6_BIB13","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1017\/S0269888900007554","article-title":"Formal Methods in Knowledge Engineering","volume":"10","author":"van Harmelen","year":"1995","journal-title":"Knowledge Eng. Rev."},{"key":"10.1016\/S0933-3657(97)00031-6_BIB14","series-title":"Units of Measurements: handbook on international standards for units of measurements","year":"1979"},{"key":"10.1016\/S0933-3657(97)00031-6_BIB15","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1007\/BF02915861","article-title":"Carola, a computer system for automatic documentation in anesthesia","volume":"4","author":"Karliczek","year":"1987","journal-title":"Int. J. Clin. Monit. Comput."},{"key":"10.1016\/S0933-3657(97)00031-6_BIB16","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1016\/0933-3657(95)00035-6","article-title":"Temporal diagnotistic reasoning based on time-objects","volume":"8","author":"Keravnou","year":"1996","journal-title":"Artif. Intell. Med."},{"key":"10.1016\/S0933-3657(97)00031-6_BIB17","doi-asserted-by":"crossref","first-page":"395","DOI":"10.1016\/0933-3657(93)90033-Y","article-title":"The representation of medical reasoning models in resolution-based theorem provers","volume":"5","author":"Lucas","year":"1993","journal-title":"Artif. Intell. Med."},{"key":"10.1016\/S0933-3657(97)00031-6_BIB18","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/0933-3657(95)00003-O","article-title":"Architectures for intelligent systems based on reusable components","volume":"7","author":"Musen","year":"1995","journal-title":"Artif. Intell. Med."},{"key":"10.1016\/S0933-3657(97)00031-6_BIB19","series-title":"Programming with Standard ML","author":"Myers","year":"1993"},{"key":"10.1016\/S0933-3657(97)00031-6_BIB20","series-title":"Proc. AAAI-86","first-page":"140","article-title":"Plausibility of diagnostic hypotheses: The nature of simplicity","author":"Peng","year":"1986"},{"key":"10.1016\/S0933-3657(97)00031-6_BIB21","series-title":"Object Oriented Modeling and Design","author":"Rumbaugh","year":"1991"},{"key":"10.1016\/S0933-3657(97)00031-6_BIB22","doi-asserted-by":"crossref","DOI":"10.1109\/64.363263","article-title":"CommonKADS, a comprehensive methodology for KBS development","volume":"9","author":"Schreiber","year":"1994","journal-title":"IEEE Expert"},{"key":"10.1016\/S0933-3657(97)00031-6_BIB23","doi-asserted-by":"crossref","first-page":"455","DOI":"10.1016\/0933-3657(95)00015-X","article-title":"A theoretical approach to artificial intelligence systems in medicine","volume":"7","author":"Spyropoulos","year":"1995","journal-title":"Artif. Intell. Med."},{"key":"10.1016\/S0933-3657(97)00031-6_BIB24","series-title":"Proc. of DX-94, the 5th Int. Workshop Principles of Diagnosis","article-title":"An extended spectrum of logical definitions for diagnostic systems","author":"ten Teije","year":"1994"},{"key":"10.1016\/S0933-3657(97)00031-6_BIB25","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1016\/0933-3657(93)90004-M","article-title":"Model-based diagnosis in intensive care monitoring: The YAQ approach","volume":"5","author":"Uckun","year":"1993","journal-title":"Artif. Intell. Med."},{"key":"10.1016\/S0933-3657(97)00031-6_BIB26","doi-asserted-by":"crossref","DOI":"10.1016\/1042-8143(92)90013-Q","article-title":"KADS: A modelling approach to knowledge engineering","volume":"4","author":"Wielinga","year":"1992","journal-title":"Knowledge Acquisition"}],"container-title":["Artificial Intelligence in Medicine"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0933365797000316?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0933365797000316?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,12]],"date-time":"2019-04-12T10:52:53Z","timestamp":1555066373000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0933365797000316"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,11]]},"references-count":26,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1997,11]]}},"alternative-id":["S0933365797000316"],"URL":"https:\/\/doi.org\/10.1016\/s0933-3657(97)00031-6","relation":{},"ISSN":["0933-3657"],"issn-type":[{"value":"0933-3657","type":"print"}],"subject":[],"published":{"date-parts":[[1997,11]]}}}