Author of the publication

The Stream Reasoning System I-DLV-sr: Enhancements and Applications in Smart Cities.

, , , and . RuleML+RR, volume 13752 of Lecture Notes in Computer Science, page 38-53. Springer, (2022)

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

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)Efficient compliance checking of RDF data., , , , , and . J. Log. Comput., 33 (8): 1753-1776 (December 2023)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)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)Optimized 3D path planner for steerable catheters with deductive reasoning., , , , , and . ICRA, page 1466-1472. IEEE, (2021)How Modern Deductive Database Systems Can Enhance Data Integration., , , and . SEBD, volume 2161 of CEUR Workshop Proceedings, CEUR-WS.org, (2018)Reasoning over Ontologies with DLV., , , , , , , , , and 5 other author(s). IC3K, volume 1222 of Communications in Computer and Information Science, page 114-136. Springer, (2018)The ASP System DLV: Advancements and Applications., , , , , , , , , and 3 other author(s). Künstliche Intell., 32 (2-3): 177-179 (2018)