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)

References in zbMATH (referenced in 292 articles )

Showing results 1 to 20 of 292.
Sorted by year (citations)

1 2 3 ... 13 14 15 next

  1. Lukasiewicz, Thomas; Malizia, Enrico; Martinez, Maria Vanina; Molinaro, Cristian; Pieris, Andreas; Simari, Gerardo I.: Inconsistency-tolerant query answering for existential rules (2022)
  2. 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)
  3. Costantini, Stefania; Formisano, Andrea: Adding metalogic features to knowledge representation languages (2021)
  4. Eiter, Thomas; Kaminski, Tobias: Pruning external minimality checking for answer set programs using semantic dependencies (2021)
  5. Garcia-Contreras, Isabel; Morales, José F.; Hermenegildo, Manuel V.: Incremental and modular context-sensitive analysis (2021)
  6. Karimi, Arash; Zhang, Heng; You, Jia-Huai: Restricted chase termination for existential rules: a hierarchical approach and experimentation (2021)
  7. Ahmetaj, Shqiponja; Ortiz, Magdalena; Šimkus, Mantas: Polynomial rewritings from expressive description logics with closed predicates to variants of Datalog (2020)
  8. Brewka, Gerhard; Diller, Martin; Heissenberger, Georg; Linsbichler, Thomas; Woltran, Stefan: Solving advanced argumentation problems with answer set programming (2020)
  9. Cozman, Fabio Gagliardi; Mauá, Denis Deratani: The joy of probabilistic answer set programming: semantics, complexity, expressivity, inference (2020)
  10. Dantas, Yuri Gil; Kondeva, Antoaneta; Nigam, Vivek: Less manual work for safety engineers: towards an automated safety reasoning with safety patterns (2020)
  11. Luigi Bellomarini, Georg Gottlob, Emanuel Sallinger: The Vadalog System: Datalog-based Reasoning for Knowledge Graphs (2020) arXiv
  12. Amendola, Giovanni; Dodaro, Carmine; Maratea, Marco: Abstract solvers for computing cautious consequences of ASP programs (2019)
  13. Calimeri, Francesco; Perri, Simona; Zangari, Jessica: Optimizing answer set computation via heuristic-based decomposition (2019)
  14. Cuteri, Bernardo; Dodaro, Carmine; Ricca, Francesco; Schüller, Peter: Partial compilation of ASP programs (2019)
  15. Dodaro, Carmine; Gasteiger, Philip; Reale, Kristian; Ricca, Francesco; Schekotihin, Konstantin: Debugging non-ground ASP programs: technique and graphical tools (2019)
  16. Feier, Cristina; Kuusisto, Antti; Lutz, Carsten: Rewritability in monadic disjunctive Datalog, MMSNP, and expressive description logics (2019)
  17. Gerasimova, Olga; Kikot, Stanislav; Zakharyaschev, Michael: Checking the data complexity of ontology-mediated queries: a case study with non-uniform CSPs and Polyanna (2019)
  18. Lutz, Carsten; Seylan, Inanc; Wolter, Frank: The data complexity of ontology-mediated queries with closed predicates (2019)
  19. Varanasi, Sarat Chandra: Imperative program synthesis from answer set programs (2019)
  20. Ahmetaj, Shqiponja; Ortiz, Magdalena; Šimkus, Mantas: Rewriting guarded existential rules into small Datalog programs (2018)

1 2 3 ... 13 14 15 next