Pages that link to "Item:Q1115428"
From MaRDI portal
The following pages link to A four-valued semantics for terminological logics (Q1115428):
Displaying 17 items.
- Tractable approximate deduction for OWL (Q274420) (← links)
- Classic learning (Q676240) (← links)
- Inconsistency-tolerant description logic. II: A tableau algorithm for \(\mathcal{CALC}^{\mathsf C}\) (Q946573) (← links)
- Towards constructive DL for abstraction and refinement (Q972423) (← links)
- The KL-ONE family (Q1202629) (← links)
- Subsumption computed algebraically (Q1202639) (← links)
- Peirce algebras (Q1333408) (← links)
- On the complexity of entailment in propositional multivalued logics (Q1380415) (← links)
- Tractable reasoning via approximation (Q1855213) (← links)
- Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design (Q1931353) (← links)
- Terminological reasoning is inherently intractable (Q2638816) (← links)
- Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics (Q3524915) (← links)
- A comment on relevant truth table logic (Q4275694) (← links)
- A sequent calculus for reasoning in four-valued Description Logics (Q4610338) (← links)
- DESCRIPTION LOGICS OVER LATTICES (Q5291327) (← links)
- A nonstandard approach to the logical omniscience problem (Q5917442) (← links)
- A nonstandard approach to the logical omniscience problem (Q5925570) (← links)
