The following pages link to The KL-ONE family (Q1202629):
Displayed 11 items.
- An epistemic operator for description logics (Q1128772) (← links)
- Peirce algebras (Q1333408) (← links)
- The learnability of description logics with equality constraints (Q1342732) (← links)
- The complexity of concept languages (Q1363785) (← links)
- Recovery recovered (Q1568716) (← links)
- Combining deduction and model checking into tableaux and algorithms for converse-PDL. (Q1854371) (← links)
- The F-logic approach for description languages (Q1924824) (← links)
- Computing the least common subsumer w.r.t. a background terminology (Q2372193) (← links)
- A multi-dimensional terminological knowledge representation language (Q4868227) (← links)
- Unification of concept terms in description logics (Q5929707) (← links)
- Understanding metonymies in discourse (Q5958542) (← links)