The following pages link to (Q4503911):
Displayed 6 items.
- Deciding expressive description logics in the framework of resolution (Q924723) (← links)
- A new methodology for developing deduction methods (Q1037405) (← links)
- Hyperresolution for guarded formulae (Q1404983) (← links)
- Individual Reuse in Description Logic Reasoning (Q3541705) (← links)
- Description Logics (Q3638996) (← links)
- First-Order Resolution Methods for Modal Logics (Q4916086) (← links)