Tuple-Generating Dependencies Capture Complex Values. In Dan Olteanu, and Nils Vortmeier (Eds.), Proceedings of the 25th International Conference on Database Theory (ICDT 2022), (220):13:1–13:20, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Mar 1, 2022. [PUMA: topic_graph topic_knowledge xack]
Efficient Dependency Analysis for Rule-Based Ontologies. In Ulrike Sattler, Aidan Hogan, Maria Keet, Valentina Presutti, João Paulo A. Almeida, Hideaki Takeda, Pierre Monnin, Giuseppe Pirrò, and Claudia d’Amato (Eds.), The Semantic Web – ISWC 2022, 267 -- 283, Springer, Berlin u. a., Germany, Oct 16, 2022. [PUMA: topic_graph topic_knowledge xack]
Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures. In Aniello Murano, and Alexandra Silva (Eds.), 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024), (288):33:1--33:19, Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2024. [PUMA: topic_knowledge topic_graph imported] URL
Efficient Dependency Analysis for Existential Rules. 2023. [PUMA: topic_knowledge topic_graph imported]
Answering queries with negation over existential rules. Proc. Conf. AAAI Artif. Intell., (36)5:5626--5633, Association for the Advancement of Artificial Intelligence (AAAI), June 2022. [PUMA: topic_knowledge topic_graph]
A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic. In Dana Fisman, and Grigore Rosu (Eds.), Proc. of the 28th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2022), (13243):480-501, Springer, 2022. [PUMA: topic_knowledge topic_graph]
An Existential Rule Framework for~Computing Why-Provenance On-Demand for~Datalog. Rules and Reasoning, 146--163, Springer International Publishing, 2022. [PUMA: topic_knowledge topic_graph] URL
Nemo: First glimpse of a new rule engine. arXiv, 2023. [PUMA: topic_knowledge topic_graph]