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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,458

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.
Magic Sets for disjunctive Datalog programs.Mario Alviano, Wolfgang Faber, Gianluigi Greco & Nicola Leone - 2012 - Artificial Intelligence 187-188 (C):156-192.
Maintenance of datalog materialisations revisited.Boris Motik, Yavor Nenov, Robert Piro & Ian Horrocks - 2019 - Artificial Intelligence 269 (C):76-136.
Datalog rewritability and data complexity of ALCHOIQ with closed predicates.Sanja Lukumbuzya, Magdalena Ortiz & Mantas Šimkus - 2024 - Artificial Intelligence 330 (C):104099.
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.
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.
Learning of modular structured networks.Masumi Ishikawa - 1995 - Artificial Intelligence 75 (1):51-62.
On abstract modular inference systems and solvers.Yuliya Lierler & Miroslaw Truszczynski - 2016 - Artificial Intelligence 236 (C):65-89.
Modular algebraic specification of some basic geometrical constructions.Joseph A. Goguen - 1988 - Artificial Intelligence 37 (1-3):123-153.

Analytics

Added to PP
2022-04-15

Downloads
12 (#1,372,094)

6 months
4 (#1,252,858)

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