Search results for "Datalog"

Hits ?▲	Authors	Title	Venue	Year	Link
14	Matthias Lanzinger, Stefano Sferrazza, Georg Gottlob	MV-Datalog+/-: Effective Rule-based Reasoning with Uncertain Observations (Extended Abstract).	IJCAI	2023	DBLP DOI BibTeX RDF
14	Xinyue Zhang, Pan Hu 0001, Yavor Nenov, Ian Horrocks 0001	Enhancing Datalog Reasoning with Hypertree Decompositions.	IJCAI	2023	DBLP DOI BibTeX RDF
14	Matthias Lanzinger, Markus Nissl, Emanuel Sallinger, Przemyslaw Andrzej Walega	Temporal Datalog with Existential Quantification.	IJCAI	2023	DBLP DOI BibTeX RDF
14	Francesco Di Cosmo	Decidability Borders of Verification of Communicating Datalog Agents.	EUMAS	2023	DBLP DOI BibTeX RDF
14	Herbert Jordan, Pavle Subotic, David Zhao 0001, Bernhard Scholz	Specializing parallel data structures for Datalog.	Concurr. Comput. Pract. Exp.	2022	DBLP DOI BibTeX RDF
14	Bas Ketsman, Paraschos Koutris	Modern Datalog Engines.	Found. Trends Databases	2022	DBLP DOI BibTeX RDF
14	Loan Ho, Somjit Arch-int, Erman Acar, Stefan Schlobach, Ngamnij Arch-int	An argumentative approach for handling inconsistency in prioritized Datalog± ontologies.	AI Commun.	2022	DBLP DOI BibTeX RDF
14	Muhammad Imran, Gábor E. Gévay, Jorge-Arnulfo Quiané-Ruiz, Volker Markl	Fast datalog evaluation for batch and stream graph processing.	World Wide Web	2022	DBLP DOI BibTeX RDF
14	Tom Godden, Ruben de Smet, Christophe Debruyne, Thibaut Vandervelden, Kris Steenhaut, An Braeken	Circuitree: A Datalog Reasoner in Zero-Knowledge.	IEEE Access	2022	DBLP DOI BibTeX RDF
14	Mojgan Kouhounestani, Woosuk Lee	Datalog Static Analysis in Secrecy.	IEEE Access	2022	DBLP DOI BibTeX RDF
14	Mahmoud Abo Khamis, Hung Q. Ngo 0001, Reinhard Pichler, Dan Suciu, Yisu Remy Wang	Datalog in Wonderland.	SIGMOD Rec.	2022	DBLP DOI BibTeX RDF
14	Pan Hu 0001, Boris Motik, Ian Horrocks 0001	Modular materialisation of Datalog programs.	Artif. Intell.	2022	DBLP DOI BibTeX RDF
14	Martin Grohe, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Peter Lindner 0001	Generative Datalog with Continuous Distributions.	J. ACM	2022	DBLP DOI BibTeX RDF
14	Mark Kaminski, Egor V. Kostylev, Bernardo Cuenca Grau, Boris Motik, Ian Horrocks 0001	The Complexity and Expressive Power of Limit Datalog.	J. ACM	2022	DBLP DOI BibTeX RDF
14	Lucas Berent, Markus Nissl, Emanuel Sallinger	Complexity of Arithmetic in Warded Datalog+-.	CoRR	2022	DBLP BibTeX RDF
14	Dingmin Wang, Pan Hu 0001, Przemyslaw Andrzej Walega, Bernardo Cuenca Grau	MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators.	CoRR	2022	DBLP BibTeX RDF
14	Mario Alviano, Matthias Lanzinger, Michael Morak, Andreas Pieris	Generative Datalog with Stable Negation.	CoRR	2022	DBLP DOI BibTeX RDF
14	Nicola Leone, Marco Manna, Maria Concetta Morelli, Simona Perri	A Formal Comparison between Datalog-based Languages for Stream Reasoning (extended version).	CoRR	2022	DBLP DOI BibTeX RDF
14	Teodoro Baldazzi, Luigi Bellomarini, Marco Favorito, Emanuel Sallinger	On the Relationship between Shy and Warded Datalog+/-.	CoRR	2022	DBLP BibTeX RDF
14	Mingda Li, Jin Wang 0007, Guorui Xiao, Youfu Li, Carlo Zaniolo	Demonstration of LogicLib: An Expressive Multi-Language Interface over Scalable Datalog System.	CoRR	2022	DBLP DOI BibTeX RDF
14	Matthias Lanzinger, Stefano Sferrazza, Georg Gottlob	MV-Datalog+-: Effective Rule-based Reasoning with Uncertain Observations.	CoRR	2022	DBLP BibTeX RDF
14	Chloé Capon, Nicolas Lecomte, Jef Wijsen	Computing H-Partitions in ASP and Datalog.	CoRR	2022	DBLP BibTeX RDF
14	Martin Bromberger, Irina Dragoste, Rasha Faqeh, Christof Fetzer, Larry González, Markus Krötzsch, Maximilian Marx 0001, Harish K. Murali, Christoph Weidenbach	A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic.	CoRR	2022	DBLP BibTeX RDF
14	Heba Aamer, Jan Hidders, Jan Paredaens, Jan Van den Bussche	Expressiveness within Sequence Datalog.	CoRR	2022	DBLP DOI BibTeX RDF
14	Camille Bourgaux, Pierre Bourhis, Liat Peterfreund, Michaël Thomazo	Revisiting Semiring Provenance for Datalog.	CoRR	2022	DBLP BibTeX RDF
14	Matthias Lanzinger, Stefano Sferrazza, Georg Gottlob	MV-Datalog+-: Effective Rule-based Reasoning with Uncertain Observations.	Theory Pract. Log. Program.	2022	DBLP DOI BibTeX RDF
14	Mingda Li, Jin Wang 0007, Guorui Xiao, Youfu Li, Carlo Zaniolo	Demonstration of LogicLib: An Expressive Multi-Language Interface over Scalable Datalog System.	CIKM	2022	DBLP DOI BibTeX RDF
14	Yann Ramusat, Silviu Maniu, Pierre Senellart	Efficient provenance-aware querying of graph databases with datalog.	GRADES-NDA@SIGMOD	2022	DBLP DOI BibTeX RDF
14	Xue Li, Alan Bundy	An overview of the ABC Repair System for Datalog-like Theories.	HLC	2022	DBLP BibTeX RDF
14	Ahmedur Rahman Shovon, Landon Richard Dyken, Oded Green, Thomas Gilray, Sidharth Kumar	Accelerating Datalog applications with cuDF.	IA3@SC	2022	DBLP DOI BibTeX RDF
14	Chloé Capon, Nicolas Lecomte, Jef Wijsen	Computing H-Partitions in ASP and Datalog.	ICLP Workshops	2022	DBLP BibTeX RDF
14	Jiacheng Wu, Jin Wang 0007, Carlo Zaniolo	Optimizing Parallel Recursive Datalog Evaluation on Multicore Machines.	SIGMOD Conference	2022	DBLP DOI BibTeX RDF
14	Mahmoud Abo Khamis, Hung Q. Ngo 0001, Reinhard Pichler, Dan Suciu, Yisu Remy Wang	Convergence of Datalog over (Pre-) Semirings.	PODS	2022	DBLP DOI BibTeX RDF
14	André Pacak, Sebastian Erdweg	Functional Programming with Datalog.	ECOOP	2022	DBLP DOI BibTeX RDF
14	André Pacak, Tamás Szabó, Sebastian Erdweg	Incremental Processing of Structured Data in Datalog.	GPCE	2022	DBLP DOI BibTeX RDF
14	Chris Tomy, Tingmao Wang, Earl T. Barr, Sergey Mechtaev	Modus: a Datalog dialect for building container images.	ESEC/SIGSOFT FSE	2022	DBLP DOI BibTeX RDF
14	Dingmin Wang, Pan Hu 0001, Przemyslaw Andrzej Walega, Bernardo Cuenca Grau	MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators.	AAAI	2022	DBLP DOI BibTeX RDF
14	Thomas Lukasiewicz, Enrico Malizia, Andrius Vaicenavicius	Complexity of Inconsistency-Tolerant Query Answering in Datalog+/- under Cardinality-Based Repairs.	SEBD	2022	DBLP BibTeX RDF
14	Teodoro Baldazzi, Luigi Bellomarini, Emanuel Sallinger, Paolo Atzeni	Reasoning in Warded Datalog+/- with Harmful Joins.	SEBD	2022	DBLP BibTeX RDF
14	Joschua Schilling, Tilo Müller	VANDALIR: Vulnerability Analyses Based on Datalog and LLVM-IR.	DIMVA	2022	DBLP DOI BibTeX RDF
14	Martin Bromberger, Irina Dragoste, Rasha Faqeh, Christof Fetzer, Larry González, Markus Krötzsch, Maximilian Marx 0001, Harish K. Murali, Christoph Weidenbach	A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic.	TACAS (1)	2022	DBLP DOI BibTeX RDF
14	Teodoro Baldazzi, Luigi Bellomarini, Marco Favorito, Emanuel Sallinger	On the Relationship between Shy and Warded Datalog+/-.	KR	2022	DBLP BibTeX RDF
14	Camille Bourgaux, Pierre Bourhis, Liat Peterfreund, Michaël Thomazo	Revisiting Semiring Provenance for Datalog.	KR	2022	DBLP BibTeX RDF
14	Ali Elhalawati, Markus Krötzsch, Stephan Mennicke	An Existential Rule Framework for Computing Why-Provenance On-Demand for Datalog.	RuleML+RR	2022	DBLP DOI BibTeX RDF
14	Paolo Atzeni, Teodoro Baldazzi, Luigi Bellomarini, Emanuel Sallinger	iWarded: A Versatile Generator to Benchmark Warded Datalog+/- Reasoning.	RuleML+RR	2022	DBLP DOI BibTeX RDF
14	Georg Gottlob	Adventures with Datalog: Walking the Thin Line Between Theory and Practice.	AI*IA	2022	DBLP DOI BibTeX RDF
14	Livia Blasi	A Temporal Datalog Primer.	EDBT/ICDT Workshops	2022	DBLP BibTeX RDF
14	Teodoro Baldazzi, Paolo Atzeni	Warded Datalog+/- Reasoning in Financial Settings with Harmful Joins.	EDBT/ICDT Workshops	2022	DBLP BibTeX RDF
14	Mattia Scaccia, Ilaria Stocchi, Luigi Bellomarini	Neurosymbolic Reasoning: Building Neural Networks Using Datalog.	EDBT/ICDT Workshops	2022	DBLP BibTeX RDF
14	Marta Bernardini, Matthias Lanzinger, Rosario Laurendi, Stefano Sferrazza	Family Link Detection in Uncertain Settings with MV-Datalog±.	EDBT/ICDT Workshops	2022	DBLP BibTeX RDF
14	Joseph Isaacs	Furthering Datalog in the pursuit of program analysis.		2022	RDF
14	Michael Arntzenius	Deconstructing Datalog.		2022	RDF
14	Paraschos Koutris, Jef Wijsen	Consistent Query Answering for Primary Keys in Datalog.	Theory Comput. Syst.	2021	DBLP DOI BibTeX RDF
14	Mahmoud Abo Khamis, Hung Q. Ngo 0001, Reinhard Pichler, Dan Suciu, Yisu Remy Wang	Convergence of Datalog over (Pre-) Semirings.	CoRR	2021	DBLP BibTeX RDF
14	Luigi Bellomarini, Emanuel Sallinger	Harmless but Useful: Beyond Separable Equality Constraints in Datalog+/-.	CoRR	2021	DBLP BibTeX RDF
14	Davis Ross Silverman, Yihao Sun, Kristopher K. Micinski, Thomas Gilray	So You Want to Analyze Scheme Programs With Datalog?	CoRR	2021	DBLP BibTeX RDF
14	Teodoro Baldazzi, Luigi Bellomarini, Emanuel Sallinger, Paolo Atzeni	iWarded: A System for Benchmarking Datalog+/- Reasoning (technical report).	CoRR	2021	DBLP BibTeX RDF
14	Leopoldo E. Bertossi, Mostafa Milani	Extending Sticky-Datalog+/- via Finite-Position Selection Functions: Tractability, Algorithms, and Optimization.	CoRR	2021	DBLP BibTeX RDF
14	Michael J. Maher	Defeasible Reasoning via Datalog¬.	CoRR	2021	DBLP BibTeX RDF
14	Martin Bromberger, Irina Dragoste, Rasha Faqeh, Christof Fetzer, Markus Krötzsch, Christoph Weidenbach	A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic.	CoRR	2021	DBLP BibTeX RDF
14	Toby Cathcart Burn, Luke Ong, Steven J. Ramsay, Dominik Wagner	Initial Limit Datalog: a New Extensible Class of Decidable Constrained Horn Clauses.	CoRR	2021	DBLP BibTeX RDF
14	Yann Ramusat, Silviu Maniu, Pierre Senellart	A Practical Dynamic Programming Approach to Datalog Provenance Computation.	CoRR	2021	DBLP BibTeX RDF
14	Jin Wang 0007, Jiacheng Wu, Mingda Li, Jiaqi Gu 0001, Ariyam Das, Carlo Zaniolo	Formal semantics and high performance in declarative machine learning using Datalog.	VLDB J.	2021	DBLP DOI BibTeX RDF
14	Tamás Szabó	Inkrementalisierung Statischer Analysen in Datalog.	Ausgezeichnete Informatikdissertationen	2021	DBLP BibTeX RDF
14	Toby Cathcart Burn, Luke Ong, Steven J. Ramsay, Dominik Wagner	Initial Limit Datalog: a New Extensible Class of Decidable Constrained Horn Clauses.	LICS	2021	DBLP DOI BibTeX RDF
14	Manuel Bodirsky, Simon Knäuer, Sebastian Rudolph	Datalog-Expressibility for Monadic and Guarded Second-Order Logic.	ICALP	2021	DBLP DOI BibTeX RDF
14	Thomas Gilray, Sidharth Kumar, Kristopher K. Micinski	Compiling data-parallel Datalog.	CC	2021	DBLP DOI BibTeX RDF
14	Mario Alviano, Arnel Zamayla	A Speech about Generative Datalog and Non-measurable Sets.	ICLP Workshops	2021	DBLP BibTeX RDF
14	Temitope Ajileye, Boris Motik, Ian Horrocks 0001	Streaming Partitioning of RDF Graphs for Datalog Reasoning.	ESWC	2021	DBLP DOI BibTeX RDF
14	Heba Aamer, Jan Hidders, Jan Paredaens, Jan Van den Bussche	Expressiveness within Sequence Datalog.	PODS	2021	DBLP DOI BibTeX RDF
14	Victor Vianu	Datalog Unchained.	PODS	2021	DBLP DOI BibTeX RDF
14	Muhammad Numair Mansur, Maria Christakis, Valentin Wüstholz	Metamorphic testing of Datalog engines.	ESEC/SIGSOFT FSE	2021	DBLP DOI BibTeX RDF
14	David J. Tena Cucala, Przemyslaw Andrzej Walega, Bernardo Cuenca Grau, Egor V. Kostylev	Stratified Negation in Datalog with Metric Temporal Operators.	AAAI	2021	DBLP DOI BibTeX RDF
14	Jonathan Mendelson, Aaditya Naik, Mukund Raghothaman, Mayur Naik	GENSYNTH: Synthesizing Datalog Programs without Language Bias.	AAAI	2021	DBLP DOI BibTeX RDF
14	Xiaowen Hu, David Zhao 0001, Herbert Jordan, Bernhard Scholz	An efficient interpreter for Datalog by de-specializing relations.	PLDI	2021	DBLP DOI BibTeX RDF
14	Tamás Szabó, Sebastian Erdweg, Gábor Bergmann	Incremental whole-program analysis in Datalog with lattices.	PLDI	2021	DBLP DOI BibTeX RDF
14	Carlo Zaniolo	Scalable Algorithms and Big-Data Applications by Recursive SQL Queries with Aggregates: a Datalog-enabled approach.	SEBD	2021	DBLP BibTeX RDF
14	Yifan Chen, Chenyang Yang 0002, Xin Zhang, Yingfei Xiong 0001, Hao Tang, Xiaoyin Wang, Lu Zhang 0023	Accelerating Program Analyses in Datalog by Merging Library Facts.	SAS	2021	DBLP DOI BibTeX RDF
14	David Zhao 0001, Pavle Subotic, Mukund Raghothaman, Bernhard Scholz	Towards Elastic Incrementalization for Datalog.	PPDP	2021	DBLP DOI BibTeX RDF
14	Pierre-Léo Bégay, Pierre Crégut, Jean-François Monin	Developing and certifying Datalog optimizations in coq/mathcomp.	CPP	2021	DBLP DOI BibTeX RDF
14	Przemyslaw Andrzej Walega, Michal Zawidzki, Bernardo Cuenca Grau	Finitely Materialisable Datalog Programs with Metric Temporal Operators.	KR	2021	DBLP DOI BibTeX RDF
14	Stefan Brass	Event-Based Microcontroller Programming in Datalog.	RuleML+RR	2021	DBLP DOI BibTeX RDF
14	Luigi Bellomarini, Markus Nissl, Emanuel Sallinger	Monotonic Aggregation for Temporal Datalog.	RuleML+RR (Supplement)	2021	DBLP BibTeX RDF
14	Teodoro Baldazzi, Luigi Bellomarini, Emanuel Sallinger, Paolo Atzeni	Eliminating Harmful Joins in Warded Datalog+/-.	RuleML+RR	2021	DBLP DOI BibTeX RDF
14	Stefan Brass, Mario Wenzel	Integrity Constraints for Microcontroller Programming in Datalog.	ADBIS	2021	DBLP DOI BibTeX RDF
14	Martin Bromberger, Irina Dragoste, Rasha Faqeh, Christof Fetzer, Markus Krötzsch, Christoph Weidenbach	A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic.	FroCoS	2021	DBLP DOI BibTeX RDF
14	Tamás Szabó	Incrementalizing Static Analyses in Datalog.		2021	RDF
14	Magnus Madsen, Ondrej Lhoták	Fixpoints for the masses: programming with first-class Datalog constraints.	Proc. ACM Program. Lang.	2020	DBLP DOI BibTeX RDF
14	Mukund Raghothaman, Jonathan Mendelson, David Zhao 0001, Mayur Naik, Bernhard Scholz	Provenance-guided synthesis of Datalog programs.	Proc. ACM Program. Lang.	2020	DBLP DOI BibTeX RDF
14	Aaron Bembenek, Michael Greenberg 0002, Stephen Chong	Formulog: Datalog for SMT-based static analysis.	Proc. ACM Program. Lang.	2020	DBLP DOI BibTeX RDF
14	Michael Benedikt, Pierre Bourhis, Georg Gottlob, Pierre Senellart	Monadic Datalog, Tree Validity, and Limited Access Containment.	ACM Trans. Comput. Log.	2020	DBLP DOI BibTeX RDF
14	Hani Ramadhan, Fitri Indra Indikawati, Joonho Kwon, Bonyong Koo	MusQ: A Multi-Store Query System for IoT Data Using a Datalog-Like Language.	IEEE Access	2020	DBLP DOI BibTeX RDF
14	Shqiponja Ahmetaj, Magdalena Ortiz 0001, Mantas Simkus	Polynomial rewritings from expressive Description Logics with closed predicates to variants of Datalog.	Artif. Intell.	2020	DBLP DOI BibTeX RDF
14	Mark Gromowski, Michael Siebers, Ute Schmid	A process framework for inducing and explaining Datalog theories.	Adv. Data Anal. Classif.	2020	DBLP DOI BibTeX RDF
14	Bas Ketsman, Aws Albarghouthi, Paraschos Koutris	Distribution Policies for Datalog.	Theory Comput. Syst.	2020	DBLP DOI BibTeX RDF
14	Hongyuan Mei, Guanghui Qin, Minjie Xu, Jason Eisner	Neural Datalog Through Time: Informed Temporal Modeling via Logical Specification.	CoRR	2020	DBLP BibTeX RDF
14	Pierre Bourhis, Carsten Lutz	Containment in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics.	CoRR	2020	DBLP BibTeX RDF
14	Manuel Bodirsky, Simon Knäuer, Sebastian Rudolph	Datalog-Expressibility for Monadic and Guarded Second-Order Logic.	CoRR	2020	DBLP BibTeX RDF
14	Mario Alviano, Marco Manna	Large-scale Ontological Reasoning via Datalog.	CoRR	2020	DBLP BibTeX RDF
14	Yuepeng Wang 0001, Rushi Shah, Abby Criswell, Rong Pan, Isil Dillig	Data Migration using Datalog Program Synthesis.	CoRR	2020	DBLP BibTeX RDF