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.

 

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

Fostering the Use of Declarative Formalisms for Real-World Applications: The EmbASP Framework., , , , и . New Gener. Comput., 37 (1): 29-65 (2019)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)Precomputing Datalog Evaluation Plans in Large-Scale Scenarios., , , , и . Theory Pract. Log. Program., 19 (5-6): 1073-1089 (2019)Incremental Answer Set Programming with Overgrounding., , , , и . Theory Pract. Log. Program., 19 (5-6): 957-973 (2019)Incremental maintenance of overgrounded logic programs with tailored simplifications., , и . Theory Pract. Log. Program., 20 (5): 719-734 (2020)