Business Processes Verification with Temporal Answer Set Programming. - Laura Giordano 001; Alberto Martelli; Matteo Spiotta; Daniele Theseider Dupré (KiBP@KR, 2012)

Conformance Analysis of Execution Traces with Clinical Guidelines and Basic Medical Knowledge in Answer Set Programming. - Matteo Spiotta; Alessio Bottrighi; Daniele Theseider Dupré (AIBP@AI*IA, 2013)

Business process verification with constraint temporal answer set programming. - Laura Giordano 001; Alberto Martelli; Matteo Spiotta; Daniele Theseider Dupré (Theory Pract. Log. Program., 2013)

Advances in the GINSENG Project. - Paolo Terenziani; Alessio Bottrighi; Laura Giordano 001; Giuliana Franceschinis; Stefania Montani; Luca Piovesan; Luigi Portinale; Stefania Rubrichi; Matteo Spiotta; Daniele Theseider Dupré (ICHI, 2014)

Conformance Analysis of the Execution of Clinical Guidelines with Basic Medical Knowledge and Clinical Terminology. - Matteo Spiotta; Alessio Bottrighi; Laura Giordano 001; Daniele Theseider Dupré (KR4HC@VSL, 2014)

Temporal Conformance Analysis of Clinical Guidelines Execution. - Matteo Spiotta; Paolo Terenziani; Daniele Theseider Dupré (AIME, 2015)

Answer Set Programming for Temporal Conformance Analysis of Clinical Guidelines Execution. - Matteo Spiotta; Paolo Terenziani; Daniele Theseider Dupré (KR4HC/ProHealth, 2015)

ASP for Reasoning about Actions with an EL^bot Knowledge Base. - Laura Giordano 001; Alberto Martelli; Matteo Spiotta; Daniele Theseider Dupré (CILC, 2016)

Temporal Conformance Analysis and Explanation of Clinical Guidelines Execution: An Answer Set Programming Approach. - Matteo Spiotta; Paolo Terenziani; Daniele Theseider Dupré (IEEE Trans. Knowl. Data Eng., 2017)

ASP for Conformance Analysis and Explanation of Clinical Guidelines Execution. - Luca Piovesan; Matteo Spiotta; Paolo Terenziani; Daniele Theseider Dupré (Künstliche Intell., 2018)