Pages that link to "Item:Q4610338"
From MaRDI portal
The following pages link to A sequent calculus for reasoning in four-valued Description Logics (Q4610338):
Displaying 5 items.
- Inconsistency-tolerant description logic. II: A tableau algorithm for \(\mathcal{CALC}^{\mathsf C}\) (Q946573) (← links)
- A four-valued semantics for terminological logics (Q1115428) (← links)
- Inconsistency-tolerant reasoning with OWL DL (Q2353974) (← links)
- Constructive Description Logics Hybrid-Style (Q4917077) (← links)
- A Set-theoretic Approach to Reasoning Services for the Description Logic 𝒟 ℒ D 4,× (Q4988948) (← links)