Datalog 2.0 2019
3rd International Workshop on the Resurgence of Datalog in Academia and Industry

Table of Contents

• Preface
  
  

• Relational Artificial Intelligence (Invited Talk) 1-1
  Molham Aref
• Logic Programming and Non-monotonic Reasoning from 1991 to 2019: a Personal Perspective (Joint Invited Talk with LPNMR 2019) 2-2
  Michael Gelfond
• Dynamic and Temporal Answer Set Programming on Linear Finite Traces (Invited Talk) 3-6
  Pedro Cabalar, Torsten Schaub
• An Extension of Datalog for Modelling and Solving Complex Combinatorial Problems (Invited Tutorial) 7-9
  Francesco Ricca
• Large-Scale Reasoning on Expressive Horn Ontologies 10-21
  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
• Constraint Answer Set Programming without Grounding and its Applications 22-26
  Joaquin Arias, Manuel Carro, Zhuo Chen, Gopal Gupta
• Performance Analysis and Comparison of Deductive Systems and SQL Databases 27-38
  Stefan Brass, Mario Wenzel
• Feature Engineering and Explainability with Vadalog: A Recommender Systems Application 39-43
  Jack Clearman, Ruslan Fayzrakhmanov, Georg Gottlob, Yavor Nenov, Stéphane Reissfelder, Emanuel Sallinger, Evgeny Sherkhonov
• Possible Worlds Explorer: Datalog & Answer Set Programming for the Rest of Us 44-55
  Sahil Gupta, Yi-Yun Cheng, Bertram Ludäscher
• Differential Datalog 56-67
  Leonid Ryzhyk, Mihai Budiu
• A Logical Approach to Representing and Reasoning About Interdomain Routing Policies 68-79
  Anduo Wang, Zhijia Chen