default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDatalog 2022: Genova-Nervi, Italy
- Mario Alviano, Andreas Pieris:
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. CEUR Workshop Proceedings 3203, CEUR-WS.org 2022
Session 1: Invited Talks
- Reinhard Pichler:
Novel Techniques in Datalog Optimization (Abstract). 1
Session 2: Applications and Extensions of Datalog, Semantics
- Adrian Chmurovic, Mantas Simkus
:
Well-founded Semantics for Recursive SHACL. 2-13 - Amélie Gheerbrant, Leonid Libkin, Alexandra Rogova, Cristina Sirangelo:
Certain Answers of Extensions of Conjunctive Queries by Datalog and First-Order Rewriting. 14-26 - Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna:
Querying Data Exchange Settings Beyond Positive Queries. 27-41 - Matthias Lanzinger, Stefano Sferrazza, Georg Gottlob:
New Perspectives for Fuzzy Datalog (Extended Abstract). 42-47 - Aaron Bembenek, Michael Greenberg, Stephen Chong:
Formulog: Datalog + SMT + FP. 48-53 - 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. 54-67 - Markus Nissl, Emanuel Sallinger:
Towards Bridging Traditional and Smart Contracts with Datalog-based Languages. 68-82
Session 3: Existential Rules, Stream Reasoning
- Georg Gottlob, Marco Manna, Cinzia Marte:
Dyadic Existential Rules. 83-96 - Maximilian Marx, Markus Krötzsch:
Tuple-Generating Dependencies Capture Complex Values (Extended Abstract). 97-103 - Michael Benedikt, Maxime Buron, Stefano Germano, Kevin Kappelmann, Boris Motik:
Datalog Rewriting for Guarded TGDs. 104-113 - Teodoro Baldazzi, Davide Benedetto, Matteo Brandetti, Adriano Vlad, Luigi Bellomarini, Emanuel Sallinger:
Datalog-based Reasoning with Heuristics over Knowledge Graphs. 114-126 - Przemyslaw Andrzej Walega, Michal Zawidzki, Bernardo Cuenca Grau:
Reasoning Techniques in DatalogMTL. 127-138 - Matthias Lanzinger, Przemyslaw Andrzej Walega:
Datalog with Existential Quantifiers and Temporal Operators (Extended Abstract). 139-144 - Isaac Mackey, Jianwen Su:
A Rule-Based Constraint Language for Event Streams. 145-150 - Nicola Leone, Marco Manna, Maria Concetta Morelli, Simona Perri:
A Formal Comparison between Datalog-based Languages for Stream Reasoning. 151-165
Session 4: Systems and Benchmarking
- Zhiwei Fan, Sunil Mallireddy, Paraschos Koutris:
Towards Better Understanding of the Performance and Design of Datalog Systems. 166-180 - Haya Majid Qureshi, Wolfgang Faber:
Meta-reasoning over OWL 2 QL using Datalog. 181-187 - Carmine Dodaro, Marco Maratea, Francesco Riccio:
A Tool for Encoding Controlled Natural Language Specifications as ASP Rules. 188-201 - Magnus Madsen, Jonathan Lindegaard Starup, Ondrej Lhoták:
Flix: A Meta Programming Language for Datalog. 202-206 - 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. 207-211 - Lorenzo De Lauretis, Fabio Persia, Stefania Costantini:
Intelligent Agents and Complex Event Processing to enhance Patient Monitoring. 212-218
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.
last updated on 2024-12-23 19:38 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
