Arjen Hommersom, Perry Groot, Peter J. F. Lucas, Michael Balser, Jonathan Schmitt. Combining Task Execution and Background Knowledge for the Verification of Medical Guidelines. In Max Bramer, Frans Coenen, Andrew Tuson, editors, Research and Development in Intelligent Systems XXIII, Proceedings of AI-2006, the Twenty-sixth SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Cambridge, UK, 11-13 December, 2006. pages 3-16, Springer, 2006. [doi]
Abstract is missing.