Combining Task Execution and Background Knowledge for the Verification of Medical Guidelines.

Arjen Hommersom, Perry Groot, Peter J. F. Lucas, Michael Balser, Jonathan Schmitt

Browse the full SGAI paper archive.