The following pages link to (Q2723441):
Displaying 6 items.
- Deciding expressive description logics in the framework of resolution (Q924723) (← links)
- A new methodology for developing deduction methods (Q1037405) (← links)
- Harald Ganzinger’s Legacy: Contributions to Logics and Programming (Q4916069) (← links)
- First-Order Resolution Methods for Modal Logics (Q4916086) (← links)
- THE FLUTED FRAGMENT REVISITED (Q5195057) (← links)
- Saturation-based Boolean conjunctive query answering and rewriting for the guarded quantification fragments (Q6149592) (← links)
