( en | de | ru )

 

Disambiguierung von "Spiotta, Matteo"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Business process verification with constraint temporal answer set programming.

, , , und . Theory Pract. Log. Program., 13 (4-5): 641-655 (2013)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Matteo Garavoglia

Matteo Gabba

Matteo Bertini

Matteo Rini

Marco Matteo

 

Weitere Publikationen von Autoren mit dem selben Namen

Business process verification with constraint temporal answer set programming., , , und . Theory Pract. Log. Program., 13 (4-5): 641-655 (2013)ASP for Conformance Analysis and Explanation of Clinical Guidelines Execution., , , und . Künstliche Intell., 32 (2-3): 201-204 (2018)Temporal Conformance Analysis of Clinical Guidelines Execution., , und . AIME, Volume 9105 von Lecture Notes in Computer Science, Seite 332-336. Springer, (2015)Temporal Conformance Analysis and Explanation of Clinical Guidelines Execution: An Answer Set Programming Approach., , und . IEEE Trans. Knowl. Data Eng., 29 (11): 2567-2580 (2017)ASP for Reasoning about Actions with an EL^bot Knowledge Base., , , und . CILC, Volume 1645 von CEUR Workshop Proceedings, Seite 214-229. CEUR-WS.org, (2016)Business Processes Verification with Temporal Answer Set Programming., , , und . KiBP@KR, Volume 861 von CEUR Workshop Proceedings, Seite 48-59. CEUR-WS.org, (2012)Conformance Analysis of Execution Traces with Clinical Guidelines and Basic Medical Knowledge in Answer Set Programming., , und . AIBP@AI*IA, Volume 1101 von CEUR Workshop Proceedings, Seite 91-100. CEUR-WS.org, (2013)Conformance Analysis of the Execution of Clinical Guidelines with Basic Medical Knowledge and Clinical Terminology., , , und . KR4HC@VSL, Volume 8903 von Lecture Notes in Computer Science, Seite 62-77. Springer, (2014)Advances in the GINSENG Project., , , , , , , , , und . ICHI, Seite 368. IEEE Computer Society, (2014)Answer Set Programming for Temporal Conformance Analysis of Clinical Guidelines Execution., , und . KR4HC/ProHealth, Volume 9485 von Lecture Notes in Computer Science, Seite 65-79. Springer, (2015)