Recommendations
Cites work
- A fixpoint semantics for disjunctive logic programs
- A tableau calculus for minimal model reasoning
- Controlled integration of the cut rule into connection tableau calculi
- scientific article; zbMATH DE number 4094866 (Why is no real title available?)
- scientific article; zbMATH DE number 46359 (Why is no real title available?)
- scientific article; zbMATH DE number 3254919 (Why is no real title available?)
- scientific article; zbMATH DE number 3415409 (Why is no real title available?)
- lean\(T^ AP\): Lean tableau-based deduction
- SATCHMORE: SATCHMO with RElevancy
- The disconnection method
- The TPTP problem library
- Unification theory
Cited in
(52)- Model building with ordered resolution: Extracting models from saturated clause sets
- Hyperresolution for guarded formulae
- The proof complexity of analytic and clausal tableaux
- EXPtime tableaux for ALC
- Magic sets for disjunctive Datalog programs
- A tableaux calculus for reducing proof size
- Efficient model generation through compilation.
- Possible models computation and revision -- a practical approach
- Set of support, demodulation, paramodulation: a historical perspective
- Pay-as-you-go consequence-based reasoning for the description logic \(\mathcal{SROIQ} \)
- Blocking and other enhancements for bottom-up model generation methods
- The model evolution calculus as a first-order DPLL method
- Craig interpolation with clausal first-order tableaux
- Empirical investigation on combining tableaux and resolution
- On First-Order Model-Based Reasoning
- First-order tableaux in applications (extended abstract)
- scientific article; zbMATH DE number 3850303 (Why is no real title available?)
- The hyper tableaux calculus with equality and an application to finite model computation
- Individual Reuse in Description Logic Reasoning
- Introducing general redundancy criteria for clausal tableaux, and proposing resolution tableaux
- Hyper Tableaux with Equality
- scientific article; zbMATH DE number 1189096 (Why is no real title available?)
- scientific article; zbMATH DE number 1341467 (Why is no real title available?)
- scientific article; zbMATH DE number 1088202 (Why is no real title available?)
- scientific article; zbMATH DE number 1543303 (Why is no real title available?)
- scientific article; zbMATH DE number 1552524 (Why is no real title available?)
- Lean induction principles for tableaux
- Tableaux for diagnosis applications
- Ordered tableaux: extensions and applications
- Simplifying and generalizing formulae in tableaux. Pruning the search space and building models
- A framework for using knowledge in tableau proofs
- scientific article; zbMATH DE number 1841823 (Why is no real title available?)
- scientific article; zbMATH DE number 827985 (Why is no real title available?)
- Simplification rules for constrained formula tableaux
- Lemma matching for a PTTP-based top-down theorem prover
- Automated Deduction – CADE-20
- Termination for Hybrid Tableaus
- A Bottom-Up Approach to Clausal Tableaux
- HyperS tableaux -- heuristic hyper tableaux
- scientific article; zbMATH DE number 2219496 (Why is no real title available?)
- Theorem proving techniques for view deletion in databases
- Combining enumeration and deductive techniques in order to increase the class of constructible infinite models
- On the equivalence of the static and disjunctive well-founded semantics and its computation
- Semantically-guided goal-sensitive reasoning: decision procedures and the Koala prover
- Classical algorithms for reasoning and explanation in description logics
- Range-restricted and Horn interpolation through clausal tableaux
- Lemmas: generation, selection, application
- Prolegomena to logic programming for non-monotonic reasoning
- Investigations into proof structures
- Combining event calculus and description logic reasoning via logic programming
- Representing ontologies using description logics, description graphs, and rules
- Tableau complexes
This page was built for publication: Hyper tableaux
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5235250)
