| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Magnus Madsen, Jonathan Lindegaard Starup, Ondrej Lhoták |
Flix: A Meta Programming Language for Datalog.  |
Datalog  |
2022 |
DBLP BibTeX RDF |
|
| 1 | Michael Benedikt, Maxime Buron, Stefano Germano, Kevin Kappelmann, Boris Motik |
Datalog Rewriting for Guarded TGDs. |
Datalog |
2022 |
DBLP BibTeX RDF |
|
| 1 | Georg Gottlob, Jinsong Guo, Aditya Jami, Markus Kröll, Stéphane Reissfeldee, Lukas Schweizer, Eric Aichinger, Stefano Sferrazza |
CompeGen: Computing Company Competitor Pairs By Knowledge Based Inference Combined With Empirical Validation. |
Datalog |
2022 |
DBLP BibTeX RDF |
|
| 1 | Matthias Lanzinger, Przemyslaw Andrzej Walega |
Datalog with Existential Quantifiers and Temporal Operators (Extended Abstract). |
Datalog |
2022 |
DBLP BibTeX RDF |
|
| 1 | Nicola Leone, Marco Manna, Maria Concetta Morelli, Simona Perri |
A Formal Comparison between Datalog-based Languages for Stream Reasoning. |
Datalog |
2022 |
DBLP BibTeX RDF |
|
| 1 | Amélie Gheerbrant, Leonid Libkin, Alexandra Rogova, Cristina Sirangelo |
Certain Answers of Extensions of Conjunctive Queries by Datalog and First-Order Rewriting. |
Datalog |
2022 |
DBLP BibTeX RDF |
|
| 1 | Zhiwei Fan, Sunil Mallireddy, Paraschos Koutris |
Towards Better Understanding of the Performance and Design of Datalog Systems. |
Datalog |
2022 |
DBLP BibTeX RDF |
|
| 1 | Francesco Bartoli, Marco Botta, Roberto Esposito, Laura Giordano 0001, Daniele Theseider Dupré |
Model Checking Verification of MultiLayer Perceptrons in Datalog: a Many-valued Approach with Typicality. |
Datalog |
2022 |
DBLP BibTeX RDF |
|
| 1 | Teodoro Baldazzi, Davide Benedetto, Matteo Brandetti, Adriano Vlad, Luigi Bellomarini, Emanuel Sallinger |
Datalog-based Reasoning with Heuristics over Knowledge Graphs. |
Datalog |
2022 |
DBLP BibTeX RDF |
|
| 1 | Przemyslaw Andrzej Walega, Michal Zawidzki, Bernardo Cuenca Grau |
Reasoning Techniques in DatalogMTL. |
Datalog |
2022 |
DBLP BibTeX RDF |
|
| 1 | Matthias Lanzinger, Stefano Sferrazza, Georg Gottlob |
New Perspectives for Fuzzy Datalog (Extended Abstract). |
Datalog |
2022 |
DBLP BibTeX RDF |
|
| 1 | Isaac Mackey, Jianwen Su |
A Rule-Based Constraint Language for Event Streams. |
Datalog |
2022 |
DBLP BibTeX RDF |
|
| 1 | Carmine Dodaro, Marco Maratea, Francesco Riccio |
A Tool for Encoding Controlled Natural Language Specifications as ASP Rules. |
Datalog |
2022 |
DBLP BibTeX RDF |
|
| 1 | Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna |
Querying Data Exchange Settings Beyond Positive Queries. |
Datalog |
2022 |
DBLP BibTeX RDF |
|
| 1 | Haya Majid Qureshi, Wolfgang Faber 0001 |
Meta-reasoning over OWL 2 QL using Datalog. |
Datalog |
2022 |
DBLP BibTeX RDF |
|
| 1 | Georg Gottlob, Marco Manna, Cinzia Marte |
Dyadic Existential Rules. |
Datalog |
2022 |
DBLP BibTeX RDF |
|
| 1 | Reinhard Pichler |
Novel Techniques in Datalog Optimization (Abstract). |
Datalog |
2022 |
DBLP BibTeX RDF |
|
| 1 | Mario Alviano, Andreas Pieris (eds.) |
Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022) co-located with the 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2022), Genova-Nervi, Italy, September 5, 2022. |
Datalog |
2022 |
DBLP BibTeX RDF |
|
| 1 | Aaron Bembenek, Michael Greenberg 0002, Stephen Chong |
Formulog: Datalog + SMT + FP. |
Datalog |
2022 |
DBLP BibTeX RDF |
|
| 1 | Markus Nissl, Emanuel Sallinger |
Towards Bridging Traditional and Smart Contracts with Datalog-based Languages. |
Datalog |
2022 |
DBLP BibTeX RDF |
|
| 1 | Adrian Chmurovic, Mantas Simkus |
Well-founded Semantics for Recursive SHACL. |
Datalog |
2022 |
DBLP BibTeX RDF |
|
| 1 | Lorenzo De Lauretis, Fabio Persia, Stefania Costantini |
Intelligent Agents and Complex Event Processing to enhance Patient Monitoring. |
Datalog |
2022 |
DBLP BibTeX RDF |
|
| 1 | Maximilian Marx 0001, Markus Krötzsch |
Tuple-Generating Dependencies Capture Complex Values (Extended Abstract). |
Datalog |
2022 |
DBLP BibTeX RDF |
|
| 1 | Mario Alviano, Andreas Pieris (eds.) |
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. |
Datalog |
2019 |
DBLP BibTeX RDF |
|
| 1 | Pedro Cabalar, Torsten Schaub |
Dynamic and Temporal Answer Set Programming on Linear Finite Traces. |
Datalog |
2019 |
DBLP BibTeX RDF |
|
| 1 | Joaquín Arias, Manuel Carro, Zhuo Chen, Gopal Gupta 0001 |
Constraint Answer Set Programming without Grounding and its Applications. |
Datalog |
2019 |
DBLP BibTeX RDF |
|
| 1 | Sahil Gupta, Yi-Yun Cheng, Bertram Ludäscher |
Possible Worlds Explorer: Datalog & Answer Set Programming for the Rest of Us. |
Datalog |
2019 |
DBLP BibTeX RDF |
|
| 1 | Francesco Ricca |
An Extension of Datalog for Modelling and Solving Complex Combinatorial Problems. |
Datalog |
2019 |
DBLP BibTeX RDF |
|
| 1 | Anduo Wang, Zhijia Chen |
A Logical Approach to Representing and Reasoning About Interdomain Routing Policies. |
Datalog |
2019 |
DBLP BibTeX RDF |
|
| 1 | 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. |
Datalog |
2019 |
DBLP BibTeX RDF |
|
| 1 | Molham Aref |
Relational Artificial Intelligence. |
Datalog |
2019 |
DBLP BibTeX RDF |
|
| 1 | 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. |
Datalog |
2019 |
DBLP BibTeX RDF |
|
| 1 | Leonid Ryzhyk, Mihai Budiu |
Differential Datalog. |
Datalog |
2019 |
DBLP BibTeX RDF |
|
| 1 | Stefan Brass, Mario Wenzel |
Performance Analysis and Comparison of Deductive Systems and SQL Databases. |
Datalog |
2019 |
DBLP BibTeX RDF |
|
| 1 | Michael Gelfond |
Logic Programming and Non-monotonic Reasoning from 1991 to 2019: a Personal Perspective. |
Datalog |
2019 |
DBLP BibTeX RDF |
|
| 1 | Matteo Interlandi |
Reasoning about Knowledge in Distributed Systems Using Datalog. |
Datalog |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | William R. Marczak, Peter Alvaro, Neil Conway, Joseph M. Hellerstein, David Maier 0001 |
Confluence Analysis for Distributed Programs: A Model-Theoretic Approach. |
Datalog |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Domenico Saccà, Edoardo Serra |
Data Exchange in Datalog Is Mainly a Matter of Choice. |
Datalog |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Onofrio Febbraro, Giovanni Grasso 0001, Nicola Leone, Kristian Reale, Francesco Ricca |
Datalog Development Tools - (Extended Abstract). |
Datalog |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom J. Ameloot, Jan Van den Bussche |
On the CRON Conjecture. |
Datalog |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuri Gurevich |
Datalog: A Perspective and the Potential. |
Datalog |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Alviano, Nicola Leone, Marco Manna, Giorgio Terracina, Pierfrancesco Veltri |
Magic-Sets for Datalog with Existential Quantifiers. |
Datalog |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Marianne Shaw, Paraschos Koutris, Bill Howe, Dan Suciu |
Optimizing Large-Scale Semi-Naïve Datalog Evaluation in Hadoop. |
Datalog |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Lukasiewicz, Maria Vanina Martinez, Gerardo I. Simari |
Inconsistency-Tolerant Query Rewriting for Linear Datalog+/-. |
Datalog |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Todd J. Green, Molham Aref, Grigoris Karvounarakis |
LogicBlox, Platform and Language: A Tutorial. |
Datalog |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Köhler 0003, Bertram Ludäscher, Yannis Smaragdakis |
Declarative Datalog Debugging for Mere Mortals. |
Datalog |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Brass |
Order in Datalog with Applications to Declarative Output. |
Datalog |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Marie-Laure Mugnier |
Existential Rules: A Graph-Based View - (Extended Abstract). |
Datalog |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaffer Gardezi, Leopoldo E. Bertossi |
Query Rewriting Using Datalog for Duplicate Resolution. |
Datalog |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo Barceló, Reinhard Pichler (eds.) |
Datalog in Academia and Industry - Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings |
Datalog |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Ritter 0001, Till Westmann |
Business Network Reconstruction Using Datalog. |
Datalog |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristina Civili, Riccardo Rosati 0001 |
A Broad Class of First-Order Rewritable Tuple-Generating Dependencies. |
Datalog |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlo Zaniolo |
Logical Foundations of Continuous Query Languages for Data Streams. |
Datalog |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Axel Polleres |
How (Well) Do Datalog, SPARQL and RIF Interplay? |
Datalog |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Oege de Moor, Georg Gottlob, Tim Furche, Andrew Jon Sellers (eds.) |
Datalog Reloaded - First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers |
Datalog |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Reinhard Pichler |
Exploiting Bounded Treewidth with Datalog (A Survey). |
Datalog |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | María Alpuente, Marco Antonio Feliú, Christophe Joubert, Alicia Villanueva |
Datalog-Based Program Analysis with BES and RWL. |
Datalog |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Foto N. Afrati, Vinayak R. Borkar, Michael J. Carey 0001, Neoklis Polyzotis, Jeffrey D. Ullman |
Cluster Computing, Recursion and Datalog. |
Datalog |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Maluszynski, Andrzej Szalas |
Living with Inconsistency and Taming Nonmonotonicity. |
Datalog |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Minh Dao-Tran, Thomas Eiter, Michael Fink 0001, Thomas Krennwallner |
First-Order Encodings for Modular Nonmonotonic Datalog Programs. |
Datalog |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Calì, Georg Gottlob, Thomas Lukasiewicz, Andreas Pieris |
Datalog+/-: A Family of Languages for Ontology Querying. |
Datalog |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Serge Abiteboul, Meghyn Bienvenu, Alban Galland, Marie-Christine Rousset |
Distributed Datalog Revisited. |
Datalog |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Orsi 0001, Letizia Tanca |
Context Modelling and Context-Aware Querying - (Can Datalog Be of Help?). |
Datalog |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Alviano, Wolfgang Faber 0001, Nicola Leone, Simona Perri, Gerald Pfeifer, Giorgio Terracina |
The Disjunctive Datalog System DLV. |
Datalog |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Baumgartner |
Datalog-Related Aspects in Lixto Visual Developer. |
Datalog |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo Arenas, Pablo Barceló, Juan L. Reutter |
Datalog as a Query Language for Data Exchange Systems. |
Datalog |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Verónica Dahl |
Informing Datalog through Language Intelligence - A Personal Perspective. |
Datalog |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Gelfond |
Knowledge Representation Language P-Log - A Short Introduction. |
Datalog |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jason Eisner, Nathaniel Wesley Filardo |
Dyna: Extending Datalog for Modern AI. |
Datalog |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir Lifschitz |
Datalog Programs and Their Stable Models. |
Datalog |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefania Costantini |
Answer Set Modules for Logical Agents. |
Datalog |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | François Bry, Tim Furche, Clemens Ley, Bruno Marnette, Benedikt Linse, Sebastian Schaffert |
Datalog Relaunched: Simulation Unification and Value Invention. |
Datalog |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Magnani, Danilo Montesi |
Datalog for the Web 2.0: The Case of Social Network Data Management. |
Datalog |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Piero A. Bonatti |
Datalog for Security, Privacy and Trust. |
Datalog |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Woltran |
Equivalence between Extended Datalog Programs - A Brief Survey. |
Datalog |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Alvaro, William R. Marczak, Neil Conway, Joseph M. Hellerstein, David Maier 0001, Russell Sears |
Dedalus: Datalog in Time and Space. |
Datalog |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yannis Smaragdakis, Martin Bravenboer |
Using Datalog for Fast and Easy Program Analysis. |
Datalog |
2010 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license