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.

 

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

Efficient compliance checking of RDF data., , , , , и . J. Log. Comput., 33 (8): 1753-1776 (декабря 2023)An ASP-based Approach for Optimizing DLV Evaluation., , , , , , , и . CILC, том 2396 из CEUR Workshop Proceedings, CEUR-WS.org, (2019)An Infrastructure for Multi-shot Reasoning with Incremental Grounding., , и . CILC, том 2396 из CEUR Workshop Proceedings, стр. 269-278. CEUR-WS.org, (2019)ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding., , , , и . PPDP, стр. 2:1-2:9. ACM, (2022)Boosting the Development of ASP-Based Applications in Mobile and General Scenarios., , , , и . AI*IA, том 10037 из Lecture Notes in Computer Science, стр. 223-236. Springer, (2016)Efficiently Coupling the I-DLV Grounder with ASP Solvers., , , , и . CoRR, (2018)The ASP System DLV: Advancements and Applications., , , , , , , , , и 3 other автор(ы). Künstliche Intell., 32 (2-3): 177-179 (2018)Answer Set Programming and Declarative Problem Solving in Game AIs., , , , и . PAI@AI*IA, том 1107 из CEUR Workshop Proceedings, стр. 81-88. CEUR-WS.org, (2013)I-DLV+MS: Preliminary Report on an Automatic ASP Solver Selector., , , и . RCRA@AI*IA, том 2011 из CEUR Workshop Proceedings, стр. 26-32. CEUR-WS.org, (2017)Optimized 3D path planner for steerable catheters with deductive reasoning., , , , , и . ICRA, стр. 1466-1472. IEEE, (2021)