Datalog - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 77 from 77

2022

Tuple-Generating Dependencies Capture Complex Values (Extended Abstract)Maximilian Marx 0001, Markus Krötzsch. datalog 2022: 97-103 [doi]

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, 2022Mario Alviano, Andreas Pieris, editors, Volume 3203 of CEUR Workshop Proceedings, CEUR-WS.org, 2022. [doi]

Datalog-based Reasoning with Heuristics over Knowledge GraphsTeodoro Baldazzi, Davide Benedetto, Matteo Brandetti, Adriano Vlad, Luigi Bellomarini, Emanuel Sallinger. datalog 2022: 114-126 [doi]

Model Checking Verification of MultiLayer Perceptrons in Datalog: a Many-valued Approach with TypicalityFrancesco Bartoli, Marco Botta, Roberto Esposito, Laura Giordano 0001, Daniele Theseider Dupré. datalog 2022: 54-67 [doi]

Formulog: Datalog + SMT + FPAaron Bembenek, Michael Greenberg 0002, Stephen Chong. datalog 2022: 48-53 [doi]

Datalog Rewriting for Guarded TGDsMichael Benedikt, Maxime Buron, Stefano Germano, Kevin Kappelmann, Boris Motik. datalog 2022: 104-113 [doi]

Querying Data Exchange Settings Beyond Positive QueriesMarco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna. datalog 2022: 27-41 [doi]

Well-founded Semantics for Recursive SHACLAdrian Chmurovic, Mantas Simkus. datalog 2022: 2-13 [doi]

A Tool for Encoding Controlled Natural Language Specifications as ASP RulesCarmine Dodaro, Marco Maratea, Francesco Riccio. datalog 2022: 188-201 [doi]

Towards Better Understanding of the Performance and Design of Datalog SystemsZhiwei Fan, Sunil Mallireddy, Paraschos Koutris. datalog 2022: 166-180 [doi]

Certain Answers of Extensions of Conjunctive Queries by Datalog and First-Order RewritingAmélie Gheerbrant, Leonid Libkin, Alexandra Rogova, Cristina Sirangelo. datalog 2022: 14-26 [doi]

Dyadic Existential RulesGeorg Gottlob, Marco Manna, Cinzia Marte. datalog 2022: 83-96 [doi]

CompeGen: Computing Company Competitor Pairs By Knowledge Based Inference Combined With Empirical ValidationGeorg Gottlob, Jinsong Guo, Aditya Jami, Markus Kröll, Stéphane Reissfeldee, Lukas Schweizer, Eric Aichinger, Stefano Sferrazza. datalog 2022: 207-211 [doi]

Datalog with Existential Quantifiers and Temporal Operators (Extended Abstract)Matthias Lanzinger, Przemyslaw Andrzej Walega. datalog 2022: 139-144 [doi]

New Perspectives for Fuzzy Datalog (Extended Abstract)Matthias Lanzinger, Stefano Sferrazza, Georg Gottlob. datalog 2022: 42-47 [doi]

Intelligent Agents and Complex Event Processing to enhance Patient MonitoringLorenzo De Lauretis, Fabio Persia, Stefania Costantini. datalog 2022: 212-218 [doi]

A Formal Comparison between Datalog-based Languages for Stream ReasoningNicola Leone, Marco Manna, Maria Concetta Morelli, Simona Perri. datalog 2022: 151-165 [doi]

A Rule-Based Constraint Language for Event StreamsIsaac Mackey, Jianwen Su. datalog 2022: 145-150 [doi]

Flix: A Meta Programming Language for DatalogMagnus Madsen, Jonathan Starup, Ondrej Lhoták. datalog 2022: 202-206 [doi]

Towards Bridging Traditional and Smart Contracts with Datalog-based LanguagesMarkus Nissl, Emanuel Sallinger. datalog 2022: 68-82 [doi]

Novel Techniques in Datalog Optimization (Abstract)Reinhard Pichler. datalog 2022: 1 [doi]

Meta-reasoning over OWL 2 QL using DatalogHaya Majid Qureshi, Wolfgang Faber 0001. datalog 2022: 181-187 [doi]

Reasoning Techniques in DatalogMTLPrzemyslaw Andrzej Walega, Michal Zawidzki, Bernardo Cuenca Grau. datalog 2022: 127-138 [doi]

2019

Large-Scale Reasoning on Expressive Horn OntologiesCarlo 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. datalog 2019: 10-21 [doi]

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, 2019Mario Alviano, Andreas Pieris, editors, Volume 2368 of CEUR Workshop Proceedings, CEUR-WS.org, 2019. [doi]

Relational Artificial IntelligenceMolham Aref. datalog 2019: 1 [doi]

Constraint Answer Set Programming without Grounding and its ApplicationsJoaquín Arias, Manuel Carro, Zhuo Chen, Gopal Gupta. datalog 2019: 22-26 [doi]

Performance Analysis and Comparison of Deductive Systems and SQL DatabasesStefan Brass, Mario Wenzel. datalog 2019: 27-38 [doi]

Dynamic and Temporal Answer Set Programming on Linear Finite TracesPedro Cabalar, Torsten Schaub. datalog 2019: 3-6 [doi]

Feature Engineering and Explainability with Vadalog: A Recommender Systems ApplicationJack Clearman, Ruslan R. Fayzrakhmanov, Georg Gottlob, Yavor Nenov, Stéphane Reissfelder, Emanuel Sallinger, Evgeny Sherkhonov. datalog 2019: 39-43 [doi]

Logic Programming and Non-monotonic Reasoning from 1991 to 2019: a Personal PerspectiveMichael Gelfond. datalog 2019: 2 [doi]

Possible Worlds Explorer: Datalog & Answer Set Programming for the Rest of UsSahil Gupta, Yi-Yun Cheng, Bertram Ludäscher. datalog 2019: 44-55 [doi]

An Extension of Datalog for Modelling and Solving Complex Combinatorial ProblemsFrancesco Ricca. datalog 2019: 7-9 [doi]

Differential DatalogLeonid Ryzhyk, Mihai Budiu. datalog 2019: 56-67 [doi]

A Logical Approach to Representing and Reasoning About Interdomain Routing PoliciesAnduo Wang, Zhijia Chen. datalog 2019: 68-79 [doi]

2012

Business Network Reconstruction Using DatalogDaniel Ritter 0001, Till Westmann. datalog 2012: 148-152 [doi]

Declarative Datalog Debugging for Mere MortalsSven Köhler 0003, Bertram Ludäscher, Yannis Smaragdakis. datalog 2012: 111-122 [doi]

Magic-Sets for Datalog with Existential QuantifiersMario Alviano, Nicola Leone, Marco Manna, Giorgio Terracina, Pierfrancesco Veltri. datalog 2012: 31-43 [doi]

On the CRON ConjectureTom J. Ameloot, Jan Van den Bussche. datalog 2012: 44-55 [doi]

Datalog in Academia and Industry - Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012. ProceedingsPablo Barceló, Reinhard Pichler, editors, Volume 7494 of Lecture Notes in Computer Science, Springer, 2012. [doi]

Order in Datalog with Applications to Declarative OutputStefan Brass. datalog 2012: 56-67 [doi]

A Broad Class of First-Order Rewritable Tuple-Generating DependenciesCristina Civili, Riccardo Rosati. datalog 2012: 68-80 [doi]

Datalog Development Tools - (Extended Abstract)Onofrio Febbraro, Giovanni Grasso, Nicola Leone, Kristian Reale, Francesco Ricca. datalog 2012: 81-85 [doi]

Query Rewriting Using Datalog for Duplicate ResolutionJaffer Gardezi, Leopoldo E. Bertossi. datalog 2012: 86-98 [doi]

LogicBlox, Platform and Language: A TutorialTodd J. Green, Molham Aref, Grigoris Karvounarakis. datalog 2012: 1-8 [doi]

Datalog: A Perspective and the PotentialYuri Gurevich. datalog 2012: 9-20 [doi]

Reasoning about Knowledge in Distributed Systems Using DatalogMatteo Interlandi. datalog 2012: 99-110 [doi]

Inconsistency-Tolerant Query Rewriting for Linear Datalog+/-Thomas Lukasiewicz, Maria Vanina Martinez, Gerardo I. Simari. datalog 2012: 123-134 [doi]

Confluence Analysis for Distributed Programs: A Model-Theoretic ApproachWilliam R. Marczak, Peter Alvaro, Neil Conway, Joseph M. Hellerstein, David Maier. datalog 2012: 135-147 [doi]

Existential Rules: A Graph-Based View - (Extended Abstract)Marie-Laure Mugnier. datalog 2012: 21-26 [doi]

How (Well) Do Datalog, SPARQL and RIF Interplay?Axel Polleres. datalog 2012: 27-30 [doi]

Data Exchange in Datalog Is Mainly a Matter of ChoiceDomenico Saccà, Edoardo Serra. datalog 2012: 153-164 [doi]

Optimizing Large-Scale Semi-Naïve Datalog Evaluation in HadoopMarianne Shaw, Paraschos Koutris, Bill Howe, Dan Suciu. datalog 2012: 165-176 [doi]

Logical Foundations of Continuous Query Languages for Data StreamsCarlo Zaniolo. datalog 2012: 177-189 [doi]

2011

Datalog Reloaded - First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected PapersOege de Moor, Georg Gottlob, Tim Furche, Andrew Jon Sellers, editors, Volume 6702 of Lecture Notes in Computer Science, Springer, 2011. [doi]

2010

Distributed Datalog RevisitedSerge Abiteboul, Meghyn Bienvenu, Alban Galland, Marie-Christine Rousset. datalog 2011: 252-261 [doi]

Cluster Computing, Recursion and DatalogFoto N. Afrati, Vinayak R. Borkar, Michael J. Carey, Neoklis Polyzotis, Jeffrey D. Ullman. datalog 2011: 120-144 [doi]

Datalog-Based Program Analysis with BES and RWLMaría Alpuente, Marco Antonio Feliú, Christophe Joubert, Alicia Villanueva. datalog 2011: 1-20 [doi]

Dedalus: Datalog in Time and SpacePeter Alvaro, William R. Marczak, Neil Conway, Joseph M. Hellerstein, David Maier, Russell Sears. datalog 2011: 262-281 [doi]

The Disjunctive Datalog System DLVMario Alviano, Wolfgang Faber, Nicola Leone, Simona Perri, Gerald Pfeifer, Giorgio Terracina. datalog 2011: 282-301 [doi]

Datalog as a Query Language for Data Exchange SystemsMarcelo Arenas, Pablo Barceló, Juan L. Reutter. datalog 2011: 302-320 [doi]

Datalog-Related Aspects in Lixto Visual DeveloperRobert Baumgartner. datalog 2011: 145-160 [doi]

Datalog for Security, Privacy and TrustPiero A. Bonatti. datalog 2011: 21-36 [doi]

Datalog Relaunched: Simulation Unification and Value InventionFrançois Bry, Tim Furche, Clemens Ley, Bruno Marnette, Benedikt Linse, Sebastian Schaffert. datalog 2011: 321-350 [doi]

Datalog+/-: A Family of Languages for Ontology QueryingAndrea Calì, Georg Gottlob, Thomas Lukasiewicz, Andreas Pieris. datalog 2011: 351-368 [doi]

Answer Set Modules for Logical AgentsStefania Costantini. datalog 2011: 37-58 [doi]

Informing Datalog through Language Intelligence - A Personal PerspectiveVerónica Dahl. datalog 2011: 161-180 [doi]

First-Order Encodings for Modular Nonmonotonic Datalog ProgramsMinh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner. datalog 2011: 59-77 [doi]

Dyna: Extending Datalog for Modern AIJason Eisner, Nathaniel Wesley Filardo. datalog 2011: 181-220 [doi]

Knowledge Representation Language P-Log - A Short IntroductionMichael Gelfond. datalog 2011: 369-383 [doi]

Datalog Programs and Their Stable ModelsVladimir Lifschitz. datalog 2011: 78-87 [doi]

Datalog for the Web 2.0: The Case of Social Network Data ManagementMatteo Magnani, Danilo Montesi. datalog 2011: 221-224 [doi]

Living with Inconsistency and Taming NonmonotonicityJan Maluszynski, Andrzej Szalas. datalog 2011: 384-398 [doi]

Context Modelling and Context-Aware Querying - (Can Datalog Be of Help?)Giorgio Orsi, Letizia Tanca. datalog 2011: 225-244 [doi]

Exploiting Bounded Treewidth with Datalog (A Survey)Reinhard Pichler. datalog 2011: 88-105 [doi]

Using Datalog for Fast and Easy Program AnalysisYannis Smaragdakis, Martin Bravenboer. datalog 2011: 245-251 [doi]

Equivalence between Extended Datalog Programs - A Brief SurveyStefan Woltran. datalog 2011: 106-119 [doi]

Sign in or sign up to see more results.

runs on WebDSL