Autor der Publikation

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)

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)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)Efficient compliance checking of RDF data., , , , , und . J. Log. Comput., 33 (8): 1753-1776 (Dezember 2023)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)ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding., , , , und . PPDP, Seite 2:1-2:9. ACM, (2022)The ASP System DLV: Advancements and Applications., , , , , , , , , und 3 andere Autor(en). Künstliche Intell., 32 (2-3): 177-179 (2018)Incremental maintenance of overgrounded logic programs with tailored simplifications., , und . Theory Pract. Log. Program., 20 (5): 719-734 (2020)Efficiently Coupling the I-DLV Grounder with ASP Solvers., , , , und . CoRR, (2018)Precomputing Datalog Evaluation Plans in Large-Scale Scenarios., , , , und . Theory Pract. Log. Program., 19 (5-6): 1073-1089 (2019)