Pages that link to "Item:Q1404983"
From MaRDI portal
The following pages link to Hyperresolution for guarded formulae (Q1404983):
Displaying 10 items.
- Representing and building models for decidable subclasses of equational clausal logic (Q861367) (← links)
- Some techniques for proving termination of the hyperresolution calculus (Q861692) (← links)
- A new methodology for developing deduction methods (Q1037405) (← links)
- Extracting models from clause sets saturated under semantic refinements of the resolution rule. (Q1401929) (← links)
- Pay-as-you-go consequence-based reasoning for the description logic \(\mathcal{SROIQ} \) (Q2238693) (← links)
- Blocking and other enhancements for bottom-up model generation methods (Q2303239) (← links)
- Simulation and Synthesis of Deduction Calculi (Q3185770) (← links)
- Individual Reuse in Description Logic Reasoning (Q3541705) (← links)
- First-Order Resolution Methods for Modal Logics (Q4916086) (← links)
- A Resolution-based Model Building Algorithm for a Fragment of OCC1N = (Q4916224) (← links)
