The following pages link to (Q4012243):
Displayed 10 items.
- An epistemic operator for description logics (Q1128772) (← links)
- Limited reasoning in first-order knowledge bases (Q1343837) (← links)
- The complexity of concept languages (Q1363785) (← links)
- EXPtime tableaux for ALC (Q1589576) (← links)
- Tractable reasoning via approximation (Q1855213) (← links)
- ``Reducing'' classic to practice: Knowledge representation theory meets reality (Q1978452) (← links)
- Description Logics (Q3638996) (← links)
- A sequent calculus for reasoning in four-valued Description Logics (Q4610338) (← links)
- On intuitionistic query answering in description bases (Q5210783) (← links)
- Unification of concept terms in description logics (Q5929707) (← links)