Using model checking for critiquing based on clinical guidelines
Author:
Perry Groot,Arjen Hommersom,Peter J.F. Lucas,Robbert-Jan Merk,Annette ten Teije,Frank van Harmelen,Radu Serban
Publication:
Artificial Intelligence in Medicine
Copyright © 2008 Elsevier B.V. All rights reserved.