The following pages link to Guarded Negation (Q5890544):
Displayed 12 items.
- 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)
- 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)