Pages that link to "Item:Q2849901"
From MaRDI portal
The following pages link to Rewriting Guarded Negation Queries (Q2849901):
Displaying 12 items.
- Bisimulation quantifiers and uniform interpolation for guarded first order logic (Q481100) (← links)
- Polynomial rewritings from expressive description logics with closed predicates to variants of Datalog (Q2302291) (← links)
- Evaluating Datalog via tree automata and cycluits (Q2322722) (← links)
- Craig interpolation with clausal first-order tableaux (Q2666953) (← links)
- Rewriting guarded existential rules into small Datalog programs (Q3305347) (← links)
- SOME MODEL THEORY OF GUARDED NEGATION (Q4647097) (← links)
- (Q5232911) (← links)
- The Impact of Active Domain Predicates on Guarded Existential Rules (Q5268437) (← links)
- Effective Interpolation and Preservation in Guarded Logics (Q5277909) (← links)
- Guarded negation (Q5890544) (← links)
- Saturation-based Boolean conjunctive query answering and rewriting for the guarded quantification fragments (Q6149592) (← links)
- Craig interpolation for decidable first-order fragments (Q6629523) (← links)