


default search action
Datalog 2024: Dallas, TX, USA
- 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
Session 1: Invited Talk
- Andreas Pieris:
Explaining Answers to Datalog Queries (Invited Talk). 1
Session 2: Innovative Applications and Techniques in Datalog
- 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. 2-16 - Andrea Colombo, Teodoro Baldazzi, Luigi Bellomarini, Andrea Gentili, Emanuel Sallinger:
LLM-based DatalogMTL Modelling of MiCAR-compliant Crypto-Assets Markets. 17-22 - Anita Baral, Pratiksha Shrestha, Jitendra Sharma, Hunter Lockwood, Daniela Inclezan:
An Exploration of Datalog Applications to Language Documentation and Reclamation. 23-29
Session 3: Advanced Tools and Techniques for Datalog Processing
- Pierangela Bruno, Simone Caruso, Carmine Dodaro, Marco Maratea:
A Tool For Reasoning Over CNL Sentences With Temporal Constructs. 30-42 - Alex Ivliev, Lukas Gerlach, Simon Meusel, Jakob Steinberg, Markus Krötzsch:
Nemo: A Scalable and Versatile Datalog Engine. 43-47 - Hangdong Zhao, Paraschos Koutris, Shaleen Deep:
Evaluating Datalog via Structure-Aware Rewriting. 48-53
Session 4: Enhancing SQL with Datalog
- Fernando Sáenz-Pérez:
Experiencing Hypothetical Datalog in SQL Puzzles. 54-68 - Evgeny S. Skvortsov, Yilin Xia, Shawn Bowers, Bertram Ludäscher:
The Logica System: Elevating SQL Databases to Declarative Data Science Engines. 69-73
Session 5: Invited Tutorial
- Przemyslaw Andrzej Walega:
DatalogMTL: Datalog with Metric Temporal Logic Operators (Abstract). 74

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.