@InProceedings{AIME07,
  author =       "Perry Groot and Frank van Harmelen and Arjen Hommersom and
                  Peter Lucas and Radu Serban and Annette ten Teije",
  title =        "The Role of Model Checking in Critiquing based on Clinical Guidelines ",
  booktitle =    "Proceedings of the Eleventh European Conference on Artificial
                  Intelligence in Medicine (AIME'07)",
  year =         2007,
  pages     = {411-420},
  publisher =    "Springer Verlag",
  series =       "LNAI",
  keywords = {Medical Knowledge Representation},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/AIME07.pdf"
}

{"_id":"sDnhZAmBPRK5gBrQP","bibbaseid":"groot-vanharmelen-hommersom-lucas-serban-tenteije-theroleofmodelcheckingincritiquingbasedonclinicalguidelines-2007","author_short":["Groot, P.","van Harmelen, F.","Hommersom, A.","Lucas, P.","Serban, R.","ten Teije, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Perry"],"propositions":[],"lastnames":["Groot"],"suffixes":[]},{"firstnames":["Frank"],"propositions":["van"],"lastnames":["Harmelen"],"suffixes":[]},{"firstnames":["Arjen"],"propositions":[],"lastnames":["Hommersom"],"suffixes":[]},{"firstnames":["Peter"],"propositions":[],"lastnames":["Lucas"],"suffixes":[]},{"firstnames":["Radu"],"propositions":[],"lastnames":["Serban"],"suffixes":[]},{"firstnames":["Annette"],"propositions":["ten"],"lastnames":["Teije"],"suffixes":[]}],"title":"The Role of Model Checking in Critiquing based on Clinical Guidelines ","booktitle":"Proceedings of the Eleventh European Conference on Artificial Intelligence in Medicine (AIME'07)","year":"2007","pages":"411-420","publisher":"Springer Verlag","series":"LNAI","keywords":"Medical Knowledge Representation","urlpaper":"http://www.cs.vu.nl/~frankh/postscript/AIME07.pdf","bibtex":"@InProceedings{AIME07,\r\n author = \"Perry Groot and Frank van Harmelen and Arjen Hommersom and\r\n Peter Lucas and Radu Serban and Annette ten Teije\",\r\n title = \"The Role of Model Checking in Critiquing based on Clinical Guidelines \",\r\n booktitle = \"Proceedings of the Eleventh European Conference on Artificial\r\n Intelligence in Medicine (AIME'07)\",\r\n year = 2007,\r\n pages = {411-420},\r\n publisher = \"Springer Verlag\",\r\n series = \"LNAI\",\r\n keywords = {Medical Knowledge Representation},\r\n urlPaper = \"http://www.cs.vu.nl/~frankh/postscript/AIME07.pdf\"\r\n}\r\n\r\n","author_short":["Groot, P.","van Harmelen, F.","Hommersom, A.","Lucas, P.","Serban, R.","ten Teije, A."],"key":"AIME07","id":"AIME07","bibbaseid":"groot-vanharmelen-hommersom-lucas-serban-tenteije-theroleofmodelcheckingincritiquingbasedonclinicalguidelines-2007","role":"author","urls":{"Paper":"http://www.cs.vu.nl/~frankh/postscript/AIME07.pdf"},"keyword":["Medical Knowledge Representation"],"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://www.cs.vu.nl/~frankh/abstracts/all.bib","dataSources":["9CnmDh6oPMNTwHksm"],"keywords":["medical knowledge representation"],"search_terms":["role","model","checking","critiquing","based","clinical","guidelines","groot","van harmelen","hommersom","lucas","serban","ten teije"],"title":"The Role of Model Checking in Critiquing based on Clinical Guidelines ","year":2007}