Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
14 | Ariyam Das, Sahil M. Gandhi, Carlo Zaniolo |
ASTRO: A Datalog System for Advanced Stream Reasoning. |
CIKM |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Stefan Brass, Mario Wenzel |
An Abstract Machine for Push Bottom-Up Evaluation of Datalog. |
DEXA (2) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Petar Tsankov |
Security Analysis of Smart Contracts in Datalog. |
ISoLA (4) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Jiwon Seo 0002 |
Datalog Extensions for Bioinformatic Data Analysis. |
EMBC |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Stanislav Kikot, Roman Kontchakov, Salvatore Rapisarda, Michael Zakharyaschev |
STypeS: Nonrecursive Datalog Rewriter for Linear TGDs and Conjunctive Queries. |
OTM Conferences (2) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Carlo Zaniolo, Mohan Yang, Matteo Interlandi, Ariyam Das, Alexander Shkapsky, Tyson Condie |
Declarative Algorithms in Datalog with Extrema: Their Formal Semantics Simplified. |
ICLP (Technical Communications) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Nantia Makrynioti, Nikolaos Vasiloglou, Emir Pasalic, Vasilis Vassalos |
Modelling Machine Learning Algorithms on Relational Data with Datalog. |
DEEM@SIGMOD |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Xujie Si, Woosuk Lee, Richard Zhang 0004, Aws Albarghouthi, Paraschos Koutris, Mayur Naik |
Syntax-guided synthesis of Datalog programs. |
ESEC/SIGSOFT FSE |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Alessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau, Boris Motik, Ian Horrocks 0001 |
Stream Reasoning in Temporal Datalog. |
AAAI |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Pan Hu 0001, Boris Motik, Ian Horrocks 0001 |
Optimised Maintenance of Datalog Materialisations. |
AAAI |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Thomas Lukasiewicz, Enrico Malizia, Cristian Molinaro |
Complexity of Approximate Query Answering under Inconsistency in Datalog+/-. |
SEBD |
2018 |
DBLP BibTeX RDF |
|
14 | Yahui Li, Zhiliang Wang, Xia Yin, Xingang Shi, Jianping Wu, Jiangyuan Yao, Yingya Guo |
Efficient network configuration verification using optimized datalog. |
INFOCOM Workshops |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Bas Ketsman, Aws Albarghouthi, Paraschos Koutris |
Distribution Policies for Datalog. |
ICDT |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Shqiponja Ahmetaj, Magdalena Ortiz 0001, Mantas Simkus |
Rewriting Guarded Existential Rules into Small Datalog Programs. |
ICDT |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Mistral Contrastin, Dominic A. Orchard, Andrew C. Rice |
Automatic Reordering for Dataflow Safety of Datalog. |
PPDP |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Xue Li, Alan Bundy, Alan Smaill |
ABC Repair System for Datalog-like Theories. |
KEOD |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Chungha Sung, Shuvendu K. Lahiri, Constantin Enea, Chao Wang 0001 |
Datalog-based scalable semantic diffing of concurrent programs. |
ASE |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Phuc Do, Phu Pham |
W-PathSim++: the novel approach of topic-driven similarity search in large-scaled heterogeneous network with the support of Spark-based DataLog. |
KSE |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Herbert Jordan, Bernhard Scholz, Pavle Subotic |
Two concurrent data structures for efficient datalog query processing. |
PPoPP |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Thomas Lukasiewicz, Enrico Malizia, Cristian Molinaro |
Complexity of Approximate Query Answering under Inconsistency in Datalog+/-. |
IJCAI |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, Ian Horrocks 0001 |
Stratified Negation in Limit Datalog Programs. |
IJCAI |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Bruno Yun, Madalina Croitoru, Srdjan Vesic, Pierre Bisquert |
DAGGER: Datalog+/- Argumentation Graph GEneRator. |
AAMAS |
2018 |
DBLP BibTeX RDF |
|
14 | |
Query, Datalog. |
Encyclopedia of GIS |
2017 |
DBLP DOI BibTeX RDF |
|
14 | |
Datalog, SQL. |
Encyclopedia of GIS |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Tom J. Ameloot, Bas Ketsman, Frank Neven, Daniel Zinn |
Datalog Queries Distributing over Components. |
ACM Trans. Comput. Log. |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Makoto Kanazawa |
Parsing and Generation as Datalog Query Evaluation. |
FLAP |
2017 |
DBLP BibTeX RDF |
|
14 | Leopoldo E. Bertossi, Babak Salimi |
Causes for query answers from databases: Datalog abduction, view-updates, and integrity constraints. |
Int. J. Approx. Reason. |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Christiane Engels, Andreas Behrend, Stefan Brass |
A Rule-Based Approach to Analyzing Database Schema Objects with Datalog. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
14 | Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, Ian Horrocks 0001 |
Foundations of Declarative Data Analysis Using Limit Datalog Programs. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
14 | Stefan Brass, Heike Stephan |
Bottom-Up Evaluation of Datalog: Preliminary Report. |
WLP / WFLP |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Cristina Feier, Antti Kuusisto, Carsten Lutz |
Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
14 | Carlo Zaniolo, Mohan Yang, Matteo Interlandi, Ariyam Das, Alexander Shkapsky, Tyson Condie |
Fixpoint Semantics and Optimization of Recursive Datalog Programs with Aggregates. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
14 | Alessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau, Boris Motik, Ian Horrocks 0001 |
Stream Reasoning in Temporal Datalog. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
14 | Pan Hu 0001, Boris Motik, Ian Horrocks 0001 |
Optimised Maintenance of Datalog Materialisations. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
14 | Taisuke Sato |
A linear algebraic approach to datalog evaluation. |
Theory Pract. Log. Program. |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Carlo Zaniolo, Mohan Yang, Ariyam Das, Alexander Shkapsky, Tyson Condie, Matteo Interlandi |
Fixpoint semantics and optimization of recursive Datalog programs with aggregates. |
Theory Pract. Log. Program. |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Vince Bárány, Balder ten Cate, Benny Kimelfeld, Dan Olteanu, Zografoula Vagena |
Declarative Probabilistic Programming with Datalog. |
ACM Trans. Database Syst. |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Mohan Yang, Alexander Shkapsky, Carlo Zaniolo |
Scaling up the performance of more powerful Datalog systems on multicore machines. |
VLDB J. |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Stefan Brass, Heike Stephan |
Pipelined Bottom-Up Evaluation of Datalog Programs: The Push Method. |
Ershov Informatics Conference |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Stefan Brass |
Language Constructs for a Datalog Compiler. |
DEXA (1) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Giovanni Amendola, Nicola Leone, Marco Manna, Pierfrancesco Veltri |
Reasoning on anonymity in Datalog+/-. |
ICLP (Technical Communications) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Mahmoud Abo Khamis, Hung Q. Ngo 0001, Dan Suciu |
What Do Shannon-type Inequalities, Submodular Width, and Disjunctive Datalog Have to Do with One Another? |
PODS |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Edelmira Pasarella, Jorge Lobo 0001 |
A Datalog Framework for Modeling Relationship-based Access Control Policies. |
SACMAT |
2017 |
DBLP DOI BibTeX RDF |
|
14 | George Balatsouras, Kostas Ferles, George Kastrinis, Yannis Smaragdakis |
A Datalog model of must-alias analysis. |
SOAP@PLDI |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Tony Antoniadis, Konstantinos Triantafyllou, Yannis Smaragdakis |
Porting doop to Soufflé: a tale of inter-engine portability for Datalog-based analyses. |
SOAP@PLDI |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Bernardo Cuteri, Francesco Ricca |
A compiler for stratified Datalog programs: preliminary results. |
SEBD |
2017 |
DBLP BibTeX RDF |
|
14 | Cristina Feier, Antti Kuusisto, Carsten Lutz |
Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics (Invited Talk). |
ICDT |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Véronique Benzaken, Evelyne Contejean, Stefania Dumbrava |
Certifying Standard and Stratified Datalog Inference Engines in SSReflect. |
ITP |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Aws Albarghouthi, Paraschos Koutris, Mayur Naik, Calvin Smith |
Constraint-Based Synthesis of Datalog Programs. |
CP |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev |
Optimal Nonrecursive Datalog Rewritings of Linear TGDs and Bounded (Hyper)Tree-Width Queries. |
Description Logics |
2017 |
DBLP BibTeX RDF |
|
14 | Carsten Lutz, Leif Sabellek |
Ontology-Mediated Querying with EL: Trichotomy and Linear Datalog Rewritability. |
Description Logics |
2017 |
DBLP BibTeX RDF |
|
14 | Christiane Engels, Andreas Behrend, Stefan Brass |
A Rule-Based Approach to Analyzing Database Schema Objects with Datalog. |
LOPSTR |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Andrea Calì |
Ontology Querying: Datalog Strikes Back. |
Reasoning Web |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Marie-Christine Rousset, Manuel Atencia, Jérôme David, Fabrice Jouanot, Olivier Palombi, Federico Ulliana |
Datalog Revisited for Reasoning in Linked Data. |
Reasoning Web |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, Ian Horrocks 0001 |
Foundations of Declarative Data Analysis Using Limit Datalog Programs. |
IJCAI |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Carsten Lutz, Leif Sabellek |
Ontology-Mediated Querying with the Description Logic EL: Trichotomy and Linear Datalog Rewritability. |
IJCAI |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Zeinab Bahmani, Leopoldo E. Bertossi |
Enforcing Relational Matching Dependencies with Datalog for Entity Resolution. |
FLAIRS |
2017 |
DBLP BibTeX RDF |
|
14 | André Frochaux |
Static analysis of monadic datalog on finite labeled trees. (PDF / PS) |
|
2017 |
RDF |
|
14 | Ingo Frommholz, Thomas Roelleke |
Scalable DB+IR Technology: Processing Probabilistic Datalog with HySpirit. |
Datenbank-Spektrum |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Ana Armas Romero, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks 0001 |
Module Extraction in Expressive Ontology Languages via Datalog Reasoning. |
J. Artif. Intell. Res. |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Cristhian Ariel David Deagustini, Maria Vanina Martinez, Marcelo A. Falappa, Guillermo Ricardo Simari |
Datalog+- Ontology Consolidation. |
J. Artif. Intell. Res. |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Taisuke Sato |
A Linear Algebraic Approach to Datalog Evaluation. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
14 | Mostafa Milani, Andrea Calì, Leopoldo E. Bertossi |
A Hybrid Approach to Query Answering under Expressive Datalog+/-. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
14 | Zeinab Bahmani, Leopoldo E. Bertossi |
Enforcing Relational Matching Dependencies with Datalog for Entity Resolution. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
14 | Mahmoud Abo Khamis, Hung Q. Ngo 0001, Dan Suciu |
What do Shannon-type inequalities, submodular width, and disjunctive datalog have to do with one another? |
CoRR |
2016 |
DBLP BibTeX RDF |
|
14 | Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev |
Theoretically Optimal Datalog Rewritings for OWL 2 QL Ontology-Mediated Queries. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
14 | K. Tuncay Tekle, Yanhong A. Liu |
Precise Complexity Guarantees for Pointer Analysis via Datalog with Extensions. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
14 | Mostafa Milani, Leopoldo E. Bertossi |
Extending Weakly-Sticky Datalog+/-: Query-Answering Tractability and Optimizations. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
14 | André Frochaux, Nicole Schweikardt |
Monadic Datalog Containment on Trees Using the Descendant-Axis. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
14 | Babak Salimi, Leopoldo E. Bertossi |
Causes for Query Answers from Databases, Datalog Abduction and View-Updates: The Presence of Integrity Constraints. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
14 | Leopoldo E. Bertossi, Babak Salimi |
Causes for Query Answers from Databases: Datalog Abduction, View-Updates, and Integrity Constraints. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
14 | K. Tuncay Tekle, Yanhong A. Liu |
Precise complexity guarantees for pointer analysis via Datalog with extensions. |
Theory Pract. Log. Program. |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Filip Mazowiecki, Filip Murlak, Adam Witkowski |
Monadic Datalog and Regular Tree Pattern Queries. |
ACM Trans. Database Syst. |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Haijiang Wu, Jie Liu 0008, Tao Wang 0030, Dan Ye 0004, Jun Wei 0001, Hua Zhong 0007 |
Parallel Materialization of Datalog Programs with Spark for Scalable Reasoning. |
WISE (1) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Jacopo Urbani, Ceriel J. H. Jacobs, Markus Krötzsch |
VLog: A Column-Oriented Datalog System for Large Knowledge Graphs. |
ISWC (Posters & Demos) |
2016 |
DBLP BibTeX RDF |
|
14 | Marek Rogala, Jan Hidders, Jacek Sroka |
DatalogRA: datalog with recursive aggregation in the spark RDD model. |
GRADES |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Abdallah Arioua, Patrice Buche, Madalina Croitoru |
A Datalog± Domain-Specific Durum Wheat Knowledge Base. |
MTSR |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Thomas Lukasiewicz, Maria Vanina Martinez, Cristian Molinaro, Livia Predoiu, Gerardo I. Simari |
Ranking Answers to Datalog+/- Ontologies based on Trust and Reliability of Subjective Reports. |
Computational Models of Rationality |
2016 |
DBLP BibTeX RDF |
|
14 | Bernhard Scholz, Herbert Jordan, Pavle Subotic, Till Westmann |
On fast large-scale program analysis in Datalog. |
CC |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Alexander Shkapsky, Mohan Yang, Matteo Interlandi, Hsuan Chiu, Tyson Condie, Carlo Zaniolo |
Big Data Analytics with Datalog Queries on Spark. |
SIGMOD Conference |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Michael Arntzenius, Neelakantan R. Krishnaswami |
Datafun: a functional Datalog. |
ICFP |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Jacopo Urbani, Ceriel J. H. Jacobs, Markus Krötzsch |
Column-Oriented Datalog Materialization for Large Knowledge Graphs. |
AAAI |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Brend Wanders, Maurice van Keulen, Jan Flokstra |
JudgeD: A Probabilistic Datalog with Dependencies. |
AAAI Workshop: Declarative Learning Based Programming |
2016 |
DBLP BibTeX RDF |
|
14 | Ismail Ilkan Ceylan, Thomas Lukasiewicz, Rafael Peñaloza |
Complexity Results for Probabilistic Datalog±. |
ECAI |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Cornelius Croitoru, Madalina Croitoru |
Representing Multi-scale Datalog +/- Using Hierarchical Graphs. |
ICCS |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Magnus Madsen, Ming-Ho Yee, Ondrej Lhoták |
From Datalog to flix: a declarative language for fixed points on lattices. |
PLDI |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Haijiang Wu, Jie Liu 0008, Tao Wang 0030, Dan Ye 0004, Jun Wei 0001, Hua Zhong 0007 |
Plogs: Materializing Datalog Programs with MapReduce for Scalable Reasoning. |
UIC/ATC/ScalCom/CBDCom/IoP/SmartWorld |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Walaa Eldin Moustafa, Vicky Papavasileiou, Ken Yocum, Alin Deutsch |
Datalography: Scaling datalog graph analytics on graph processing systems. |
IEEE BigData |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Serge Abiteboul, Pierre Bourhis, Victor Vianu |
A Formal Study of Collaborative Access Control in Distributed Datalog. |
ICDT |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Vince Bárány, Balder ten Cate, Benny Kimelfeld, Dan Olteanu, Zografoula Vagena |
Declarative Probabilistic Programming with Datalog. |
ICDT |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Yisong Wang, Xu Wang, Yi Huang |
Learning Datalog Programs from Input and Output. |
ILP (Short Papers) |
2016 |
DBLP BibTeX RDF |
|
14 | Pierre Bourhis, Carsten Lutz |
Containment in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics. |
KR |
2016 |
DBLP BibTeX RDF |
|
14 | Ana Armas Romero, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks 0001 |
Ontology Module Extraction via Datalog Reasoning. |
Description Logics |
2016 |
DBLP BibTeX RDF |
|
14 | Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev |
Theoretically Optimal Datalog Rewritings for OWL 2 QL Ontology-Mediated Queries. |
Description Logics |
2016 |
DBLP BibTeX RDF |
|
14 | Shqiponja Ahmetaj, Magdalena Ortiz 0001, Mantas Simkus |
Polynomial Disjunctive Datalog Rewritings of Instance Queries in Expressive Description Logics. |
Description Logics |
2016 |
DBLP BibTeX RDF |
|
14 | Sebastian Rudolph, Michaël Thomazo |
Expressivity of Datalog Variants - Completing the Picture. |
IJCAI |
2016 |
DBLP BibTeX RDF |
|
14 | Shqiponja Ahmetaj, Magdalena Ortiz 0001, Mantas Simkus |
Polynomial Datalog Rewritings for Expressive Description Logics with Closed Predicates. |
IJCAI |
2016 |
DBLP BibTeX RDF |
|
14 | Mostafa Milani, Andrea Calì, Leopoldo E. Bertossi |
A Hybrid Approach to Query Answering Under Expressive Datalog ^\pm. |
RR |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Mostafa Milani, Leopoldo E. Bertossi |
Extending Weakly-Sticky Datalog±: Query-Answering Tractability and Optimizations. |
RR |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Babak Salimi, Leopoldo E. Bertossi |
Causes for Query Answers from Databases, Datalog Abduction and View-Updates: The Presence of Integrity Constraints. |
FLAIRS |
2016 |
DBLP BibTeX RDF |
|