Datalog 2.0 Program

Tuesday June 4th
  • 08:45-09:00 Opening
  • 09:00-10:00 Invited talk sponsored by RelationalAI: Molham Aref. Relational Artificial Intelligence
  • 10:00-10:30 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 and Jessica Zangari. A Datalog System for Large-Scale Reasoning on the Semantic Web
  • 10:30-11:00 coffee break
  • 11:00-11:30 Stefan Brass and Mario Wenzel. Performance Analysis and Comparison of Deductive Systems and SQL Databases
  • 11:30-12:00 Anduo Wang and Zhijia Chen. A Logical Approach to Representing and Reasoning About Interdomain Routing Policies
  • 12:00-12:30 Mihai Budiu and Leonid Ryzhyk. Differential Datalog
  • 12:30-14:00 lunch (on your own)
  • 14:00-15:00 Invited tutorial: Francesco Ricca. An Extension of Datalog for Modelling and Solving Complex Combinatorial Problems
  • 15:00-15:30 Sahil Gupta, Yi-Yun Cheng, and Bertram Ludaescher. Possible Worlds Explorer: Datalog & Answer Set Programming for the Rest of Us
  • 15:30-16:00 coffee break
  • 16:00-17:00 Invited talk: Torsten Schaub. Dynamic and Temporal Answer Set Programming on Linear Finite Traces
  • 17:00-17:30 Joaquin Arias, Manuel Carro, Zhuo Chen, and Gopal Gupta. Constraint Answer Set Programming without Grounding and its Applications
Wednesday June 5th (Joint Sessions with LPNMR)
  • 9:00-10:00 Invited talk sponsored by Potassco Solutions: Michael Gelfond, Logic Programming and Non-monotonic Reasoning from 1991 to 2019: a Personal Perspective
  • 10:00-10:30 (LPNMR) Pedro Cabalar, Jorge Fandinno and Luis Farinas Del Cerro. Splitting Epistemic Logic Programs
  • 10:30-11:00 coffee break
  • 11:00-11:30 Jack Clearman, Ruslan Fayzrakhmanov, Georg Gottlob, Yavor Nenov, Stéphane Reissfelder, Emanuel Sallinger and Evgeny Sherkhonov. Feature Engineering and Explainability with Vadalog: A Recommender Systems Application
  • 11:30-12:00 (LPNMR) Dirk Abels, Julian Jordi, Max Ostrowski, Torsten Schaub, Ambra Toletti and Philipp Wanko. Train scheduling with hybrid ASP
  • 12:00-12:30 (LPNMR) Riccardo Bertolucci, Alessio Capitanelli, Carmine Dodaro, Nicola Leone, Marco Maratea, Fulvio Mastrogiovanni and Mauro Vallati. An ASP-based Framework for the Manipulation of Articulated Objects using Dual-arm Robots
  • 12:30-2:00 lunch (on your own)
  • You are also welcome to attend LPNMR sessions and coffee break in the afternoon