Search results for "datalog"

Hits ?▲	Authors	Title	Venue	Year	Link
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