%0 Conference Paper %1 conf/ecai/HommersomGLBS06 %A Hommersom, Arjen %A Groot, Perry %A Lucas, Peter J. F. %A Balser, Michael %A Schmitt, Jonathan %B ECAI %D 2006 %E Brewka, Gerhard %E Coradeschi, Silvia %E Perini, Anna %E Traverso, Paolo %I IOS Press %K dblp %P 835-836 %T Verification of Medical Guidelines Using Task Execution with Background Knowledge. %U http://dblp.uni-trier.de/db/conf/ecai/ecai2006.html#HommersomGLBS06 %V 141 %@ 1-58603-642-4

@inproceedings{conf/ecai/HommersomGLBS06, added-at = {2007-07-19T00:00:00.000+0200}, author = {Hommersom, Arjen and Groot, Perry and Lucas, Peter J. F. and Balser, Michael and Schmitt, Jonathan}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/20a4f693c044b30ca888a382c08da607f/dblp}, booktitle = {ECAI}, crossref = {conf/ecai/2006}, editor = {Brewka, Gerhard and Coradeschi, Silvia and Perini, Anna and Traverso, Paolo}, interhash = {9b6b1e758fe7804a6db93bfa6fb34c0c}, intrahash = {0a4f693c044b30ca888a382c08da607f}, isbn = {1-58603-642-4}, keywords = {dblp}, pages = {835-836}, publisher = {IOS Press}, series = {Frontiers in Artificial Intelligence and Applications}, timestamp = {2016-02-02T16:18:41.000+0100}, title = {Verification of Medical Guidelines Using Task Execution with Background Knowledge.}, url = {http://dblp.uni-trier.de/db/conf/ecai/ecai2006.html#HommersomGLBS06}, volume = 141, year = 2006 }