default search action
Datalog 2019: Philadelphia, PA, USA
- 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 - Molham Aref:
Relational Artificial Intelligence. 1 - Michael Gelfond:
Logic Programming and Non-monotonic Reasoning from 1991 to 2019: a Personal Perspective. 2 - Pedro Cabalar, Torsten Schaub:
Dynamic and Temporal Answer Set Programming on Linear Finite Traces. 3-6 - Francesco Ricca:
An Extension of Datalog for Modelling and Solving Complex Combinatorial Problems. 7-9 - 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. 10-21 - Joaquín Arias, Manuel Carro, Zhuo Chen, Gopal Gupta:
Constraint Answer Set Programming without Grounding and its Applications. 22-26 - Stefan Brass, Mario Wenzel:
Performance Analysis and Comparison of Deductive Systems and SQL Databases. 27-38 - 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. 39-43 - Sahil Gupta, Yi-Yun Cheng, Bertram Ludäscher:
Possible Worlds Explorer: Datalog & Answer Set Programming for the Rest of Us. 44-55 - Leonid Ryzhyk, Mihai Budiu:
Differential Datalog. 56-67 - Anduo Wang, Zhijia Chen:
A Logical Approach to Representing and Reasoning About Interdomain Routing Policies. 68-79
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.