Polynomial combined first-order rewritings for linear and guarded existential rules

, &
Artificial Intelligence 321 (C):103936 (2023)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2023.103936

Other Versions

No versions found

Links

PhilArchive



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

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

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.
A formalization of programs in first-order logic with a discrete linear order.Fangzhen Lin - 2016 - Artificial Intelligence 235 (C):1-25.
Guarded fragments with constants.Balder ten Cate & Massimo Franceschet - 2005 - Journal of Logic, Language and Information 14 (3):281-288.
Complexity of monodic guarded fragments over linear and real time.Ian Hodkinson - 2006 - Annals of Pure and Applied Logic 138 (1):94-125.
First-order rewritability of ontology-mediated queries in linear temporal logic.Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter & Michael Zakharyaschev - 2021 - Artificial Intelligence 299 (C):103536.
On rules with existential variables: Walking the decidability line.Jean-François Baget, Michel Leclère, Marie-Laure Mugnier & Eric Salvat - 2011 - Artificial Intelligence 175 (9-10):1620-1654.
Inconsistency-tolerant query answering for existential rules.Thomas Lukasiewicz, Enrico Malizia, Maria Vanina Martinez, Cristian Molinaro, Andreas Pieris & Gerardo I. Simari - 2022 - Artificial Intelligence 307 (C):103685.
Preference-based inconsistency-tolerant query answering under existential rules.Marco Calautti, Sergio Greco, Cristian Molinaro & Irina Trubitsyna - 2022 - Artificial Intelligence 312 (C):103772.
The Semijoin Algebra and the Guarded Fragment.Dirk Leinders, Maarten Marx, Jerzy Tyszkiewicz & Jan Bussche - 2005 - Journal of Logic, Language and Information 14 (3):331-343.
Polynomial calculus for optimization.Ilario Bonacina, Maria Luisa Bonet & Jordi Levy - 2024 - Artificial Intelligence 337 (C):104208.

Analytics

Added to PP
2023-05-04

Downloads
17 (#1,153,842)

6 months
5 (#1,047,105)

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