Abstract is missing.
- Novel Techniques in Datalog Optimization (Abstract)Reinhard Pichler. 1 [doi]
- Well-founded Semantics for Recursive SHACLAdrian Chmurovic, Mantas Simkus. 2-13 [doi]
- Certain Answers of Extensions of Conjunctive Queries by Datalog and First-Order RewritingAmélie Gheerbrant, Leonid Libkin, Alexandra Rogova, Cristina Sirangelo. 14-26 [doi]
- Querying Data Exchange Settings Beyond Positive QueriesMarco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna. 27-41 [doi]
- New Perspectives for Fuzzy Datalog (Extended Abstract)Matthias Lanzinger, Stefano Sferrazza, Georg Gottlob. 42-47 [doi]
- Formulog: Datalog + SMT + FPAaron Bembenek, Michael Greenberg 0002, Stephen Chong. 48-53 [doi]
- Model Checking Verification of MultiLayer Perceptrons in Datalog: a Many-valued Approach with TypicalityFrancesco Bartoli, Marco Botta, Roberto Esposito, Laura Giordano 0001, Daniele Theseider Dupré. 54-67 [doi]
- Towards Bridging Traditional and Smart Contracts with Datalog-based LanguagesMarkus Nissl, Emanuel Sallinger. 68-82 [doi]
- Dyadic Existential RulesGeorg Gottlob, Marco Manna, Cinzia Marte. 83-96 [doi]
- Tuple-Generating Dependencies Capture Complex Values (Extended Abstract)Maximilian Marx 0001, Markus Krötzsch. 97-103 [doi]
- Datalog Rewriting for Guarded TGDsMichael Benedikt, Maxime Buron, Stefano Germano, Kevin Kappelmann, Boris Motik. 104-113 [doi]
- Datalog-based Reasoning with Heuristics over Knowledge GraphsTeodoro Baldazzi, Davide Benedetto, Matteo Brandetti, Adriano Vlad, Luigi Bellomarini, Emanuel Sallinger. 114-126 [doi]
- Reasoning Techniques in DatalogMTLPrzemyslaw Andrzej Walega, Michal Zawidzki, Bernardo Cuenca Grau. 127-138 [doi]
- Datalog with Existential Quantifiers and Temporal Operators (Extended Abstract)Matthias Lanzinger, Przemyslaw Andrzej Walega. 139-144 [doi]
- A Rule-Based Constraint Language for Event StreamsIsaac Mackey, Jianwen Su. 145-150 [doi]
- A Formal Comparison between Datalog-based Languages for Stream ReasoningNicola Leone, Marco Manna, Maria Concetta Morelli, Simona Perri. 151-165 [doi]
- Towards Better Understanding of the Performance and Design of Datalog SystemsZhiwei Fan, Sunil Mallireddy, Paraschos Koutris. 166-180 [doi]
- Meta-reasoning over OWL 2 QL using DatalogHaya Majid Qureshi, Wolfgang Faber 0001. 181-187 [doi]
- A Tool for Encoding Controlled Natural Language Specifications as ASP RulesCarmine Dodaro, Marco Maratea, Francesco Riccio. 188-201 [doi]
- Flix: A Meta Programming Language for DatalogMagnus Madsen, Jonathan Starup, Ondrej Lhoták. 202-206 [doi]
- CompeGen: Computing Company Competitor Pairs By Knowledge Based Inference Combined With Empirical ValidationGeorg Gottlob, Jinsong Guo, Aditya Jami, Markus Kröll, Stéphane Reissfeldee, Lukas Schweizer, Eric Aichinger, Stefano Sferrazza. 207-211 [doi]
- Intelligent Agents and Complex Event Processing to enhance Patient MonitoringLorenzo De Lauretis, Fabio Persia, Stefania Costantini. 212-218 [doi]