Magic Sets for disjunctive Datalog programs

, , &
Artificial Intelligence 187-188 (C):156-192 (2012)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2012.04.008

Other Versions

No versions found

Links

PhilArchive



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

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.
Modular materialisation of Datalog programs.Pan Hu, Boris Motik & Ian Horrocks - 2022 - Artificial Intelligence 308 (C):103726.
Determining inference semantics for disjunctive logic programs.Yi-Dong Shen & Thomas Eiter - 2019 - Artificial Intelligence 277 (C):103165.
New models for generating hard random boolean formulas and disjunctive logic programs.Giovanni Amendola, Francesco Ricca & Miroslaw Truszczynski - 2020 - Artificial Intelligence 279 (C):103185.
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.
Preferred answer sets for extended logic programs.Gerhard Brewka & Thomas Eiter - 1999 - Artificial Intelligence 109 (1-2):297-356.
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.
Disjunctive closures for knowledge compilation.Hélène Fargier & Pierre Marquis - 2014 - Artificial Intelligence 216 (C):129-162.

Analytics

Added to PP
2020-12-22

Downloads
17 (#1,159,079)

6 months
6 (#882,325)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Add more references