Author of the publication

A Formal Comparison between Datalog-based Languages for Stream Reasoning (extended version).

, , , and . CoRR, (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

Efficient Query Answering over Datalog with Existential Quantifiers., , , and . SEBD, page 155-162. Edizioni Libreria Progetto, Padova, Italy, (2012)An ASP-Based Framework for the Manipulation of Articulated Objects Using Dual-Arm Robots., , , , , , and . LPNMR, volume 11481 of Lecture Notes in Computer Science, page 32-44. Springer, (2019)Magic Sets for disjunctive Datalog programs., , , and . Artif. Intell., (2012)Structural Decomposition Methods: Key Notions and Database Applications., , , and . A Comprehensive Guide Through the Italian Database Research, volume 31 of Studies in Big Data, Springer International Publishing, (2018)Driving CDCL Search., , , , , and . CoRR, (2016)On the Properties of GZ-Aggregates in Answer Set Programming., and . IJCAI, page 4105-4109. IJCAI/AAAI Press, (2016)Finite Controllability of Conjunctive Query Answering with Existential Rules: Two Steps Forward., , and . IJCAI, page 5189-5193. ijcai.org, (2018)Stable Model Semantics and its Computation for Ordered Logic Programs., and . ECAI, page 92-96. John Wiley and Sons, (1992)Heuristics for Hard ASP Programs., , and . IJCAI, page 1562-1563. Professional Book Center, (2005)An ASP-Based System for Team-Building in the Gioia-Tauro Seaport., , , , , and . PADL, volume 5937 of Lecture Notes in Computer Science, page 40-42. Springer, (2010)