| Temporal conformance analysis and explanation of clinical guidelines execution: An answer set programming approach M Spiotta, P Terenziani, DT Dupré IEEE Transactions on Knowledge and Data Engineering 29 (11), 2567-2580, 2017 | 18 | 2017 |
| Business process verification with constraint temporal answer set programming L Giordano, A Martelli, M Spiotta, DT Dupré Theory and Practice of Logic Programming 13 (4-5), 641-655, 2013 | 17 | 2013 |
| Conformance analysis of the execution of clinical guidelines with basic medical knowledge and clinical terminology M Spiotta, A Bottrighi, L Giordano, D Theseider Dupré Knowledge Representation for Health Care: 6th International Workshop, KR4HC …, 2014 | 11 | 2014 |
| ASP for reasoning about actions with an EL knowledge base L Giordano, A Martelli, M Spiotta, DT Dupré CEUR Workshop Proceedings 1645, 217-229, 2016 | 10 | 2016 |
| Answer set programming for temporal conformance analysis of clinical guidelines execution M Spiotta, P Terenziani, D Theseider Dupré Conference on Artificial Intelligence in Medicine in Europe, 65-79, 2015 | 6 | 2015 |
| Business Processes Verification with Temporal Answer Set Programming. L Giordano, A Martelli, M Spiotta, DT Dupré KiBP@ KR, 48-59, 2012 | 1 | 2012 |
| ASP for Conformance Analysis and Explanation of Clinical Guidelines Execution L Piovesan, M Spiotta, P Terenziani, D Theseider Dupré KI-Künstliche Intelligenz 32, 201-204, 2018 | | 2018 |
| Temporal conformance analysis of clinical guidelines execution M Spiotta, P Terenziani, D Theseider Dupré Conference on Artificial Intelligence in Medicine in Europe, 332-336, 2015 | | 2015 |
| Advances in the GINSENG Project P Terenziani, A Bottrighi, L Giordano, G Franceschinis, S Montani, ... 2014 IEEE International Conference on Healthcare Informatics, 368-368, 2014 | | 2014 |
| Conformance Analysis of Execution Traces with Clinical Guidelines and Basic Medical Knowledge in Answer Set Programming. M Spiotta, A Bottrighi, DT Dupré AIBP@ AI* IA, 91-100, 2013 | | 2013 |
