Conformance Checking of Executed Clinical Guidelines in presence of Basic Medical Knowledge Alessio Bottrighi, Federico Chesani, Paola Mello, Marco Montali, Stefania Montani, Paolo Terenziani
In the Proceedings of the 4th International Workshop on Process-oriented Information Systems in Healthcare (ProHealth 11), Clermont-Ferrand, France, August 29, 2011.
Integration of abductive reasoning and constraint optimization in SCIFF Marco Gavanelli, Marco Alberti, Evelina Lamma
In the Proceedings of the 25th International Conference on Logic Programming (ICLP '09), Lecture Notes in Computer Science, 2009, Volume 5649/2009, 387-401. DOI: 10.1007/978-3-642-02846-5_32
16-Nov-2011: submitted by Fabio Fioravanti 16-Nov-2011: published on CEUR-WS.org
24-Nov-2011: corrected some paper titles, add page numbers, add proceedings pdf file