The following pages link to Guarded negation (Q5890544):
Displaying 19 items.
- Guarded fixed point logics and the monadic theory of countable trees. (Q1853504) (← links)
- Statistical \(\mathcal{EL}\) is \textsc{ExpTime}-complete (Q2032149) (← links)
- Logical separability of labeled data examples under ontologies (Q2093388) (← links)
- Evaluating Datalog via tree automata and cycluits (Q2322722) (← links)
- Propositional epistemic logics with quantification over agents of knowledge (an alternative approach) (Q2323640) (← links)
- Guards, bounds, and generalized semantics (Q2567341) (← links)
- Unary negation (Q2848370) (← links)
- Unary negation (Q3113699) (← links)
- Querying the Unary Negation Fragment with Regular Path Expressions. (Q3305361) (← links)
- SOME MODEL THEORY OF GUARDED NEGATION (Q4647097) (← links)
- Guarded Ontology-Mediated Queries (Q5015964) (← links)
- Semiring Provenance for Guarded Logics (Q5015965) (← links)
- (Q5092374) (← links)
- (Q5092376) (← links)
- (Q5094143) (← links)
- On Monotonic Determinacy and Rewritability for Recursive Queries and Views (Q5886523) (← links)
- Saturation-based Boolean conjunctive query answering and rewriting for the guarded quantification fragments (Q6149592) (← links)
- How to tell easy from hard: complexities of conjunctive query entailment in extensions of \(\mathcal{ALC}\) (Q6535408) (← links)
- Craig interpolation for decidable first-order fragments (Q6629523) (← links)
