Corrigendum: ``Combining decidability paradigms for existential rules

DOI10.1017/S1471068415000034MaRDI QIDQ4593021zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Georg Gottlob, Andreas Pieris, M. Manna

Publication date 9 November 2017

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s1471068415000034

Mathematics Subject Classification ID

Logic programming (68N17) Database theory (68P15)

Recommendations

• Combining decidability paradigms for existential rules
• Erratum to: A resolution-based decision procedure for \({\mathcal{SHOIQ}}\)
• On rules with existential variables: walking the decidability line
• Corrigendum to ``On the undecidability of implications between embedded multivalued database dependencies
• Corrigendum to: ``On the decidability of semilinearity for semialgebraic sets and its implications for spatial databases

Cites work

• Combining decidability paradigms for existential rules

Cited in

(2)

• Erratum to: ``Extension of a decision procedure for a fragment of hybrid logic with binders
• Erratum to: A resolution-based decision procedure for \({\mathcal{SHOIQ}}\)

This page was built for publication: Corrigendum: ``Combining decidability paradigms for existential rules

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