Verification of Medical Guidelines Using Task Execution with Background Knowledge.

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

Browse the full ECAI paper archive.