Datalog
Datalog is a declarative logic programming language that syntactically is a subset of Prolog. It is often used as a query language for deductive databases. In recent years, Datalog has found new application in data integration, information extraction, networking, program analysis, security, and cloud computing.[1] Its origins date back to the beginning of logic programming, but it became prominent as a separate area around 1977 when Hervé Gallaire and Jack Minker organized a workshop on logic and databases.[2] David Maier is credited with coining the term Datalog. (wikipedia)
Keywords for this software
References in zbMATH (referenced in 292 articles )
Showing results 1 to 20 of 292.
Sorted by year (- Lukasiewicz, Thomas; Malizia, Enrico; Martinez, Maria Vanina; Molinaro, Cristian; Pieris, Andreas; Simari, Gerardo I.: Inconsistency-tolerant query answering for existential rules (2022)
- Bromberger, Martin; Dragoste, Irina; Faqeh, Rasha; Fetzer, Christof; Krötzsch, Markus; Weidenbach, Christoph: A Datalog hammer for supervisor verification conditions modulo simple linear arithmetic (2021)
- Costantini, Stefania; Formisano, Andrea: Adding metalogic features to knowledge representation languages (2021)
- Eiter, Thomas; Kaminski, Tobias: Pruning external minimality checking for answer set programs using semantic dependencies (2021)
- Garcia-Contreras, Isabel; Morales, José F.; Hermenegildo, Manuel V.: Incremental and modular context-sensitive analysis (2021)
- Karimi, Arash; Zhang, Heng; You, Jia-Huai: Restricted chase termination for existential rules: a hierarchical approach and experimentation (2021)
- Ahmetaj, Shqiponja; Ortiz, Magdalena; Šimkus, Mantas: Polynomial rewritings from expressive description logics with closed predicates to variants of Datalog (2020)
- Brewka, Gerhard; Diller, Martin; Heissenberger, Georg; Linsbichler, Thomas; Woltran, Stefan: Solving advanced argumentation problems with answer set programming (2020)
- Cozman, Fabio Gagliardi; Mauá, Denis Deratani: The joy of probabilistic answer set programming: semantics, complexity, expressivity, inference (2020)
- Dantas, Yuri Gil; Kondeva, Antoaneta; Nigam, Vivek: Less manual work for safety engineers: towards an automated safety reasoning with safety patterns (2020)
- Luigi Bellomarini, Georg Gottlob, Emanuel Sallinger: The Vadalog System: Datalog-based Reasoning for Knowledge Graphs (2020) arXiv
- Amendola, Giovanni; Dodaro, Carmine; Maratea, Marco: Abstract solvers for computing cautious consequences of ASP programs (2019)
- Calimeri, Francesco; Perri, Simona; Zangari, Jessica: Optimizing answer set computation via heuristic-based decomposition (2019)
- Cuteri, Bernardo; Dodaro, Carmine; Ricca, Francesco; Schüller, Peter: Partial compilation of ASP programs (2019)
- Dodaro, Carmine; Gasteiger, Philip; Reale, Kristian; Ricca, Francesco; Schekotihin, Konstantin: Debugging non-ground ASP programs: technique and graphical tools (2019)
- Feier, Cristina; Kuusisto, Antti; Lutz, Carsten: Rewritability in monadic disjunctive Datalog, MMSNP, and expressive description logics (2019)
- Gerasimova, Olga; Kikot, Stanislav; Zakharyaschev, Michael: Checking the data complexity of ontology-mediated queries: a case study with non-uniform CSPs and Polyanna (2019)
- Lutz, Carsten; Seylan, Inanc; Wolter, Frank: The data complexity of ontology-mediated queries with closed predicates (2019)
- Varanasi, Sarat Chandra: Imperative program synthesis from answer set programs (2019)
- Ahmetaj, Shqiponja; Ortiz, Magdalena; Šimkus, Mantas: Rewriting guarded existential rules into small Datalog programs (2018)