From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

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