Datalog

Keyphrases

Publications

2022

Matthias Lanzinger, Stefano Sferrazza, Georg Gottlob
New Perspectives for Fuzzy Datalog (Extended Abstract). Datalog (2022)
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)
Matthias Lanzinger, Przemyslaw Andrzej Walega
Datalog with Existential Quantifiers and Temporal Operators (Extended Abstract). Datalog (2022)
Isaac Mackey, Jianwen Su
A Rule-Based Constraint Language for Event Streams. Datalog (2022)
Haya Majid Qureshi, Wolfgang Faber
Meta-reasoning over OWL 2 QL using Datalog. Datalog (2022)
Amélie Gheerbrant, Leonid Libkin, Alexandra Rogova, Cristina Sirangelo
Certain Answers of Extensions of Conjunctive Queries by Datalog and First-Order Rewriting. Datalog (2022)
Markus Nissl, Emanuel Sallinger
Towards Bridging Traditional and Smart Contracts with Datalog-based Languages. Datalog (2022)
Zhiwei Fan, Sunil Mallireddy, Paraschos Koutris
Towards Better Understanding of the Performance and Design of Datalog Systems. Datalog (2022)
Adrian Chmurovic, Mantas Simkus
Well-founded Semantics for Recursive SHACL. Datalog (2022)
Michael Benedikt, Maxime Buron, Stefano Germano, Kevin Kappelmann, Boris Motik
Datalog Rewriting for Guarded TGDs. Datalog (2022)
Reinhard Pichler
Novel Techniques in Datalog Optimization (Abstract). Datalog (2022)
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)
Teodoro Baldazzi, Davide Benedetto, Matteo Brandetti, Adriano Vlad, Luigi Bellomarini, Emanuel Sallinger
Datalog-based Reasoning with Heuristics over Knowledge Graphs. Datalog (2022)
Maximilian Marx, Markus Krötzsch
Tuple-Generating Dependencies Capture Complex Values (Extended Abstract). Datalog (2022)
Nicola Leone, Marco Manna, Maria Concetta Morelli, Simona Perri
A Formal Comparison between Datalog-based Languages for Stream Reasoning. Datalog (2022)
Georg Gottlob, Marco Manna, Cinzia Marte
Dyadic Existential Rules. Datalog (2022)
Magnus Madsen, Jonathan Starup, Ondrej Lhoták
Flix: A Meta Programming Language for Datalog. Datalog (2022)
Lorenzo De Lauretis, Fabio Persia, Stefania Costantini
Intelligent Agents and Complex Event Processing to enhance Patient Monitoring. Datalog (2022)
Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
Querying Data Exchange Settings Beyond Positive Queries. Datalog (2022)
Carmine Dodaro, Marco Maratea, Francesco Riccio
A Tool for Encoding Controlled Natural Language Specifications as ASP Rules. Datalog (2022)
Przemyslaw Andrzej Walega, Michal Zawidzki, Bernardo Cuenca Grau
Reasoning Techniques in DatalogMTL. Datalog (2022)
Aaron Bembenek, Michael Greenberg, Stephen Chong
Formulog: Datalog + SMT + FP. Datalog (2022)

volume 3203, 2022

Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022) co-located with the 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2022), Genova-Nervi, Italy, September 5, 2022. Datalog 3203 (2022)

2019

volume 2368, 2019

Datalog 2.0 2019 - 3rd International Workshop on the Resurgence of Datalog in Academia and Industry co-located with the 15th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2019) at the Philadelphia Logic Week 2019, Philadelphia, PA (USA), June 4-5, 2019. Datalog 2368 (2019)

2012

volume 7494, 2012

Datalog in Academia and Industry - Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings Datalog 7494 (2012)