The following pages link to (Q4028788):
Displayed 13 items.
- The complexity of existential quantification in concept languages. (Q989170) (← links)
- Natural language syntax and first-order inference (Q1193491) (← links)
- Subsumption computed algebraically (Q1202639) (← links)
- Combining Horn rules and description logics in CARIN (Q1274681) (← links)
- An empirical analysis of terminological representation systems (Q1332849) (← links)
- Peirce algebras (Q1333408) (← links)
- An alternative proof method for possibilistic logic and its application to terminological logics (Q1346240) (← links)
- Consistency checking reduced to satisfiability of concepts in terminological systems (Q1380407) (← links)
- Tarskian set constraints (Q1854523) (← links)
- Tractable reasoning via approximation (Q1855213) (← links)
- Description Logics (Q3638996) (← links)
- ZooM: a nested Galois lattices-based system for conceptual clustering (Q4409025) (← links)
- Unification of concept terms in description logics (Q5929707) (← links)