The following pages link to (Q4386959):
Displaying 13 items.
- Algebraic tableau reasoning for the description logic \(\mathcal{SHOQ}\) (Q631080) (← links)
- Classic learning (Q676240) (← links)
- Speeding up inferences using relevance reasoning: a formalism and algorithms (Q1127352) (← links)
- The learnability of description logics with equality constraints (Q1342732) (← links)
- EXPtime tableaux for ALC (Q1589576) (← links)
- ``Reducing'' classic to practice: Knowledge representation theory meets reality (Q1978452) (← links)
- Planning from second principles (Q2676578) (← links)
- (Q3306924) (← links)
- Towards a Scalable Query Rewriting Algorithm in Presence of Value Constraints (Q3638226) (← links)
- (Q4558528) (← links)
- (Q4875842) (← links)
- AI*IA 2003: Advances in Artificial Intelligence (Q5897319) (← links)
- Unification of concept terms in description logics (Q5929707) (← links)