Author of the publication

A framework for easing the development of applications embedding answer set programming.

, , , , , and . PPDP, page 38-49. ACM, (2016)

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

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