Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
14 | Martin Grohe, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Peter Lindner 0001 |
Generative Datalog with Continuous Distributions. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
14 | Alessio Fiorentino, Jessica Zangari, Marco Manna |
DaRLing: A Datalog rewriter for OWL 2 RL ontological reasoning under SPARQL queries. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
14 | Aaron Bembenek, Michael Greenberg 0002, Stephen Chong |
Formulog: Datalog for SMT-Based Static Analysis (Extended Version). |
CoRR |
2020 |
DBLP BibTeX RDF |
|
14 | Yuepeng Wang 0001, Rushi Shah, Abby Criswell, Rong Pan, Isil Dillig |
Data Migration using Datalog Program Synthesis. (PDF / PS) |
Proc. VLDB Endow. |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Van-Dang Tran, Hiroyuki Kato, Zhenjiang Hu |
BIRDS: Programming view update strategies in Datalog. (PDF / PS) |
Proc. VLDB Endow. |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Alessio Fiorentino, Jessica Zangari, Marco Manna |
DaRLing: A Datalog rewriter for OWL 2 RL ontological reasoning under SPARQL queries. |
Theory Pract. Log. Program. |
2020 |
DBLP DOI BibTeX RDF |
|
14 | David Zhao 0001, Pavle Subotic, Bernhard Scholz |
Debugging Large-scale Datalog: A Scalable Provenance Evaluation Strategy. |
ACM Trans. Program. Lang. Syst. |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Mario Alviano, Marco Manna |
Large-Scale Ontological Reasoning via Datalog. |
Applications and Practices in Ontology Design, Extraction, and Reasoning |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Ramy Shahin, Marsha Chechik |
Variability-Aware Datalog. |
PADL |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Tova Milo, Yuval Moskovitch, Brit Youngmann |
Contribution Maximization in Probabilistic Datalog. |
ICDE |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Pascual Julián Iranzo, Fernando Sáenz-Pérez |
A System implementing Fuzzy Hypothetical Datalog⋆. |
FUZZ-IEEE |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Van-Dang Tran, Hiroyuki Kato, Zhenjiang Hu |
A Counterexample-Guided Debugger for Non-recursive Datalog. |
APLAS |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Antonio Flores-Montoya, Eric M. Schulte |
Datalog Disassembly. |
USENIX Security Symposium |
2020 |
DBLP BibTeX RDF |
|
14 | Martin Grohe, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Peter Lindner 0001 |
Generative Datalog with Continuous Distributions. |
PODS |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Shikha Singh 0002, Sergey Madaminov, Michael A. Bender, Michael Ferdman, Ryan Johnson, Benjamin Moseley, Hung Q. Ngo 0001, Dung Nguyen, Soeren Olesen, Kurt Stirewalt, Geoffrey Washburn |
A Scheduling Approach to Incremental Maintenance of Datalog Programs. |
IPDPS |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Efthymia Tsamoura, Víctor Gutiérrez-Basulto, Angelika Kimmig |
Beyond the Grounding Bottleneck: Datalog Techniques for Inference in Probabilistic Logic Programs. |
AAAI |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Ian Horrocks 0001 |
Complexity and Expressive Power of Disjunction and Negation in Limit Datalog. |
AAAI |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Unmesh Joshi, Ceriel J. H. Jacobs, Jacopo Urbani |
Rewrite or Not Rewrite? ML-Based Algorithm Selection for Datalog Query Answering on Knowledge Graphs. |
ECAI |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Bruno Yun, Srdjan Vesic, Madalina Croitoru |
Sets of Attacking Arguments for Inconsistent Datalog Knowledge Bases. |
COMMA |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Bas Ketsman, Christoph Koch 0001 |
Datalog with Negation and Monotonicity. |
ICDT |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Tomasz Gogacz, Sanja Lukumbuzya, Magdalena Ortiz 0001, Mantas Simkus |
Datalog Rewritability and Data Complexity of ALCHOIF with Closed Predicates. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Mario Wenzel, Stefan Brass |
Translation of Interactive Datalog Programs for Microcontrollers to Finite State Machines. |
LOPSTR |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Egor V. Kostylev |
Declarative Data Analysis Using Limit Datalog Programs. |
Reasoning Web |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Hongyuan Mei, Guanghui Qin, Minjie Xu, Jason Eisner |
Neural Datalog Through Time: Informed Temporal Modeling via Logical Specification. |
ICML |
2020 |
DBLP BibTeX RDF |
|
14 | Przemyslaw Andrzej Walega, Bernardo Cuenca Grau, Mark Kaminski, Egor V. Kostylev |
Tractable Fragments of Datalog with Metric Temporal Operators. |
IJCAI |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Zhe Wang 0001, Peng Xiao 0009, Kewen Wang 0001, Zhiqiang Zhuang, Hai Wan |
Query Answering for Existential Rules via Efficient Datalog Rewriting. |
IJCAI |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Muhammad Imran, Gábor E. Gévay, Volker Markl |
Distributed Graph Analytics with Datalog Queries in Flink. |
SFDI/LSGDA@VLDB |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Pan Hu 0001 |
Efficient computation and maintenance of datalog materialisations. |
|
2020 |
RDF |
|
14 | Bernardo Cuenca Grau, Ian Horrocks 0001, Mark Kaminski, Egor V. Kostylev, Boris Motik |
Limit Datalog: A Declarative Query Language for Data Analysis. |
SIGMOD Rec. |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks 0001 |
Maintenance of datalog materialisations revisited. |
Artif. Intell. |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Antoine Amarilli, Pierre Bourhis, Mikaël Monet, Pierre Senellart |
Evaluating Datalog via Tree Automata and Cycluits. |
Theory Comput. Syst. |
2019 |
DBLP DOI BibTeX RDF |
|
14 | K. Tuncay Tekle, Yanhong A. Liu |
Extended Magic for Negation: Efficient Demand-Driven Evaluation of Stratified Datalog with Precise Complexity Guarantees. |
ICLP Technical Communications |
2019 |
DBLP DOI BibTeX RDF |
|
14 | David Zhao 0001, Pavle Subotic, Bernhard Scholz |
Provenance for Large-scale Datalog. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
14 | Angelos Charalambidis, Christos Nomikos, Panos Rondogiannis |
The Expressive Power of Higher-Order Datalog. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
14 | Pan Hu 0001, Jacopo Urbani, Boris Motik, Ian Horrocks 0001 |
Datalog Reasoning over Compressed RDF Knowledge Bases. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
14 | Mario Wenzel, Stefan Brass |
Declarative Programming for Microcontrollers - Datalog on Arduino. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
14 | Ramy Shahin, Marsha Chechik, Rick Salay |
Lifting Datalog-Based Analyses to Software Product Lines. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
14 | Ramy Shahin, Marsha Chechik |
Variability-aware Datalog. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
14 | Xujie Si, Mukund Raghothaman, Kihong Heo, Mayur Naik |
Synthesizing Datalog Programs Using Numerical Relaxation. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
14 | Temitope Ajileye, Boris Motik, Ian Horrocks 0001 |
Datalog Materialisation in Distributed RDF Stores with Dynamic Data Exchange. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
14 | Antonio Flores-Montoya, Eric M. Schulte |
Datalog Disassembly. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
14 | Shqiponja Ahmetaj, Magdalena Ortiz 0001, Mantas Simkus |
Polynomial Rewritings from Expressive Description Logics with Closed Predicates to Variants of Datalog. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
14 | Efthymia Tsamoura, Víctor Gutiérrez-Basulto, Angelika Kimmig |
Beyond the Grounding Bottleneck: Datalog Techniques for Inference in Probabilistic Logic Programs (Technical Report). |
CoRR |
2019 |
DBLP BibTeX RDF |
|
14 | Alessio Fiorentino, Nicola Leone, Marco Manna, Simona Perri, Jessica Zangari |
Precomputing Datalog evaluation plans in large-scale scenarios. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
14 | Zhiwei Fan, Jianqiao Zhu, Zuyu Zhang, Aws Albarghouthi, Paraschos Koutris, Jignesh M. Patel |
Scaling-Up In-Memory Datalog Processing: Observations and Techniques. (PDF / PS) |
Proc. VLDB Endow. |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Daniel Deutch, Evgeny Marants, Yuval Moskovitch |
Datalignment: Ontology Schema Alignment Through Datalog Containment. (PDF / PS) |
Proc. VLDB Endow. |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Cristina Feier, Antti Kuusisto, Carsten Lutz |
Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics. |
Log. Methods Comput. Sci. |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Alessio Fiorentino, Nicola Leone, Marco Manna, Simona Perri, Jessica Zangari |
Precomputing Datalog Evaluation Plans in Large-Scale Scenarios. |
Theory Pract. Log. Program. |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Angelos Charalambidis, Christos Nomikos, Panos Rondogiannis |
The Expressive Power of Higher-Order Datalog. |
Theory Pract. Log. Program. |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Patrick Nappa, David Zhao 0001, Pavle Subotic, Bernhard Scholz |
Fast Parallel Equivalence Relations in a Datalog Compiler. |
PACT |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Tova Milo, Yuval Moskovitch, Brit Youngmann |
PODIUM: Probabilistic Datalog Analysis via Contribution Maximization. |
CIKM |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Pan Hu 0001, Jacopo Urbani, Boris Motik, Ian Horrocks 0001 |
Datalog Reasoning over Compressed RDF Knowledge Bases. |
CIKM |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Temitope Ajileye, Boris Motik, Ian Horrocks 0001 |
Datalog Materialisation in Distributed RDF Stores with Dynamic Data Exchange. |
ISWC (1) |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Matthew Morris, Tala Ross, Thomas Meyer |
Defeasible disjunctive datalog. |
FAIR |
2019 |
DBLP BibTeX RDF |
|
14 | Michael Harrison, Thomas Meyer 0002 |
Rational preferential reasoning for datalog. |
FAIR |
2019 |
DBLP BibTeX RDF |
|
14 | Mario Alvarez-Picallo, Alex Eyers-Taylor, Michael Peyton Jones, C.-H. Luke Ong |
Fixing Incremental Computation - Derivatives of Fixpoints, and the Recursive Semantics of Datalog. |
ESOP |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Mario Wenzel, Stefan Brass |
Declarative Programming for Microcontrollers - Datalog on Arduino. |
DECLARE |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Ramy Shahin, Marsha Chechik, Rick Salay |
Lifting Datalog-based analyses to software product lines. |
ESEC/SIGSOFT FSE |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Thomas Lukasiewicz, Enrico Malizia, Andrius Vaicenavicius |
Complexity of Inconsistency-Tolerant Query Answering in Datalog+/- under Cardinality-Based Repairs. |
AAAI |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Przemyslaw Andrzej Walega, Mark Kaminski, Bernardo Cuenca Grau |
Reasoning over Streaming Data in Metric Temporal Datalog. |
AAAI |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Pan Hu 0001, Boris Motik, Ian Horrocks 0001 |
Modular Materialisation of Datalog Programs. |
AAAI |
2019 |
DBLP DOI BibTeX RDF |
|
14 | David Carral, Larry González, Patrick Koopmann |
From Horn-SRIQ to Datalog: A Data-Independent Transformation That Preserves Assertion Entailment. |
AAAI |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Frank Neven, Thomas Schwentick, Christopher Spinrath, Brecht Vandevoort |
Parallel-Correctness and Parallel-Boundedness for Datalog Programs. |
ICDT |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Leopoldo E. Bertossi, Georg Gottlob, Reinhard Pichler |
Datalog: Bag Semantics via Set Semantics. |
ICDT |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Carlo Allocca, Roberta Costabile, Alessio Fiorentino, Simona Perri, Jessica Zangari |
Memory-Saving Evaluation Plans for Datalog. |
JELIA |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Loris Bozzato, Thomas Eiter, Luciano Serafini |
A Datalog Translation for Reasoning on DL-Lite_R with Defeasibility. |
Description Logics |
2019 |
DBLP BibTeX RDF |
|
14 | Zhe Wang 0001, Peng Xiao 0009, Kewen Wang 0001 |
Practical Datalog Rewriting for Existential Rules. |
Description Logics |
2019 |
DBLP BibTeX RDF |
|
14 | David Carral, Larry González, Patrick Koopmann |
From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment. |
Description Logics |
2019 |
DBLP BibTeX RDF |
|
14 | Herbert Jordan, Pavle Subotic, David Zhao 0001, Bernhard Scholz |
Brie: A Specialized Trie for Concurrent Datalog. |
PMAM@PPoPP |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Herbert Jordan, Pavle Subotic, David Zhao 0001, Bernhard Scholz |
A specialized B-tree for concurrent datalog evaluation. |
PPoPP |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Stefania Costantini, Andrea Formisano 0001 |
Augmenting Datalog± with Customizable Metalogic Features for Powerful Ontological Reasoning. |
AI*IA |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Xujie Si, Mukund Raghothaman, Kihong Heo, Mayur Naik |
Synthesizing Datalog Programs using Numerical Relaxation. |
IJCAI |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Bruno Yun, Madalina Croitoru, Srdjan Vesic, Pierre Bisquert |
NAKED: N-Ary Graphs from Knowledge Bases Expressed in Datalog±. |
AAMAS |
2019 |
DBLP BibTeX RDF |
|
14 | Luigi Bellomarini, Georg Gottlob, Emanuel Sallinger |
Datalog-based Reasoning for Knowledge Graphs. |
AMW |
2019 |
DBLP BibTeX RDF |
|
14 | Abhijeet Mohapatra |
Aggregates in datalog. |
|
2019 |
RDF |
|
14 | Stathis Delivorias |
Chase Variants & Boundedness. (Caractérisation des Bornes de Chaînage Avant en Règles Existentielles (Datalog+)). |
|
2019 |
RDF |
|
14 | |
Datalog. |
Encyclopedia of Social Network Analysis and Mining. 2nd Ed. |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Grigoris Karvounarakis |
Datalog. |
Encyclopedia of Database Systems (2nd ed.) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Tamás Szabó, Gábor Bergmann, Sebastian Erdweg, Markus Voelter |
Incrementalizing lattice-based program analyses in Datalog. |
Proc. ACM Program. Lang. |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Giuseppe Cota |
Reasoning on Datalog± Ontologies with Abductive Logic Programming. |
Fundam. Informaticae |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Bettina Fazzinga, Thomas Lukasiewicz, Maria Vanina Martinez, Gerardo I. Simari, Oana Tifrea-Marciuska |
Ontological query answering under many-valued group preferences in Datalog+/-. |
Int. J. Approx. Reason. |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Cristhian A. D. Deagustini, Maria Vanina Martinez, Marcelo A. Falappa, Guillermo Ricardo Simari |
How does incoherence affect inconsistency-tolerant semantics for Datalog±? |
Ann. Math. Artif. Intell. |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Antoine Amarilli, Pierre Bourhis, Mikaël Monet, Pierre Senellart |
Evaluating Datalog via Tree Automata and Cycluits. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
14 | Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, Ian Horrocks 0001 |
Stratified Negation in Limit Datalog Programs. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
14 | Angela Bonifati, Stefania Dumbrava, Emilio Jesús Gallego Arias |
Certified Graph View Maintenance with Regular Datalog. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
14 | Pan Hu 0001, Boris Motik, Ian Horrocks 0001 |
Modular Materialisation of Datalog Programs. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
14 | Mario Alvarez-Picallo, Alex Eyers-Taylor, Michael Peyton Jones, C.-H. Luke Ong |
Fixing Incremental Computation: Derivatives of Fixpoints, and the Recursive Semantics of Datalog. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
14 | Aaron Bembenek, Stephen Chong |
FormuLog: Datalog for static analysis involving logical formulae. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
14 | Leopoldo E. Bertossi, Georg Gottlob, Reinhard Pichler |
Datalog: Bag Semantics via Set Semantics. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
14 | Zhiwei Fan, Jianqiao Zhu, Zuyu Zhang, Aws Albarghouthi, Paraschos Koutris, Jignesh M. Patel |
Scaling-Up In-Memory Datalog Processing: Observations and Techniques. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
14 | Chungha Sung, Shuvendu K. Lahiri, Constantin Enea, Chao Wang 0001 |
Datalog-based Scalable Semantic Diffing of Concurrent Programs. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
14 | Luigi Bellomarini, Georg Gottlob, Emanuel Sallinger |
The Vadalog System: Datalog-based Reasoning for Knowledge Graphs. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
14 | Luigi Bellomarini, Emanuel Sallinger, Georg Gottlob |
The Vadalog System: Datalog-based Reasoning for Knowledge Graphs. (PDF / PS) |
Proc. VLDB Endow. |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Pavle Subotic, Herbert Jordan, Lijun Chang, Alan D. Fekete, Bernhard Scholz |
Automatic Index Selection for Large-Scale Datalog Computation. (PDF / PS) |
Proc. VLDB Endow. |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Pascual Julián Iranzo, Fernando Sáenz-Pérez |
A Fuzzy Datalog Deductive Database System. |
IEEE Trans. Fuzzy Syst. |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Matteo Interlandi, Letizia Tanca |
A datalog-based computational model for coordination-free, data-parallel systems. |
Theory Pract. Log. Program. |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Angela Bonifati, Stefania Dumbrava, Emilio Jesús Gallego Arias |
Certified Graph View Maintenance with Regular Datalog. |
Theory Pract. Log. Program. |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Daniel Deutch, Amir Gilad, Yuval Moskovitch |
Efficient provenance tracking for datalog using top-k queries. |
VLDB J. |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Conrado Borraz-Sánchez, Diego Klabjan, Emir Pasalic, Molham Aref |
SolverBlox: algebraic modeling in datalog. |
Declarative Logic Programming |
2018 |
DBLP DOI BibTeX RDF |
|
14 | David Maier 0001, K. Tuncay Tekle, Michael Kifer, David Scott Warren |
Datalog: concepts, history, and outlook. |
Declarative Logic Programming |
2018 |
DBLP DOI BibTeX RDF |
|