Matteo Spiotta

According to our database, Matteo Spiotta authored at least 10 papers between 2012 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

ASP for Conformance Analysis and Explanation of Clinical Guidelines Execution.

Luca Piovesan, Matteo Spiotta, Paolo Terenziani, Daniele Theseider Dupré

Künstliche Intell., 2018

2017

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

2016

ASP for Reasoning about Actions with an EL^bot Knowledge Base.

Laura Giordano, Alberto Martelli, Matteo Spiotta, Daniele Theseider Dupré

Proceedings of the 31st Italian Conference on Computational Logic, 2016

2015

Answer Set Programming for Temporal Conformance Analysis of Clinical Guidelines Execution.

Matteo Spiotta, Paolo Terenziani, Daniele Theseider Dupré

Proceedings of the Knowledge Representation for Health Care, 2015

Temporal Conformance Analysis of Clinical Guidelines Execution.

Matteo Spiotta, Paolo Terenziani, Daniele Theseider Dupré

Proceedings of the Artificial Intelligence in Medicine, 2015

2014

Conformance Analysis of the Execution of Clinical Guidelines with Basic Medical Knowledge and Clinical Terminology.

Matteo Spiotta, Alessio Bottrighi, Laura Giordano, Daniele Theseider Dupré

Proceedings of the Knowledge Representation for Health Care - 6th International Workshop, 2014

Advances in the GINSENG Project.

Paolo Terenziani, Alessio Bottrighi, Laura Giordano, Giuliana Franceschinis, Stefania Montani, Luca Piovesan, Luigi Portinale, Stefania Rubrichi, Matteo Spiotta, Daniele Theseider Dupré

Proceedings of the 2014 IEEE International Conference on Healthcare Informatics, 2014

2013

Business process verification with constraint temporal answer set programming.

Laura Giordano, Alberto Martelli, Matteo Spiotta, Daniele Theseider Dupré

Theory Pract. Log. Program., 2013

Conformance Analysis of Execution Traces with Clinical Guidelines and Basic Medical Knowledge in Answer Set Programming.

Matteo Spiotta, Alessio Bottrighi, Daniele Theseider Dupré

Proceedings of the Workshop AI Meets Business Processes 2013 co-located with the 13th Conference of the Italian Association for Artificial Intelligence (AI*IA 2013), 2013

2012

Business Processes Verification with Temporal Answer Set Programming.

Laura Giordano, Alberto Martelli, Matteo Spiotta, Daniele Theseider Dupré

Proceedings of the 1st International Workshop on Knowledge-intensive Business Processes, 2012