This volume contains the papers presented at Datalog 2.0 2019: the 3rd International Workshop on the Resurgence of Datalog in Academia and Industry held on June 4{7, 2019 in Philadelphia. Datalog 2.0 2019 is a major event of the Philadelphia Logic Week 2019, which is dedicated to the research on logic, knowledge representation, and reasoning. Among the other major events of the Philadelphia Logic Week 2019 there is the 15th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2019), and the two events shares an invited talk by Michael Gelfond and a couple of sessions. Moreover, the invited tutorial by Francesco Ricca was open to attendees of LPNMR 2019 Workshops. Datalog 2.0 is a workshop for Datalog researchers, implementors, and users. Its aim is to bring together researchers and practitioners interested in di erent aspects of Datalog to share research experiences, promote collaboration and identify directions for joint future research. The rst edition of Datalog 2.0 was held in Oxford, UK, in 2010, and it was by invitation only. Since Datalog has resurrected as a lively topic with applications in many di erent areas of computer science, as well as industry, the second edition of the workshop, which was held in Vienna, Austria, in 2012, was open for submissions. This edition of the workshop was also open for submissions, and 10 groups of researchers submitted their articles to the peer review process. Each submission was reviewed by at least 3 program committee members, and the committee decided to accept 7 papers, based on their technical merit and potential for stimulating discussions at the workshop. The program also includes 3 invited talks by Molham Aref, Michael Gelfond and Torsten Schaub, and 1 invited tutorial by Francesco Ricca. We thank RelationalAI1 for sponsoring the invited talk by Molham Aref, and Potassco Solutions2 for sponsoring the invited talk by Michael Gelfond. We also acknowledge EasyChair3 for providing their conference management system that signi cantly simpli ed the whole process from receiving the submissions to producing the proceedings. Finally, we thanks all the authors who contributed to the workshops and the Program Committee members for their e ort to produce timely and wise reviews.
i Dynamic and Temporal Answer Set Programming on Linear Finite Traces (Invited Talk) : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :
Pedro Cabalar and Torsten Schaub An Extension of Datalog for Modelling and Solving Complex Combinatorial Problems (Invited Tutorial) : : : : : : : : : : : : : : : : : : : : : : : : : : :
Francesco Ricca Large-Scale Reasoning on Expressive Horn Ontologies : : : : : : : : : : : : : : : : : Carlo Allocca, Francesco Calimeri, Cristina Civili, Roberta Costabile, Bernardo Cuteri, Alessio Fiorentino, Davide Fusca, Stefano Germano, Giovanni Laboccetta, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri and Jessica Zangari Constraint Answer Set Programming without Grounding and its Applications : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :
Joaquin Arias, Manuel Carro, Zhuo Chen and Gopal Gupta Performance Analysis and Comparison of Deductive Systems and SQL Databases : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :
Stefan Brass and Mario Wenzel Feature Engineering and Explainability with Vadalog: A Recommender Systems Application : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : Jack Clearman, Ruslan Fayzrakhmanov, Georg Gottlob, Yavor Nenov, Stephane Reissfelder, Emanuel Sallinger and Evgeny Sherkhonov Possible Worlds Explorer: Datalog & Answer Set Programming for the Rest of Us : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :
Sahil Gupta, Yi-Yun Cheng and Bertram Ludascher Di erential Datalog : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :
Leonid Ryzhyk and Mihai Budiu A Logical Approach to Representing and Reasoning About Interdomain Routing Policies : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : Anduo Wang and Zhijia Chen 1 2 3 7 10 22 27 39 44 56 68 Program Committee General Chair Nicola Leone
Saint Joseph's University