@article{RenardelDeLavalette1997,
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.},
author = {{Renardel De Lavalette}, G R and Groenboom, R and Rotterdam, E and {Van Harmelen}, F and {Ten Teije}, A and {De Geus}, F},
institution = {Department of Computing Science, University of Groningen, The Netherlands. grl@cs.rug.nl},
journal = {Artificial Intelligence in Medicine},
number = {3},
pages = {189--214},
pmid = {9413606},
publisher = {Elsevier},
title = {{Formalisation for decision support in anaesthesiology.}},
url = {http://linkinghub.elsevier.com/retrieve/pii/S0933365797000316 http://www.cs.vu.nl/{~}annette/papers-pdf/1997AIIM.pdf},
volume = {11},
year = {1997}
}

{"_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 R","Groenboom, R","Rotterdam, E","Van Harmelen, F","Ten Teije, A","De Geus, F"],"year":1997,"bibtype":"article","biburl":"http://www.cs.vu.nl/~annette/Annette-mendeley.bib","bibdata":{"bibtype":"article","type":"article","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.","author":[{"propositions":[],"lastnames":["Renardel De Lavalette"],"firstnames":["G","R"],"suffixes":[]},{"propositions":[],"lastnames":["Groenboom"],"firstnames":["R"],"suffixes":[]},{"propositions":[],"lastnames":["Rotterdam"],"firstnames":["E"],"suffixes":[]},{"propositions":[],"lastnames":["Van Harmelen"],"firstnames":["F"],"suffixes":[]},{"propositions":[],"lastnames":["Ten Teije"],"firstnames":["A"],"suffixes":[]},{"propositions":[],"lastnames":["De Geus"],"firstnames":["F"],"suffixes":[]}],"institution":"Department of Computing Science, University of Groningen, The Netherlands. grl@cs.rug.nl","journal":"Artificial Intelligence in Medicine","number":"3","pages":"189–214","pmid":"9413606","publisher":"Elsevier","title":"Formalisation for decision support in anaesthesiology.","url":"http://linkinghub.elsevier.com/retrieve/pii/S0933365797000316 http://www.cs.vu.nl/~annette/papers-pdf/1997AIIM.pdf","volume":"11","year":"1997","bibtex":"@article{RenardelDeLavalette1997,\nabstract = {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.},\nauthor = {{Renardel De Lavalette}, G R and Groenboom, R and Rotterdam, E and {Van Harmelen}, F and {Ten Teije}, A and {De Geus}, F},\ninstitution = {Department of Computing Science, University of Groningen, The Netherlands. grl@cs.rug.nl},\njournal = {Artificial Intelligence in Medicine},\nnumber = {3},\npages = {189--214},\npmid = {9413606},\npublisher = {Elsevier},\ntitle = {{Formalisation for decision support in anaesthesiology.}},\nurl = {http://linkinghub.elsevier.com/retrieve/pii/S0933365797000316 http://www.cs.vu.nl/{~}annette/papers-pdf/1997AIIM.pdf},\nvolume = {11},\nyear = {1997}\n}\n","author_short":["Renardel De Lavalette, G R","Groenboom, R","Rotterdam, E","Van Harmelen, F","Ten Teije, A","De Geus, F"],"key":"RenardelDeLavalette1997","id":"RenardelDeLavalette1997","bibbaseid":"renardeldelavalette-groenboom-rotterdam-vanharmelen-tenteije-degeus-formalisationfordecisionsupportinanaesthesiology-1997","role":"author","urls":{"Paper":"http://linkinghub.elsevier.com/retrieve/pii/S0933365797000316 http://www.cs.vu.nl/~annette/papers-pdf/1997AIIM.pdf"},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"search_terms":["formalisation","decision","support","anaesthesiology","renardel de lavalette","groenboom","rotterdam","van harmelen","ten teije","de geus"],"keywords":[],"authorIDs":[],"dataSources":["H6xuGqu5uQ6rXhdJ4","dJmTXpbSWWjnxatYT","LEcHEiZn5fKAs2WWu"]}