- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Maintenance of datalog materialisations revisited
Artificial Intelligence 269 (C):76-136 (2019)
Abstract
This article has no associated abstract. (fix it)Author's Profile
Other Versions
No versions found
My notes
Similar books and articles
Datalog rewritability of Disjunctive Datalog programs and non-Horn ontologies.Mark Kaminski, Yavor Nenov & Bernardo Cuenca Grau - 2016 - Artificial Intelligence 236 (C):90-118.
Modular materialisation of Datalog programs.Pan Hu, Boris Motik & Ian Horrocks - 2022 - Artificial Intelligence 308 (C):103726.
Deciding the bisimilarity relation between datalog goals.Philippe Balbiani & Antoun Yaacoub - 2012 - In Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin, Logics in Artificial Intelligence. Springer. pp. 67--79.
Datalog rewritability and data complexity of ALCHOIQ with closed predicates.Sanja Lukumbuzya, Magdalena Ortiz & Mantas Šimkus - 2024 - Artificial Intelligence 330 (C):104099.
Magic Sets for disjunctive Datalog programs.Mario Alviano, Wolfgang Faber, Gianluigi Greco & Nicola Leone - 2012 - Artificial Intelligence 187-188 (C):156-192.
From monotonic graph neural networks to datalog and back: Expressive power and practical applications.David Tena Cucala, Bernardo Cuenca Grau, Boris Motik & Egor V. Kostylev - 2026 - Artificial Intelligence 357 (C):104545.
Polynomial rewritings from expressive Description Logics with closed predicates to variants of Datalog.Shqiponja Ahmetaj, Magdalena Ortiz & Mantas Šimkus - 2020 - Artificial Intelligence 280 (C):103220.
BORIS—An experiment in in-depth understanding of narratives.Wendy G. Lehnert, Michael G. Dyer, Peter N. Johnson, C. J. Yang & Steve Harley - 1983 - Artificial Intelligence 20 (1):15-62.
Boris D. Grozdanoff, Zdravko Popov and Silviya Serafimova (eds.). Rationality and Ethics in Artificial Intelligence.Lilia Gurova - 2024 - Balkan Journal of Philosophy 16 (1):88-91.
Analytics
Added to PP
2020-12-22
Downloads
61 (#986,138)
6 months
8 (#1,336,871)
2020-12-22
Downloads
61 (#986,138)
6 months
8 (#1,336,871)
Historical graph of downloads
Author's Profile
Citations of this work
Modular materialisation of Datalog programs.Pan Hu, Boris Motik & Ian Horrocks - 2022 - Artificial Intelligence 308 (C):103726.
The delay and window size problems in rule-based stream reasoning.Alessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau & Ian Horrocks - 2022 - Artificial Intelligence 306 (C):103668.
References found in this work
Rete: A fast algorithm for the many pattern/many object pattern match problem.Charles L. Forgy - 1982 - Artificial Intelligence 19 (1):17-37.
Datalog rewritability of Disjunctive Datalog programs and non-Horn ontologies.Mark Kaminski, Yavor Nenov & Bernardo Cuenca Grau - 2016 - Artificial Intelligence 236 (C):90-118.
Try MATCHA Writer if you're interested in citing directly from PhilPapers and certifying your authorship.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation