The following pages link to (Q3493318):
Displayed 13 items.
- Attributive concept descriptions with complements (Q749235) (← links)
- Decidability of SHIQ with complex role inclusion axioms (Q814639) (← links)
- On subsumption and semiunification in feature algebras (Q1194340) (← links)
- Semantic networks (Q1202620) (← links)
- The KL-ONE family (Q1202629) (← links)
- The ''descriptive'' component of a hybrid knowledge representation language (Q1202682) (← links)
- An empirical analysis of terminological representation systems (Q1332849) (← links)
- Limited reasoning in first-order knowledge bases (Q1343837) (← links)
- An alternative proof method for possibilistic logic and its application to terminological logics (Q1346240) (← links)
- The F-logic approach for description languages (Q1924824) (← links)
- ``Reducing'' classic to practice: Knowledge representation theory meets reality (Q1978452) (← links)
- Terminological reasoning is inherently intractable (Q2638816) (← links)
- Tableaux methods for access control in distributed systems (Q4610331) (← links)