Pages that link to "Item:Q2849901"
From MaRDI portal
The following pages link to Rewriting Guarded Negation Queries (Q2849901):
Displayed 10 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)
- (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)