The following pages link to (Q2751377):
Displaying 23 items.
- Semantically-guided goal-sensitive reasoning: model representation (Q287333) (← links)
- Consequence-based and fixed-parameter tractable reasoning in description logics (Q490523) (← links)
- Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics (Q744990) (← links)
- Representing and building models for decidable subclasses of equational clausal logic (Q861367) (← links)
- Some techniques for proving termination of the hyperresolution calculus (Q861692) (← links)
- Tree tuple languages from the logic programming point of view (Q877842) (← links)
- A resolution-based decision procedure for \({\mathcal{SHOIQ}}\). (Q928657) (← links)
- Deciding effectively propositional logic using DPLL and substitution sets (Q972432) (← links)
- Labelled splitting (Q1037396) (← links)
- A new methodology for developing deduction methods (Q1037405) (← links)
- Completeness of hyper-resolution via the semantics of disjunctive logic programs (Q1041788) (← links)
- Extracting models from clause sets saturated under semantic refinements of the resolution rule. (Q1401929) (← links)
- Hyperresolution for guarded formulae (Q1404983) (← links)
- On compatibilities of \(\alpha \)-lock resolution method in linguistic truth-valued lattice-valued logic (Q1933772) (← links)
- Superposition as a decision procedure for timed automata (Q1949086) (← links)
- Decidable \({\exists}^*{\forall}^*\) first-order fragments of linear rational arithmetic with uninterpreted predicates (Q2031420) (← links)
- SGGS decision procedures (Q2096457) (← links)
- The model evolution calculus as a first-order DPLL method (Q2389629) (← links)
- Towards a unified model of search in theorem-proving: subgoal-reduction strategies (Q2456542) (← links)
- Abstraction and resolution modulo AC: How to verify Diffie--Hellman-like protocols automatically (Q2484410) (← links)
- Mechanising first-order temporal resolution (Q2486579) (← links)
- Simulation and Synthesis of Deduction Calculi (Q3185770) (← links)
- Semantically-guided goal-sensitive reasoning: decision procedures and the Koala prover (Q6156634) (← links)
