@inproceedings{Groot2007,
abstract = {Medical critiquing systems criticise clinical actions performed by a physician. In order to provide useful feedback, an important task is to find differences between the actual actions and a set of 'ideal' actions as described by a clinical guideline. In case differences exist, insight to which extent they are compatible is provided by the critiquing system. We propose a methodology for such critiquing, where the ideal actions are given by a formal model of a clinical guideline, and where the actual actions are derived from real world patient data. We employ model checking to investigate whether a part of the actual treatment is consistent with the guideline. Furthermore, it is shown how critiquing can be cast in terms of temporal logic, and what can be achieved by using model checking. The methodology has been applied to a clinical guideline of breast cancer in conjunction with breast cancer patient data. Springer-Verlag Berlin Heidelberg 2007.},
author = {Groot, P and Hommersom, A and Lucas, P and Serban, R and {Ten Teije}, A and {Van Harmelen}, F},
booktitle = {Proceedings of the Eleventh European Conference on Artificial Intelligence in Medicine (AIME'07), LNAI},
file = {:Users/annette/Library/Application Support/Mendeley Desktop/Downloaded/Groot et al. - 2007 - The role of model checking in critiquing based on clinical guidelines.pdf:pdf},
pages = {411--420},
publisher = {Springer Verlag},
title = {{The role of model checking in critiquing based on clinical guidelines}},
url = {http://www.scopus.com/scopus/inward/record.url?eid=2-s2.0-35148864030{\&}partnerID=40{\&}rel=R8.2.0 http://www.cs.vu.nl/{~}annette/papers-pdf/2007AIMEGroot.pdf},
volume = {4594 LNAI},
year = {2007}
}

{"_id":"gG5W27gHwjnaQCTLF","authorIDs":["54573d5e2abc8e9f370001f6"],"author_short":["Groot, P","Hommersom, A","Lucas, P","Serban, R","Ten Teije, A","Van Harmelen, F"],"bibbaseid":"groot-hommersom-lucas-serban-tenteije-vanharmelen-theroleofmodelcheckingincritiquingbasedonclinicalguidelines-2007","bibdata":{"bibtype":"inproceedings","type":"inproceedings","abstract":"Medical critiquing systems criticise clinical actions performed by a physician. In order to provide useful feedback, an important task is to find differences between the actual actions and a set of 'ideal' actions as described by a clinical guideline. In case differences exist, insight to which extent they are compatible is provided by the critiquing system. We propose a methodology for such critiquing, where the ideal actions are given by a formal model of a clinical guideline, and where the actual actions are derived from real world patient data. We employ model checking to investigate whether a part of the actual treatment is consistent with the guideline. Furthermore, it is shown how critiquing can be cast in terms of temporal logic, and what can be achieved by using model checking. The methodology has been applied to a clinical guideline of breast cancer in conjunction with breast cancer patient data. Springer-Verlag Berlin Heidelberg 2007.","author":[{"propositions":[],"lastnames":["Groot"],"firstnames":["P"],"suffixes":[]},{"propositions":[],"lastnames":["Hommersom"],"firstnames":["A"],"suffixes":[]},{"propositions":[],"lastnames":["Lucas"],"firstnames":["P"],"suffixes":[]},{"propositions":[],"lastnames":["Serban"],"firstnames":["R"],"suffixes":[]},{"propositions":[],"lastnames":["Ten Teije"],"firstnames":["A"],"suffixes":[]},{"propositions":[],"lastnames":["Van Harmelen"],"firstnames":["F"],"suffixes":[]}],"booktitle":"Proceedings of the Eleventh European Conference on Artificial Intelligence in Medicine (AIME'07), LNAI","file":":Users/annette/Library/Application Support/Mendeley Desktop/Downloaded/Groot et al. - 2007 - The role of model checking in critiquing based on clinical guidelines.pdf:pdf","pages":"411–420","publisher":"Springer Verlag","title":"The role of model checking in critiquing based on clinical guidelines","url":"http://www.scopus.com/scopus/inward/record.url?eid=2-s2.0-35148864030\\&partnerID=40\\&rel=R8.2.0 http://www.cs.vu.nl/~annette/papers-pdf/2007AIMEGroot.pdf","volume":"4594 LNAI","year":"2007","bibtex":"@inproceedings{Groot2007,\nabstract = {Medical critiquing systems criticise clinical actions performed by a physician. In order to provide useful feedback, an important task is to find differences between the actual actions and a set of 'ideal' actions as described by a clinical guideline. In case differences exist, insight to which extent they are compatible is provided by the critiquing system. We propose a methodology for such critiquing, where the ideal actions are given by a formal model of a clinical guideline, and where the actual actions are derived from real world patient data. We employ model checking to investigate whether a part of the actual treatment is consistent with the guideline. Furthermore, it is shown how critiquing can be cast in terms of temporal logic, and what can be achieved by using model checking. The methodology has been applied to a clinical guideline of breast cancer in conjunction with breast cancer patient data. Springer-Verlag Berlin Heidelberg 2007.},\nauthor = {Groot, P and Hommersom, A and Lucas, P and Serban, R and {Ten Teije}, A and {Van Harmelen}, F},\nbooktitle = {Proceedings of the Eleventh European Conference on Artificial Intelligence in Medicine (AIME'07), LNAI},\nfile = {:Users/annette/Library/Application Support/Mendeley Desktop/Downloaded/Groot et al. - 2007 - The role of model checking in critiquing based on clinical guidelines.pdf:pdf},\npages = {411--420},\npublisher = {Springer Verlag},\ntitle = {{The role of model checking in critiquing based on clinical guidelines}},\nurl = {http://www.scopus.com/scopus/inward/record.url?eid=2-s2.0-35148864030{\\&}partnerID=40{\\&}rel=R8.2.0 http://www.cs.vu.nl/{~}annette/papers-pdf/2007AIMEGroot.pdf},\nvolume = {4594 LNAI},\nyear = {2007}\n}\n","author_short":["Groot, P","Hommersom, A","Lucas, P","Serban, R","Ten Teije, A","Van Harmelen, F"],"key":"Groot2007","id":"Groot2007","bibbaseid":"groot-hommersom-lucas-serban-tenteije-vanharmelen-theroleofmodelcheckingincritiquingbasedonclinicalguidelines-2007","role":"author","urls":{"Paper":"http://www.scopus.com/scopus/inward/record.url?eid=2-s2.0-35148864030\\&partnerID=40\\&rel=R8.2.0 http://www.cs.vu.nl/~annette/papers-pdf/2007AIMEGroot.pdf"},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://www.cs.vu.nl/~annette/Annette-mendeley.bib","creationDate":"2015-02-26T22:21:45.761Z","downloads":0,"keywords":[],"search_terms":["role","model","checking","critiquing","based","clinical","guidelines","groot","hommersom","lucas","serban","ten teije","van harmelen"],"title":"The role of model checking in critiquing based on clinical guidelines","year":2007,"dataSources":["H6xuGqu5uQ6rXhdJ4","dJmTXpbSWWjnxatYT","LEcHEiZn5fKAs2WWu"]}