Pages that link to "Item:Q1115428"

The following pages link to A four-valued semantics for terminological logics (Q1115428):

Displaying 23 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)
• ``Four-valued'' semantics for the relevant logic R (Q1876086) (← links)
• Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design (Q1931353) (← links)
• An empirical study of the 4-valued Kripke--Kleene and 4-valued well-founded semantics in random propositional logic programs (Q1978009) (← links)
• Terminological reasoning is inherently intractable (Q2638816) (← links)
• (Q3086715) (← links)
• Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics (Q3524915) (← links)
• A comment on relevant truth table logic (Q4275694) (← links)
• A 4-valued framework encompassing intuitionistic and classical logic (Q4583348) (← links)
• A sequent calculus for reasoning in four-valued Description Logics (Q4610338) (← links)
• On the expressive power of three-valued and four-valued languages (Q4943507) (← links)
• (Q5067981) (← 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)