The following pages link to Hyper tableaux (Q5235250):
Displaying 24 items.
- Combining event calculus and description logic reasoning via logic programming (Q831926) (← links)
- Representing ontologies using description logics, description graphs, and rules (Q840831) (← links)
- Model building with ordered resolution: Extracting models from saturated clause sets (Q1404975) (← links)
- Hyperresolution for guarded formulae (Q1404983) (← links)
- The proof complexity of analytic and clausal tableaux (Q1575658) (← links)
- EXPtime tableaux for ALC (Q1589576) (← links)
- Magic sets for disjunctive Datalog programs (Q1761296) (← links)
- Efficient model generation through compilation. (Q1854374) (← links)
- Possible models computation and revision -- a practical approach (Q2096456) (← links)
- Set of support, demodulation, paramodulation: a historical perspective (Q2102923) (← 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)
- The model evolution calculus as a first-order DPLL method (Q2389629) (← links)
- Craig interpolation with clausal first-order tableaux (Q2666953) (← links)
- On First-Order Model-Based Reasoning (Q2945706) (← links)
- Individual Reuse in Description Logic Reasoning (Q3541705) (← links)
- Tableaux for diagnosis applications (Q4610316) (← links)
- Simplifying and generalizing formulae in tableaux. Pruning the search space and building models (Q4610336) (← links)
- A framework for using knowledge in tableau proofs (Q4610337) (← links)
- Lemma matching for a PTTP-based top-down theorem prover (Q5234698) (← links)
- Theorem proving techniques for view deletion in databases (Q5927980) (← links)
- Combining enumeration and deductive techniques in order to increase the class of constructible infinite models (Q5927982) (← links)
- On the equivalence of the static and disjunctive well-founded semantics and its computation (Q5941206) (← links)
- Semantically-guided goal-sensitive reasoning: decision procedures and the Koala prover (Q6156634) (← links)
