The following pages link to The KL-ONE family (Q1202629):
Displaying 15 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)
- Type theoretic semantics for SemNet (Q4632324) (← links)
- Tableaux and algorithms for Propositional Dynamic Logic with Converse (Q4647551) (← 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)
- Efficient TBox Reasoning with Value Restrictions using the <i>wer</i> Reasoner (Q6063879) (← links)
- Generating bridging definite descriptions (Q6547645) (← links)