@article{b24000c856414830948c326f9708ff73,
  title     = "Formalisation for decision support in anaesthesiology",
  abstract  = "This paper reports on research for decision support for anaesthesiologists at the University Hospital in Groningen, the Netherlands. Based on CAROLA, an existing automated operation documentation system, we designed a support environment that will assist in real-time diagnosis. The core of the work presented here consists of a knowledge base (containing anaesthesiological knowledge) and a diagnosis system. The knowledge base is specified in the logic-based formal specification language AFSL. This leads to a powerful and precise treatment of knowledge structuring and data abstraction.",
  keywords  = "Anesthesiology, Artificial Intelligence, Body Surface Area, Body Temperature, Decision Support Techniques, Hematocrit, Humans, Models, Theoretical, Journal Article",
  author    = "{Renardel de Lavalette}, {G R} and R. Groenboom and E Rotterdam and {van Harmelen}, F and {ten Teije}, A and {de Geus}, F.",
  year      = "1997",
  month     = "11",
  volume    = "11",
  pages     = "189--214",
  journal   = "Artificial Intelligence in Medicine",
  issn      = "0933-3657",
  publisher = "Elsevier",
  number    = "3",
}

{"_id":"5r8PigmuzHv9N7HZn","bibbaseid":"renardeldelavalette-groenboom-rotterdam-vanharmelen-tenteije-degeus-formalisationfordecisionsupportinanaesthesiology-1997","downloads":0,"creationDate":"2015-12-09T14:36:46.656Z","title":"Formalisation for decision support in anaesthesiology","author_short":["Renardel de Lavalette, G.","Groenboom, R.","Rotterdam, E","van Harmelen , F","ten Teije , A","de Geus , F."],"year":1997,"bibtype":"article","biburl":"https://raw.githubusercontent.com/KRRVU/website/master/publications/krr.bib","bibdata":{"bibtype":"article","type":"article","title":"Formalisation for decision support in anaesthesiology","abstract":"This paper reports on research for decision support for anaesthesiologists at the University Hospital in Groningen, the Netherlands. Based on CAROLA, an existing automated operation documentation system, we designed a support environment that will assist in real-time diagnosis. The core of the work presented here consists of a knowledge base (containing anaesthesiological knowledge) and a diagnosis system. The knowledge base is specified in the logic-based formal specification language AFSL. This leads to a powerful and precise treatment of knowledge structuring and data abstraction.","keywords":"Anesthesiology, Artificial Intelligence, Body Surface Area, Body Temperature, Decision Support Techniques, Hematocrit, Humans, Models, Theoretical, Journal Article","author":[{"propositions":[],"lastnames":["Renardel de Lavalette"],"firstnames":["G R"],"suffixes":[]},{"firstnames":["R."],"propositions":[],"lastnames":["Groenboom"],"suffixes":[]},{"firstnames":["E"],"propositions":[],"lastnames":["Rotterdam"],"suffixes":[]},{"propositions":["van Harmelen"],"lastnames":[],"firstnames":["F"],"suffixes":[]},{"propositions":["ten Teije"],"lastnames":[],"firstnames":["A"],"suffixes":[]},{"propositions":["de Geus"],"lastnames":[],"firstnames":["F."],"suffixes":[]}],"year":"1997","month":"11","volume":"11","pages":"189–214","journal":"Artificial Intelligence in Medicine","issn":"0933-3657","publisher":"Elsevier","number":"3","bibtex":"@article{b24000c856414830948c326f9708ff73,\n title = \"Formalisation for decision support in anaesthesiology\",\n abstract = \"This paper reports on research for decision support for anaesthesiologists at the University Hospital in Groningen, the Netherlands. Based on CAROLA, an existing automated operation documentation system, we designed a support environment that will assist in real-time diagnosis. The core of the work presented here consists of a knowledge base (containing anaesthesiological knowledge) and a diagnosis system. The knowledge base is specified in the logic-based formal specification language AFSL. This leads to a powerful and precise treatment of knowledge structuring and data abstraction.\",\n keywords = \"Anesthesiology, Artificial Intelligence, Body Surface Area, Body Temperature, Decision Support Techniques, Hematocrit, Humans, Models, Theoretical, Journal Article\",\n author = \"{Renardel de Lavalette}, {G R} and R. Groenboom and E Rotterdam and {van Harmelen}, F and {ten Teije}, A and {de Geus}, F.\",\n year = \"1997\",\n month = \"11\",\n volume = \"11\",\n pages = \"189--214\",\n journal = \"Artificial Intelligence in Medicine\",\n issn = \"0933-3657\",\n publisher = \"Elsevier\",\n number = \"3\",\n}\n\n\n","author_short":["Renardel de Lavalette, G.","Groenboom, R.","Rotterdam, E","van Harmelen , F","ten Teije , A","de Geus , F."],"key":"b24000c856414830948c326f9708ff73","id":"b24000c856414830948c326f9708ff73","bibbaseid":"renardeldelavalette-groenboom-rotterdam-vanharmelen-tenteije-degeus-formalisationfordecisionsupportinanaesthesiology-1997","role":"author","urls":{},"keyword":["Anesthesiology","Artificial Intelligence","Body Surface Area","Body Temperature","Decision Support Techniques","Hematocrit","Humans","Models","Theoretical","Journal Article"],"metadata":{"authorlinks":{}}},"search_terms":["formalisation","decision","support","anaesthesiology","renardel de lavalette","groenboom","rotterdam","van harmelen ","ten teije ","de geus "],"keywords":["anesthesiology","artificial intelligence","body surface area","body temperature","decision support techniques","hematocrit","humans","models","theoretical","journal article"],"authorIDs":[],"dataSources":["H6xuGqu5uQ6rXhdJ4","dJmTXpbSWWjnxatYT"]}