Using Constraint Logic Programming for the Verification of Customized Decision Models for Clinical Guidelines.

Szymon Wilk, Adi Fux, Martin Michalowski, Mor Peleg, Pnina Soffer

Browse the full AIME paper archive.