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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2001.06358, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
14 | Alessio Fiorentino, Jessica Zangari, Marco Manna |
DaRLing: A Datalog rewriter for OWL 2 RL ontological reasoning under SPARQL queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2008.02232, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
14 | Aaron Bembenek, Michael Greenberg 0002, Stephen Chong |
Formulog: Datalog for SMT-Based Static Analysis (Extended Version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2009.08361, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
14 | Yuepeng Wang 0001, Rushi Shah, Abby Criswell, Rong Pan, Isil Dillig |
Data Migration using Datalog Program Synthesis. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. VLDB Endow. ![In: Proc. VLDB Endow. 13(7), pp. 1006-1019, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Van-Dang Tran, Hiroyuki Kato, Zhenjiang Hu |
BIRDS: Programming view update strategies in Datalog. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. VLDB Endow. ![In: Proc. VLDB Endow. 13(12), pp. 2897-2900, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Pract. Log. Program. ![In: Theory Pract. Log. Program. 20(6), pp. 958-973, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
14 | David Zhao 0001, Pavle Subotic, Bernhard Scholz |
Debugging Large-scale Datalog: A Scalable Provenance Evaluation Strategy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 42(2), pp. 7:1-7:35, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Mario Alviano, Marco Manna |
Large-Scale Ontological Reasoning via Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applications and Practices in Ontology Design, Extraction, and Reasoning ![In: Applications and Practices in Ontology Design, Extraction, and Reasoning., pp. 214-229, 2020, IOS Press, 978-1-64368-142-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Ramy Shahin, Marsha Chechik |
Variability-Aware Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages - 22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20-21, 2020, Proceedings, pp. 213-221, 2020, Springer, 978-3-030-39196-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Tova Milo, Yuval Moskovitch, Brit Youngmann |
Contribution Maximization in Probabilistic Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE ![In: 36th IEEE International Conference on Data Engineering, ICDE 2020, Dallas, TX, USA, April 20-24, 2020, pp. 817-828, 2020, IEEE, 978-1-7281-2903-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Pascual Julián Iranzo, Fernando Sáenz-Pérez |
A System implementing Fuzzy Hypothetical Datalog⋆. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUZZ-IEEE ![In: 29th IEEE International Conference on Fuzzy Systems, FUZZ-IEEE 2020, Glasgow, UK, July 19-24, 2020, pp. 1-8, 2020, IEEE, 978-1-7281-6932-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Van-Dang Tran, Hiroyuki Kato, Zhenjiang Hu |
A Counterexample-Guided Debugger for Non-recursive Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 - December 2, 2020, Proceedings, pp. 323-342, 2020, Springer, 978-3-030-64436-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Antonio Flores-Montoya, Eric M. Schulte |
Datalog Disassembly. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Security Symposium ![In: 29th USENIX Security Symposium, USENIX Security 2020, August 12-14, 2020, pp. 1075-1092, 2020, USENIX Association, 978-1-939133-17-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
14 | Martin Grohe, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Peter Lindner 0001 |
Generative Datalog with Continuous Distributions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the 39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, PODS 2020, Portland, OR, USA, June 14-19, 2020., pp. 347-360, 2020, ACM, 978-1-4503-7108-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 2020 IEEE International Parallel and Distributed Processing Symposium (IPDPS), New Orleans, LA, USA, May 18-22, 2020, pp. 864-873, 2020, IEEE, 978-1-7281-6876-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020, The Thirty-Second Innovative Applications of Artificial Intelligence Conference, IAAI 2020, The Tenth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2020, New York, NY, USA, February 7-12, 2020., pp. 10284-10291, 2020, AAAI Press, 978-1-57735-823-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020, The Thirty-Second Innovative Applications of Artificial Intelligence Conference, IAAI 2020, The Tenth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2020, New York, NY, USA, February 7-12, 2020., pp. 2862-2869, 2020, AAAI Press, 978-1-57735-823-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020 - Including 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020), pp. 792-799, 2020, IOS Press, 978-1-64368-100-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Bruno Yun, Srdjan Vesic, Madalina Croitoru |
Sets of Attacking Arguments for Inconsistent Datalog Knowledge Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMMA ![In: Computational Models of Argument - Proceedings of COMMA 2020, Perugia, Italy, September 4-11, 2020., pp. 419-430, 2020, IOS Press, 978-1-64368-106-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Bas Ketsman, Christoph Koch 0001 |
Datalog with Negation and Monotonicity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDT ![In: 23rd International Conference on Database Theory, ICDT 2020, March 30-April 2, 2020, Copenhagen, Denmark., pp. 19:1-19:18, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-139-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 434-444, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Mario Wenzel, Stefan Brass |
Translation of Interactive Datalog Programs for Microcontrollers to Finite State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic-Based Program Synthesis and Transformation - 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020, Proceedings, pp. 210-227, 2020, Springer, 978-3-030-68445-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Egor V. Kostylev |
Declarative Data Analysis Using Limit Datalog Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reasoning Web ![In: Reasoning Web. Declarative Artificial Intelligence - 16th International Summer School 2020, Oslo, Norway, June 24-26, 2020, Tutorial Lectures, pp. 186-222, 2020, Springer, 978-3-030-60066-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Hongyuan Mei, Guanghui Qin, Minjie Xu, Jason Eisner |
Neural Datalog Through Time: Informed Temporal Modeling via Logical Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICML ![In: Proceedings of the 37th International Conference on Machine Learning, ICML 2020, 13-18 July 2020, Virtual Event., pp. 6808-6819, 2020, PMLR. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
14 | Przemyslaw Andrzej Walega, Bernardo Cuenca Grau, Mark Kaminski, Egor V. Kostylev |
Tractable Fragments of Datalog with Metric Temporal Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI 2020, pp. 1919-1925, 2020, ijcai.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI 2020, pp. 1933-1939, 2020, ijcai.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Muhammad Imran, Gábor E. Gévay, Volker Markl |
Distributed Graph Analytics with Datalog Queries in Flink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFDI/LSGDA@VLDB ![In: Software Foundations for Data Interoperability and Large Scale Graph Data Analytics - 4th International Workshop, SFDI 2020, and 2nd International Workshop, LSGDA 2020, held in Conjunction with VLDB 2020, Tokyo, Japan, September 4, 2020, Proceedings, pp. 70-83, 2020, Springer, 978-3-030-61132-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Pan Hu 0001 |
Efficient computation and maintenance of datalog materialisations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Rec. ![In: SIGMOD Rec. 48(4), pp. 6-17, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks 0001 |
Maintenance of datalog materialisations revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. ![In: Artif. Intell. 269, pp. 76-136, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Antoine Amarilli, Pierre Bourhis, Mikaël Monet, Pierre Senellart |
Evaluating Datalog via Tree Automata and Cycluits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 63(7), pp. 1620-1678, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP Technical Communications ![In: Proceedings 35th International Conference on Logic Programming (Technical Communications), ICLP 2019 Technical Communications, Las Cruces, NM, USA, September 20-25, 2019., pp. 241-254, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
14 | David Zhao 0001, Pavle Subotic, Bernhard Scholz |
Provenance for Large-scale Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1907.05045, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
14 | Angelos Charalambidis, Christos Nomikos, Panos Rondogiannis |
The Expressive Power of Higher-Order Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1907.09820, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
14 | Pan Hu 0001, Jacopo Urbani, Boris Motik, Ian Horrocks 0001 |
Datalog Reasoning over Compressed RDF Knowledge Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1908.10177, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
14 | Mario Wenzel, Stefan Brass |
Declarative Programming for Microcontrollers - Datalog on Arduino. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1909.00043, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
14 | Ramy Shahin, Marsha Chechik, Rick Salay |
Lifting Datalog-Based Analyses to Software Product Lines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1907.02192, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
14 | Ramy Shahin, Marsha Chechik |
Variability-aware Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1912.03854, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
14 | Xujie Si, Mukund Raghothaman, Kihong Heo, Mayur Naik |
Synthesizing Datalog Programs Using Numerical Relaxation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1906.00163, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
14 | Temitope Ajileye, Boris Motik, Ian Horrocks 0001 |
Datalog Materialisation in Distributed RDF Stores with Dynamic Data Exchange. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1906.10261, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
14 | Antonio Flores-Montoya, Eric M. Schulte |
Datalog Disassembly. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1906.03969, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1912.07475, 2019. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1911.07750, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
14 | Alessio Fiorentino, Nicola Leone, Marco Manna, Simona Perri, Jessica Zangari |
Precomputing Datalog evaluation plans in large-scale scenarios. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1907.12495, 2019. The full citation details ...](Pics/full.jpeg) |
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) ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. VLDB Endow. ![In: Proc. VLDB Endow. 12(6), pp. 695-708, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Daniel Deutch, Evgeny Marants, Yuval Moskovitch |
Datalignment: Ontology Schema Alignment Through Datalog Containment. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. VLDB Endow. ![In: Proc. VLDB Endow. 12(12), pp. 1870-1873, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Cristina Feier, Antti Kuusisto, Carsten Lutz |
Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 15(2), 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Alessio Fiorentino, Nicola Leone, Marco Manna, Simona Perri, Jessica Zangari |
Precomputing Datalog Evaluation Plans in Large-Scale Scenarios. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Pract. Log. Program. ![In: Theory Pract. Log. Program. 19(5-6), pp. 1073-1089, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Angelos Charalambidis, Christos Nomikos, Panos Rondogiannis |
The Expressive Power of Higher-Order Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Pract. Log. Program. ![In: Theory Pract. Log. Program. 19(5-6), pp. 925-940, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Patrick Nappa, David Zhao 0001, Pavle Subotic, Bernhard Scholz |
Fast Parallel Equivalence Relations in a Datalog Compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PACT ![In: 28th International Conference on Parallel Architectures and Compilation Techniques, PACT 2019, Seattle, WA, USA, September 23-26, 2019, pp. 82-96, 2019, IEEE, 978-1-7281-3613-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Tova Milo, Yuval Moskovitch, Brit Youngmann |
PODIUM: Probabilistic Datalog Analysis via Contribution Maximization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: Proceedings of the 28th ACM International Conference on Information and Knowledge Management, CIKM 2019, Beijing, China, November 3-7, 2019., pp. 2865-2868, 2019, ACM, 978-1-4503-6976-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Pan Hu 0001, Jacopo Urbani, Boris Motik, Ian Horrocks 0001 |
Datalog Reasoning over Compressed RDF Knowledge Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: Proceedings of the 28th ACM International Conference on Information and Knowledge Management, CIKM 2019, Beijing, China, November 3-7, 2019., pp. 2065-2068, 2019, ACM, 978-1-4503-6976-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Temitope Ajileye, Boris Motik, Ian Horrocks 0001 |
Datalog Materialisation in Distributed RDF Stores with Dynamic Data Exchange. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISWC (1) ![In: The Semantic Web - ISWC 2019 - 18th International Semantic Web Conference, Auckland, New Zealand, October 26-30, 2019, Proceedings, Part I, pp. 21-37, 2019, Springer, 978-3-030-30792-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Matthew Morris, Tala Ross, Thomas Meyer |
Defeasible disjunctive datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAIR ![In: Proceedings of the South African Forum for Artificial Intelligence Research, Cape Town, South Africa, 4-6 December, 2019., pp. 208-219, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
14 | Michael Harrison, Thomas Meyer 0002 |
Rational preferential reasoning for datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAIR ![In: Proceedings of the South African Forum for Artificial Intelligence Research, Cape Town, South Africa, 4-6 December, 2019., pp. 232-243, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, pp. 525-552, 2019, Springer, 978-3-030-17183-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Mario Wenzel, Stefan Brass |
Declarative Programming for Microcontrollers - Datalog on Arduino. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DECLARE ![In: Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9-12, 2019, Revised Selected Papers, pp. 119-138, 2019, Springer, 978-3-030-46713-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Ramy Shahin, Marsha Chechik, Rick Salay |
Lifting Datalog-based analyses to software product lines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/SIGSOFT FSE 2019, Tallinn, Estonia, August 26-30, 2019., pp. 39-49, 2019, ACM, 978-1-4503-5572-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Thomas Lukasiewicz, Enrico Malizia, Andrius Vaicenavicius |
Complexity of Inconsistency-Tolerant Query Answering in Datalog+/- under Cardinality-Based Repairs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: The Thirty-Third AAAI Conference on Artificial Intelligence, AAAI 2019, The Thirty-First Innovative Applications of Artificial Intelligence Conference, IAAI 2019, The Ninth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019, Honolulu, Hawaii, USA, January 27 - February 1, 2019., pp. 2962-2969, 2019, AAAI Press, 978-1-57735-809-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Przemyslaw Andrzej Walega, Mark Kaminski, Bernardo Cuenca Grau |
Reasoning over Streaming Data in Metric Temporal Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: The Thirty-Third AAAI Conference on Artificial Intelligence, AAAI 2019, The Thirty-First Innovative Applications of Artificial Intelligence Conference, IAAI 2019, The Ninth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019, Honolulu, Hawaii, USA, January 27 - February 1, 2019., pp. 3092-3099, 2019, AAAI Press, 978-1-57735-809-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Pan Hu 0001, Boris Motik, Ian Horrocks 0001 |
Modular Materialisation of Datalog Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: The Thirty-Third AAAI Conference on Artificial Intelligence, AAAI 2019, The Thirty-First Innovative Applications of Artificial Intelligence Conference, IAAI 2019, The Ninth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019, Honolulu, Hawaii, USA, January 27 - February 1, 2019., pp. 2859-2866, 2019, AAAI Press, 978-1-57735-809-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: The Thirty-Third AAAI Conference on Artificial Intelligence, AAAI 2019, The Thirty-First Innovative Applications of Artificial Intelligence Conference, IAAI 2019, The Ninth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019, Honolulu, Hawaii, USA, January 27 - February 1, 2019., pp. 2736-2743, 2019, AAAI Press, 978-1-57735-809-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Frank Neven, Thomas Schwentick, Christopher Spinrath, Brecht Vandevoort |
Parallel-Correctness and Parallel-Boundedness for Datalog Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDT ![In: 22nd International Conference on Database Theory, ICDT 2019, March 26-28, 2019, Lisbon, Portugal, pp. 14:1-14:19, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-101-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Leopoldo E. Bertossi, Georg Gottlob, Reinhard Pichler |
Datalog: Bag Semantics via Set Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDT ![In: 22nd International Conference on Database Theory, ICDT 2019, March 26-28, 2019, Lisbon, Portugal, pp. 16:1-16:19, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-101-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Carlo Allocca, Roberta Costabile, Alessio Fiorentino, Simona Perri, Jessica Zangari |
Memory-Saving Evaluation Plans for Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings, pp. 453-461, 2019, Springer, 978-3-030-19569-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Loris Bozzato, Thomas Eiter, Luciano Serafini |
A Datalog Translation for Reasoning on DL-Lite_R with Defeasibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 32nd International Workshop on Description Logics, Oslo, Norway, June 18-21, 2019., 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
14 | Zhe Wang 0001, Peng Xiao 0009, Kewen Wang 0001 |
Practical Datalog Rewriting for Existential Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 32nd International Workshop on Description Logics, Oslo, Norway, June 18-21, 2019., 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 32nd International Workshop on Description Logics, Oslo, Norway, June 18-21, 2019., 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
14 | Herbert Jordan, Pavle Subotic, David Zhao 0001, Bernhard Scholz |
Brie: A Specialized Trie for Concurrent Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PMAM@PPoPP ![In: Proceedings of the 10th International Workshop on Programming Models and Applications for Multicores and Manycores, PMAM@PPoPP 2019, Washington, DC, USA, February 17, 2019, pp. 31-40, 2019, ACM, 978-1-4503-6290-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Herbert Jordan, Pavle Subotic, David Zhao 0001, Bernhard Scholz |
A specialized B-tree for concurrent datalog evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the 24th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019, pp. 327-339, 2019, ACM, 978-1-4503-6225-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Stefania Costantini, Andrea Formisano 0001 |
Augmenting Datalog± with Customizable Metalogic Features for Powerful Ontological Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI*IA ![In: AI*IA 2019 - Advances in Artificial Intelligence - XVIIIth International Conference of the Italian Association for Artificial Intelligence, Rende, Italy, November 19-22, 2019, Proceedings, pp. 30-45, 2019, Springer, 978-3-030-35165-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Xujie Si, Mukund Raghothaman, Kihong Heo, Mayur Naik |
Synthesizing Datalog Programs using Numerical Relaxation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, IJCAI 2019, Macao, China, August 10-16, 2019, pp. 6117-6124, 2019, ijcai.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Bruno Yun, Madalina Croitoru, Srdjan Vesic, Pierre Bisquert |
NAKED: N-Ary Graphs from Knowledge Bases Expressed in Datalog±. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, AAMAS '19, Montreal, QC, Canada, May 13-17, 2019, pp. 2390-2392, 2019, International Foundation for Autonomous Agents and Multiagent Systems, 978-1-4503-6309-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
14 | Luigi Bellomarini, Georg Gottlob, Emanuel Sallinger |
Datalog-based Reasoning for Knowledge Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMW ![In: Proceedings of the 13th Alberto Mendelzon International Workshop on Foundations of Data Management, Asunción, Paraguay, June 3-7, 2019., 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
14 | Abhijeet Mohapatra |
Aggregates in datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2019 |
RDF |
|
14 | Stathis Delivorias |
Chase Variants & Boundedness. (Caractérisation des Bornes de Chaînage Avant en Règles Existentielles (Datalog+)). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2019 |
RDF |
|
14 | |
Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Social Network Analysis and Mining. 2nd Ed. ![In: Encyclopedia of Social Network Analysis and Mining, 2nd Edition, 2018, Springer. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Grigoris Karvounarakis |
Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Database Systems (2nd ed.) ![In: Encyclopedia of Database Systems, Second Edition, 2018, Springer, 978-1-4614-8266-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Tamás Szabó, Gábor Bergmann, Sebastian Erdweg, Markus Voelter |
Incrementalizing lattice-based program analyses in Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 2(OOPSLA), pp. 139:1-139:29, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 159(1-2), pp. 65-93, 2018. The full citation details ...](Pics/full.jpeg) |
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+/-. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Approx. Reason. ![In: Int. J. Approx. Reason. 93, pp. 354-371, 2018. The full citation details ...](Pics/full.jpeg) |
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±? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 82(1-3), pp. 43-68, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Antoine Amarilli, Pierre Bourhis, Mikaël Monet, Pierre Senellart |
Evaluating Datalog via Tree Automata and Cycluits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1808.04663, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
14 | Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, Ian Horrocks 0001 |
Stratified Negation in Limit Datalog Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1804.09473, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
14 | Angela Bonifati, Stefania Dumbrava, Emilio Jesús Gallego Arias |
Certified Graph View Maintenance with Regular Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1804.10565, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
14 | Pan Hu 0001, Boris Motik, Ian Horrocks 0001 |
Modular Materialisation of Datalog Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1811.02304, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1811.06069, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
14 | Aaron Bembenek, Stephen Chong |
FormuLog: Datalog for static analysis involving logical formulae. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1809.06274, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
14 | Leopoldo E. Bertossi, Georg Gottlob, Reinhard Pichler |
Datalog: Bag Semantics via Set Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1803.06445, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1812.03975, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
14 | Chungha Sung, Shuvendu K. Lahiri, Constantin Enea, Chao Wang 0001 |
Datalog-based Scalable Semantic Diffing of Concurrent Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1807.03777, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
14 | Luigi Bellomarini, Georg Gottlob, Emanuel Sallinger |
The Vadalog System: Datalog-based Reasoning for Knowledge Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1807.08709, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
14 | Luigi Bellomarini, Emanuel Sallinger, Georg Gottlob |
The Vadalog System: Datalog-based Reasoning for Knowledge Graphs. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. VLDB Endow. ![In: Proc. VLDB Endow. 11(9), pp. 975-987, 2018. The full citation details ...](Pics/full.jpeg) |
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) ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. VLDB Endow. ![In: Proc. VLDB Endow. 12(2), pp. 141-153, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Pascual Julián Iranzo, Fernando Sáenz-Pérez |
A Fuzzy Datalog Deductive Database System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Fuzzy Syst. ![In: IEEE Trans. Fuzzy Syst. 26(5), pp. 2634-2648, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Matteo Interlandi, Letizia Tanca |
A datalog-based computational model for coordination-free, data-parallel systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Pract. Log. Program. ![In: Theory Pract. Log. Program. 18(5-6), pp. 874-927, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Angela Bonifati, Stefania Dumbrava, Emilio Jesús Gallego Arias |
Certified Graph View Maintenance with Regular Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Pract. Log. Program. ![In: Theory Pract. Log. Program. 18(3-4), pp. 372-389, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Daniel Deutch, Amir Gilad, Yuval Moskovitch |
Efficient provenance tracking for datalog using top-k queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLDB J. ![In: VLDB J. 27(2), pp. 245-269, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Conrado Borraz-Sánchez, Diego Klabjan, Emir Pasalic, Molham Aref |
SolverBlox: algebraic modeling in datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Declarative Logic Programming ![In: Declarative Logic Programming: Theory, Systems, and Applications, pp. 331-354, 2018, ACM / Morgan & Claypool, 978-1-97000-199-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | David Maier 0001, K. Tuncay Tekle, Michael Kifer, David Scott Warren |
Datalog: concepts, history, and outlook. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Declarative Logic Programming ![In: Declarative Logic Programming: Theory, Systems, and Applications, pp. 3-100, 2018, ACM / Morgan & Claypool, 978-1-97000-199-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|