- Reinhard Pichler:
Novel Techniques in Datalog Optimization (Abstract). Datalog 2022: 1 - Haya Majid Qureshi, Wolfgang Faber:
Meta-reasoning over OWL 2 QL using Datalog. Datalog 2022: 181-187 - Przemyslaw Andrzej Walega, Michal Zawidzki
, Bernardo Cuenca Grau:
Reasoning Techniques in DatalogMTL. Datalog 2022: 127-138 - 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 [contents] - 2019
- Carlo Allocca, Francesco Calimeri, Cristina Civili, Roberta Costabile, Bernardo Cuteri, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari:
Large-Scale Reasoning on Expressive Horn Ontologies. Datalog 2019: 10-21 - Molham Aref:
Relational Artificial Intelligence. Datalog 2019: 1 - Joaquín Arias, Manuel Carro, Zhuo Chen, Gopal Gupta:
Constraint Answer Set Programming without Grounding and its Applications. Datalog 2019: 22-26 - Stefan Brass, Mario Wenzel:
Performance Analysis and Comparison of Deductive Systems and SQL Databases. Datalog 2019: 27-38 - Pedro Cabalar, Torsten Schaub:
Dynamic and Temporal Answer Set Programming on Linear Finite Traces. Datalog 2019: 3-6 - Jack Clearman, Ruslan R. Fayzrakhmanov, Georg Gottlob, Yavor Nenov, Stéphane Reissfelder, Emanuel Sallinger, Evgeny Sherkhonov:
Feature Engineering and Explainability with Vadalog: A Recommender Systems Application. Datalog 2019: 39-43 - Michael Gelfond:
Logic Programming and Non-monotonic Reasoning from 1991 to 2019: a Personal Perspective. Datalog 2019: 2 - Sahil Gupta, Yi-Yun Cheng, Bertram Ludäscher:
Possible Worlds Explorer: Datalog & Answer Set Programming for the Rest of Us. Datalog 2019: 44-55 - Francesco Ricca:
An Extension of Datalog for Modelling and Solving Complex Combinatorial Problems. Datalog 2019: 7-9 - Leonid Ryzhyk, Mihai Budiu:
Differential Datalog. Datalog 2019: 56-67 - Anduo Wang, Zhijia Chen:
A Logical Approach to Representing and Reasoning About Interdomain Routing Policies. Datalog 2019: 68-79 - Mario Alviano, Andreas Pieris:
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. CEUR Workshop Proceedings 2368, CEUR-WS.org 2019 [contents] - 2012
- Mario Alviano, Nicola Leone, Marco Manna, Giorgio Terracina, Pierfrancesco Veltri:
Magic-Sets for Datalog with Existential Quantifiers. Datalog 2012: 31-43 - Tom J. Ameloot, Jan Van den Bussche:
On the CRON Conjecture. Datalog 2012: 44-55 - Stefan Brass:
Order in Datalog with Applications to Declarative Output. Datalog 2012: 56-67 - Cristina Civili, Riccardo Rosati:
A Broad Class of First-Order Rewritable Tuple-Generating Dependencies. Datalog 2012: 68-80 - Onofrio Febbraro, Giovanni Grasso, Nicola Leone, Kristian Reale, Francesco Ricca:
Datalog Development Tools - (Extended Abstract). Datalog 2012: 81-85 - Jaffer Gardezi, Leopoldo E. Bertossi:
Query Rewriting Using Datalog for Duplicate Resolution. Datalog 2012: 86-98 - Todd J. Green, Molham Aref, Grigoris Karvounarakis:
LogicBlox, Platform and Language: A Tutorial. Datalog 2012: 1-8 - Yuri Gurevich:
Datalog: A Perspective and the Potential. Datalog 2012: 9-20 - Matteo Interlandi:
Reasoning about Knowledge in Distributed Systems Using Datalog. Datalog 2012: 99-110 - Sven Köhler, Bertram Ludäscher, Yannis Smaragdakis:
Declarative Datalog Debugging for Mere Mortals. Datalog 2012: 111-122 - Thomas Lukasiewicz, Maria Vanina Martinez, Gerardo I. Simari:
Inconsistency-Tolerant Query Rewriting for Linear Datalog+/-. Datalog 2012: 123-134 - William R. Marczak, Peter Alvaro, Neil Conway, Joseph M. Hellerstein, David Maier:
Confluence Analysis for Distributed Programs: A Model-Theoretic Approach. Datalog 2012: 135-147 - Marie-Laure Mugnier:
Existential Rules: A Graph-Based View - (Extended Abstract). Datalog 2012: 21-26 - Axel Polleres:
How (Well) Do Datalog, SPARQL and RIF Interplay? Datalog 2012: 27-30
