Modular materialisation of Datalog programs

, &
Artificial Intelligence 308 (C):103726 (2022)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2022.103726

Links

PhilArchive



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

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.
Maintenance of datalog materialisations revisited.Boris Motik, Yavor Nenov, Robert Piro & Ian Horrocks - 2019 - Artificial Intelligence 269 (C):76-136.
Magic Sets for disjunctive Datalog programs.Mario Alviano, Wolfgang Faber, Gianluigi Greco & Nicola Leone - 2012 - Artificial Intelligence 187-188 (C):156-192.
Some (in)translatability results for normal logic programs and propositional theories.Tomi Janhunen - 2006 - Journal of Applied Non-Classical Logics 16 (1-2):35-86.
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.
Locally modular geometries in homogeneous structures.Tapani Hyttinen - 2005 - Mathematical Logic Quarterly 51 (3):291.
Practical reasoning in a modular mind.Peter Carruthers - 2004 - Mind and Language 19 (3):259-278.
Discovering Empirical Theories of Modular Software Systems. An Algebraic Approach.Nicola Angius & Petros Stefaneas - 2016 - In Vincent C. Müller (ed.), Computing and philosophy: Selected papers from IACAP 2014. Cham: Springer. pp. 99-115.
Unidimensional modules: uniqueness of maximal non-modular submodels.Anand Pillay & Philipp Rothmaler - 1993 - Annals of Pure and Applied Logic 62 (2):175-181.
The Varieties Defined by P - compatible Identities of Modular Ortholattices.Krystyna Mruczek-Nasieniewska - 2010 - Studia Logica 95 (1-2):21 - 35.
Language, consciousness, and cross-modular thought.Keith Frankish - 2002 - Behavioral and Brain Sciences 25 (6):685-686.
Modularity reconsidered.P. Gerrans - unknown
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.
Later Phases of Materialisation.Thomas Colley - 1877
Self-assembling Games.Jeffrey A. Barrett & Brian Skyrms - 2017 - British Journal for the Philosophy of Science 68 (2):329-353.

Analytics

Added to PP
2022-04-15

Downloads
6 (#1,430,516)

6 months
3 (#992,474)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Add more references