- 2024
- Anita Baral, Pratiksha Shrestha, Jitendra Sharma, Hunter Lockwood, Daniela Inclezan:
An Exploration of Datalog Applications to Language Documentation and Reclamation. Datalog 2024: 23-29 - Pierangela Bruno, Simone Caruso, Carmine Dodaro, Marco Maratea:
A Tool For Reasoning Over CNL Sentences With Temporal Constructs. Datalog 2024: 30-42 - Andrea Colombo, Teodoro Baldazzi, Luigi Bellomarini, Andrea Gentili, Emanuel Sallinger:
LLM-based DatalogMTL Modelling of MiCAR-compliant Crypto-Assets Markets. Datalog 2024: 17-22 - Alex Ivliev, Lukas Gerlach, Simon Meusel, Jakob Steinberg, Markus Krötzsch:
Nemo: A Scalable and Versatile Datalog Engine. Datalog 2024: 43-47 - Bruno Rucy Carneiro Alves de Lima, Kalmer Apinis, Merlin Kramer, Kristopher K. Micinski:
Incremental Evaluation of Dynamic Datalog Programs as a Higher-order DBSP Program. Datalog 2024: 2-16 - Andreas Pieris:
Explaining Answers to Datalog Queries (Invited Talk). Datalog 2024: 1 - Fernando Sáenz-Pérez:
Experiencing Hypothetical Datalog in SQL Puzzles. Datalog 2024: 54-68 - Evgeny S. Skvortsov, Yilin Xia, Shawn Bowers, Bertram Ludäscher:
The Logica System: Elevating SQL Databases to Declarative Data Science Engines. Datalog 2024: 69-73 - Przemyslaw Andrzej Walega:
DatalogMTL: Datalog with Metric Temporal Logic Operators (Abstract). Datalog 2024: 74 - Hangdong Zhao, Paraschos Koutris, Shaleen Deep:
Evaluating Datalog via Structure-Aware Rewriting. Datalog 2024: 48-53 - Mario Alviano, Matthias Lanzinger:
Proceedings 5th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2024) co-located with the 17th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2024), Dallas, Texas, USA, October 11, 2024. CEUR Workshop Proceedings 3801, CEUR-WS.org 2024 [contents] - 2022
- Maximilian Marx, Markus Krötzsch:
Tuple-Generating Dependencies Capture Complex Values (Extended Abstract). Datalog 2022: 97-103 - Teodoro Baldazzi
, Davide Benedetto, Matteo Brandetti, Adriano Vlad, Luigi Bellomarini, Emanuel Sallinger:
Datalog-based Reasoning with Heuristics over Knowledge Graphs. Datalog 2022: 114-126 - Francesco Bartoli, Marco Botta, Roberto Esposito, Laura Giordano, Daniele Theseider Dupré:
Model Checking Verification of MultiLayer Perceptrons in Datalog: a Many-valued Approach with Typicality. Datalog 2022: 54-67 - Aaron Bembenek, Michael Greenberg, Stephen Chong:
Formulog: Datalog + SMT + FP. Datalog 2022: 48-53 - Michael Benedikt, Maxime Buron, Stefano Germano, Kevin Kappelmann, Boris Motik:
Datalog Rewriting for Guarded TGDs. Datalog 2022: 104-113 - Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna:
Querying Data Exchange Settings Beyond Positive Queries. Datalog 2022: 27-41 - Adrian Chmurovic, Mantas Simkus:
Well-founded Semantics for Recursive SHACL. Datalog 2022: 2-13 - Carmine Dodaro, Marco Maratea, Francesco Riccio:
A Tool for Encoding Controlled Natural Language Specifications as ASP Rules. Datalog 2022: 188-201 - Zhiwei Fan, Sunil Mallireddy, Paraschos Koutris:
Towards Better Understanding of the Performance and Design of Datalog Systems. Datalog 2022: 166-180 - Amélie Gheerbrant, Leonid Libkin, Alexandra Rogova, Cristina Sirangelo:
Certain Answers of Extensions of Conjunctive Queries by Datalog and First-Order Rewriting. Datalog 2022: 14-26 - Georg Gottlob, Jinsong Guo, Aditya Jami, Markus Kröll, Stéphane Reissfeldee, Lukas Schweizer, Eric Aichinger, Stefano Sferrazza:
CompeGen: Computing Company Competitor Pairs By Knowledge Based Inference Combined With Empirical Validation. Datalog 2022: 207-211 - Georg Gottlob, Marco Manna, Cinzia Marte:
Dyadic Existential Rules. Datalog 2022: 83-96 - Matthias Lanzinger, Stefano Sferrazza, Georg Gottlob:
New Perspectives for Fuzzy Datalog (Extended Abstract). Datalog 2022: 42-47 - Matthias Lanzinger, Przemyslaw Andrzej Walega:
Datalog with Existential Quantifiers and Temporal Operators (Extended Abstract). Datalog 2022: 139-144 - Lorenzo De Lauretis, Fabio Persia, Stefania Costantini:
Intelligent Agents and Complex Event Processing to enhance Patient Monitoring. Datalog 2022: 212-218 - Nicola Leone, Marco Manna, Maria Concetta Morelli, Simona Perri:
A Formal Comparison between Datalog-based Languages for Stream Reasoning. Datalog 2022: 151-165 - Isaac Mackey, Jianwen Su:
A Rule-Based Constraint Language for Event Streams. Datalog 2022: 145-150 - Magnus Madsen, Jonathan Lindegaard Starup, Ondrej Lhoták:
Flix: A Meta Programming Language for Datalog. Datalog 2022: 202-206 - Markus Nissl, Emanuel Sallinger:
Towards Bridging Traditional and Smart Contracts with Datalog-based Languages. Datalog 2022: 68-82
