Pages that link to "Item:Q1104128"
From MaRDI portal
The following pages link to Computational complexity of terminological reasoning in BACK (Q1104128):
Displayed 13 items.
- Attributive concept descriptions with complements (Q749235) (← links)
- A four-valued semantics for terminological logics (Q1115428) (← links)
- Natural language syntax and first-order inference (Q1193491) (← links)
- The KL-ONE family (Q1202629) (← links)
- Subsumption computed algebraically (Q1202639) (← links)
- The ''descriptive'' component of a hybrid knowledge representation language (Q1202682) (← links)
- The approximation of implicates and explanations (Q1308780) (← links)
- An empirical analysis of terminological representation systems (Q1332849) (← links)
- The complexity of concept languages (Q1363785) (← links)
- EXPtime tableaux for ALC (Q1589576) (← links)
- The F-logic approach for description languages (Q1924824) (← links)
- Terminological reasoning is inherently intractable (Q2638816) (← links)
- Unification of concept terms in description logics (Q5929707) (← links)