Maintenance of datalog materialisations revisited

, , &
Artificial Intelligence 269 (C):76-136 (2019)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2018.12.004

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,897

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

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.
Hierarchies in transitive closure logic, stratified Datalog and infinitary logic.Erich Grädel & Gregory L. McColm - 1996 - Annals of Pure and Applied Logic 77 (2):169-199.
Live long and prosper: “ G ermline stem cell maintenance revisited” (retrospective on DOI: 10.1002/bies.201000085).Cassandra G. Extavour - 2013 - Bioessays 35 (9):763-763.
Deciding the bisimilarity relation between datalog goals.Philippe Balbiani & Antoun Yaacoub - 2012 - In Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin (eds.), Logics in Artificial Intelligence. Springer. pp. 67--79.
Magic Sets for disjunctive Datalog programs.Mario Alviano, Wolfgang Faber, Gianluigi Greco & Nicola Leone - 2012 - Artificial Intelligence 187-188 (C):156-192.
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.
Eusapia Palladino Anthologized.Carlos S. Alvarado - 2017 - Journal of Scientific Exploration 31 (3).
Maintenance as Romance: Recuperating Zen and the Art of Motorcycle Maintenance.Lee Vinsel - 2017 - Continent 6 (1).
Logical foundations and complexity of 4QL, a query language with unrestricted negation.Jan Maluszyński & Andrzej Szalas - 2011 - Journal of Applied Non-Classical Logics 21 (2):211-232.
A Reason Maintenance Perspective On Relevant Ramsey Conditionals.Haythem Ismail - 2010 - Logic Journal of the IGPL 18 (4):508-529.
"Tuskegee Revisited" Revisited.S. M. Reverby - 2002 - Hastings Center Report 32 (2):4.
" Tuskegee revisited" revisited.Thomas G. Benedek - 2002 - Hastings Center Report 32 (2):4.
Consequence-based and fixed-parameter tractable reasoning in description logics.František Simančík, Boris Motik & Ian Horrocks - 2014 - Artificial Intelligence 209 (C):29-77.
Out of Order.Stephen Graham & Nigel Thrift - 2007 - Theory, Culture and Society 24 (3):1-25.
A guarded fragment for abstract state machines.Antje Nowack - 2005 - Journal of Logic, Language and Information 14 (3):345-368.

Analytics

Added to PP
2020-12-22

Downloads
9 (#1,254,017)

6 months
4 (#790,394)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Modular materialisation of Datalog programs.Pan Hu, Boris Motik & Ian Horrocks - 2022 - Artificial Intelligence 308 (C):103726.

Add more citations

References found in this work

A truth maintenance system.Jon Doyle - 1979 - Artificial Intelligence 12 (3):231-272.
An assumption-based TMS.Johan de Kleer - 1986 - Artificial Intelligence 28 (2):127-162.

Add more references