Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets

DOI10.1007/978-3-031-43619-2_26MaRDI QIDQ6444026zbMATH OpenOpenAlexFDO

Authors Tim S. Lyon, Sebastian Rudolph

Publication date 17 July 2023

Full work available at URL https://doi.org/10.1007/978-3-031-43619-2_26

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• On rules with existential variables: walking the decidability line
• Characterizing boundedness in chase variants
• Fast query answering over existential rules
• Combining decidability paradigms for existential rules

This page was built for publication: Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6444026)