Author of the publication

Fostering the Use of Declarative Formalisms for Real-World Applications: The EmbASP Framework.

, , , , and . New Generation Comput., 37 (1): 29-65 (2019)

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 Generation Comput., 37 (1): 29-65 (2019)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)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)Optimizing Answer Set Computation via Heuristic-Based Decomposition., , and . TPLP, 19 (4): 603-628 (2019)Enhancing Magic Sets with an Application to Ontological Reasoning., , , and . TPLP, 19 (5-6): 654-670 (2019)Large-Scale Reasoning on Expressive Horn Ontologies., , , , , , , , , and 5 other author(s). Datalog, volume 2368 of CEUR Workshop Proceedings, page 10-21. CEUR-WS.org, (2019)How Modern Deductive Database Systems Can Enhance Data Integration., , , and . SEBD, volume 2161 of CEUR Workshop Proceedings, CEUR-WS.org, (2018)The ASP System DLV: Advancements and Applications., , , , , , , , , and 3 other author(s). KI, 32 (2-3): 177-179 (2018)Efficiently Coupling the I-DLV Grounder with ASP Solvers., , , , and . CoRR, (2018)