


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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID













