SPIOTTA, Matteo

SPIOTTA, Matteo  

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