Matteo Spiotta

Publication Activity (10 Years)

Years Active: 2012-2018
Publications (10 Years): 5

Top Topics

Clinical Guidelines

Answer Set Programming

Business Process

Top Venues

KR4HC/ProHealth

Publications

Luca Piovesan, Matteo Spiotta, Paolo Terenziani, Daniele Theseider Dupré
ASP for Conformance Analysis and Explanation of Clinical Guidelines Execution. Künstliche Intell. 32 (2-3) (2018)
Matteo Spiotta, Paolo Terenziani, Daniele Theseider Dupré
Temporal Conformance Analysis and Explanation of Clinical Guidelines Execution: An Answer Set Programming Approach. IEEE Trans. Knowl. Data Eng. 29 (11) (2017)
Laura Giordano, Alberto Martelli, Matteo Spiotta, Daniele Theseider Dupré
ASP for Reasoning about Actions with an EL^bot Knowledge Base. CILC (2016)
Matteo Spiotta, Paolo Terenziani, Daniele Theseider Dupré
Temporal Conformance Analysis of Clinical Guidelines Execution. AIME (2015)
Matteo Spiotta, Paolo Terenziani, Daniele Theseider Dupré
Answer Set Programming for Temporal Conformance Analysis of Clinical Guidelines Execution. KR4HC/ProHealth (2015)
Paolo Terenziani, Alessio Bottrighi, Laura Giordano, Giuliana Franceschinis, Stefania Montani, Luca Piovesan, Luigi Portinale, Stefania Rubrichi, Matteo Spiotta, Daniele Theseider Dupré
Advances in the GINSENG Project. ICHI (2014)
Matteo Spiotta, Alessio Bottrighi, Laura Giordano, Daniele Theseider Dupré
Conformance Analysis of the Execution of Clinical Guidelines with Basic Medical Knowledge and Clinical Terminology. KR4HC@VSL (2014)
Matteo Spiotta, Alessio Bottrighi, Daniele Theseider Dupré
Conformance Analysis of Execution Traces with Clinical Guidelines and Basic Medical Knowledge in Answer Set Programming. AIBP@AI*IA (2013)
Laura Giordano, Alberto Martelli, Matteo Spiotta, Daniele Theseider Dupré
Business process verification with constraint temporal answer set programming. Theory Pract. Log. Program. 13 (4-5) (2013)
Laura Giordano, Alberto Martelli, Matteo Spiotta, Daniele Theseider Dupré
Business Processes Verification with Temporal Answer Set Programming. KiBP@KR (2012)