|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 649 occurrences of 303 keywords
|
|
|
Results
Found 1398 publication records. Showing 1398 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
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 |
|
Displaying result #401 - #500 of 1398 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ >>] |
|