Rewriting Guarded Negation Queries
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 1953142
- A rewrite mechanism for logic programs with negation
- A rewrite mechanism for logic programs with negation
- Towards efficient reasoning under guarded-based disjunctive existential rules
- Rewriting guarded existential rules into small Datalog programs
- Revisiting explicit negation in answer set programming
- SOME MODEL THEORY OF GUARDED NEGATION
Cited in
(16)- Polynomial rewritings from expressive description logics with closed predicates to variants of Datalog
- Evaluating Datalog via tree automata and cycluits
- Craig interpolation with clausal first-order tableaux
- Rewriting guarded existential rules into small Datalog programs
- SOME MODEL THEORY OF GUARDED NEGATION
- Bisimulation quantifiers and uniform interpolation for guarded first order logic
- scientific article; zbMATH DE number 7104937 (Why is no real title available?)
- The impact of active domain predicates on guarded existential rules
- Effective interpolation and preservation in guarded logics
- Guarded negation
- Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions
- Saturation-based Boolean conjunctive query answering and rewriting for the guarded quantification fragments
- Craig interpolation for decidable first-order fragments
- Craig interpolation for decidable fragments of first-order logic (invited talk)
- Craig interpolation for decidable first-order fragments
- Compact query rewritings for ontology-based query answering
This page was built for publication: Rewriting Guarded Negation Queries
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2849901)
