Autor der Publikation

Optimizing Answer Set Computation via Heuristic-Based Decomposition.

, , und . Theory Pract. Log. Program., 19 (4): 603-628 (2019)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Fostering the Use of Declarative Formalisms for Real-World Applications: The EmbASP Framework., , , , und . New Gener. Comput., 37 (1): 29-65 (2019)Efficient compliance checking of RDF data., , , , , und . J. Log. Comput., 33 (8): 1753-1776 (Dezember 2023)ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding., , , , und . PPDP, Seite 2:1-2:9. ACM, (2022)An ASP-based Approach for Optimizing DLV Evaluation., , , , , , , und . CILC, Volume 2396 von CEUR Workshop Proceedings, CEUR-WS.org, (2019)An Infrastructure for Multi-shot Reasoning with Incremental Grounding., , und . CILC, Volume 2396 von CEUR Workshop Proceedings, Seite 269-278. CEUR-WS.org, (2019)Boosting the Development of ASP-Based Applications in Mobile and General Scenarios., , , , und . AI*IA, Volume 10037 von Lecture Notes in Computer Science, Seite 223-236. Springer, (2016)Incremental maintenance of overgrounded logic programs with tailored simplifications., , und . Theory Pract. Log. Program., 20 (5): 719-734 (2020)Precomputing Datalog Evaluation Plans in Large-Scale Scenarios., , , , und . Theory Pract. Log. Program., 19 (5-6): 1073-1089 (2019)Incremental Answer Set Programming with Overgrounding., , , , und . Theory Pract. Log. Program., 19 (5-6): 957-973 (2019)Efficiently Coupling the I-DLV Grounder with ASP Solvers., , , , und . CoRR, (2018)