Frank van Harmelen

Publications

Annette Teije, Mar Marcos, Joyce van Croonenborg, Christoph Duelli, Frank van Harmelen, Peter Lucas, Silvia Miksch, Wolfgang Reif, Kitty Rosenbrand, Andreas Seyfang, "Improving Medical Protocols by Formal Methods", Artifical Intelligence in Medicine (AIIM), vol. 36, pp. 193–209, 2006.
Michael Balser, Oscar Coltell, Joyce van Croonenborg, Christoph Duelli, Frank van Harmelen, Albert Jovell, Peter Lucas, Mar Marcos, Silvia Miksch, Wolfgang Reif, Kitty Rosenbrand, Andreas Seyfang, Annette Teije, "Protocure: Supporting the Development of Medical Protocols through Formal Methods", Proceedings of the International Joint Meeting EuroMISE 2004, pp. 81, 2004.
Michael Balser, Oscar Coltell, Joyce van Croonenborg, Christoph Duelli, Frank van Harmelen, Albert Jovell, Peter Lucas, Mar Marcos, Silvia Miksch, Wolfgang Reif, Kitty Rosenbrand, Andreas Seyfang, Annette Teije, "Protocure: Integrating Formal Methods in the Development Process of Medical Guidelines and Protocols", Computer-based Support for Clinical Guidelines and Protocols. Proceedings of the Symposium on Computerized Guidelines and Protocols (CGP 2004), vol. 101, pp. 103–107, 2004.
Mar Marcos, G Berger, Frank van Harmelen, Annette Teije, H Roomans, Silvia Miksch, "Using Critiquing for Improving Medical Protocols: Harder than it Seems", Proceedings of European Conference on Artificial Intelligence in Medicine (AIME 2001), pp. 431–441, 2001.
Mar Marcos, G Berger, Frank van Harmelen, Annette Teije, H Roomans, Silvia Miksch, "{Using Critiquing for Improving Medical Protocols: Harder than it Seems}", 13th Belgian-Dutch Conference on Artificial Intelligence (BNAIC-01), pp. 191–192, 2001.

Edited Publications

Werner Horn, Christian Popow, Silvia Miksch, Andreas Seyfang, "Benefits of a Knowledge-based System for Parenteral Nutrition Support: a Report after 5 Years of Routine Daily Use", Proceedings of the 15th European Conference on Artificial Intelligence (ECAI 2002), pp. 613–617, 2002.
Silvia Miksch, Yuval Shahar, Peter Johnson, "Asbru: A Task-Specific, Intention-Based, and Time-Oriented Language for Representing Skeletal Plans", 7th Workshop on Knowledge Engineering: Methods & Languages (KEML-97), 1997.