SPIOTTA, Matteo
SPIOTTA, Matteo
Mostra
records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.006 secondi).
ASP for Conformance Analysis and Explanation of Clinical Guidelines Execution
2018-01-01 Piovesan, Luca; Spiotta, Matteo; Terenziani, Paolo; Theseider Dupré, Daniele
ASP for reasoning about actions with an EL^bot knowledge base
2016-01-01 Giordano, Laura; Martelli, Alberto; Spiotta, Matteo; THESEIDER DUPRE', Daniele
Business process verification with constraint temporal answer set programming
2013-01-01 Giordano, Laura; A., Martelli; THESEIDER DUPRE', Daniele; Spiotta, Matteo
Conformance Analysis of Execution Traces with Clinical Guidelines and Basic Medical Knowledge in Answer Set Programming
2013-01-01 Spiotta, Matteo; Bottrighi, Alessio; THESEIDER DUPRE', Daniele
Conformance Analysis of the Execution of Clinical Guidelines with Basic Medical Knowledge and Clinical Terminology
2014-01-01 Spiotta, Matteo; Bottrighi, Alessio; Giordano, Laura; THESEIDER DUPRE', Daniele
Temporal Conformance Analysis and Explanation of Clinical Guidelines Execution: An Answer Set Programming Approach
2017-01-01 Spiotta, Matteo; Terenziani, Paolo; Theseider Dupré, Daniele