Datalog-2.0 2024

Table of Contents

• PDF
  
• Explaining Answers to Datalog Queries (Invited Talk) 1-1 PDF
  Andreas Pieris
• Incremental Evaluation of Dynamic Datalog Programs as a Higher-order DBSP Program 2-16 PDF
  Bruno Rucy Carneiro Alves de Lima, Kalmer Apinis, Merlin Kramer, Kristopher K. Micinski
• LLM-based DatalogMTL Modelling of MiCAR-compliant Crypto-Assets Markets 17-22 PDF
  Emanuel Sallinger, Luigi Bellomarini, Teodoro Baldazzi, Andrea Gentili (disambiguation), Andrea Colombo
• An Exploration of Datalog Applications to Language Documentation and Reclamation 23-29 PDF
  Hunter Lockwood, Daniela Inclezan, Pratiksha Shrestha, Anita Baral, Jitendra Sharma
• A Tool For Reasoning Over CNL Sentences With Temporal Constructs 30-42 PDF
  Carmine Dodaro, Pierangela Bruno, Simone Caruso, Marco Maratea
• Nemo: A Scalable and Versatile Datalog Engine 43-47 PDF
  Markus Krötzsch, Jakob Steinberg, Alex Ivliev, Simon Meusel, Lukas Gerlach 0002
• Evaluating Datalog via Structure-Aware Rewriting 48-53 PDF
  Shaleen Deep, Hangdong Zhao, Paraschos Koutris
• Experiencing Hypothetical Datalog in SQL Puzzles 54-68 PDF
  Fernando Sáenz-Pérez
• The Logica System: Elevating SQL Databases to Declarative Data Science Engines 69-73 PDF
  Evgeny S. Skvortsov, Yilin Xia, Shawn Bowers, Bertram Ludäscher
• DatalogMTL: Datalog with Metric Temporal Logic Operators (Abstract) 74-74 PDF
  Przemyslaw Andrzej Walega