The following pages link to SATCHMO (Q18707):
Displaying 50 items.
- Logic programming, knowledge representation, and nonmonotonic reasoning. Essays dedicated to Michael Gelfond on the occasion of his 65th birthday (Q532633) (← links)
- Automated reasoning with analytic tableaux and related methods. 20th international conference, TABLEAUX 2011, Bern, Switzerland, July 4--8, 2011. Proceedings (Q545854) (← links)
- Extracting the resolution algorithm from a completeness proof for the propositional calculus (Q636273) (← links)
- Abductive logic programming agents with destructive databases (Q656819) (← links)
- Generating relevant models (Q809621) (← links)
- A relevance restriction strategy for automated deduction (Q814429) (← links)
- Reasoning under minimal upper bounds in propositional logic (Q861253) (← 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)
- Computer supported mathematics with \(\Omega\)MEGA (Q865650) (← links)
- The disconnection tableau calculus (Q877889) (← links)
- Completeness of hyper-resolution via the semantics of disjunctive logic programs (Q1041788) (← links)
- Upside-down meta-interpretation of the model elimination theorem-proving procedure for deduction and abduction (Q1344881) (← links)
- An alternative approach to the semantics of disjunctive logic programs and deductive databases (Q1344892) (← links)
- Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation (Q1363783) (← links)
- Computing answers with model elimination (Q1402748) (← links)
- Model building with ordered resolution: Extracting models from saturated clause sets (Q1404975) (← links)
- IeanCOP: lean connection-based theorem proving (Q1404981) (← links)
- Eliminating redundant search space on backtracking for forward chaining theorem proving (Q1412130) (← links)
- \(\mathcal I\)-SATCHMORE: An improvement of \(\mathcal A\)-SATCHMORE (Q1429427) (← links)
- Positive unit hyperresolution tableaux and their application to minimal model generation (Q1581852) (← links)
- Ordered semantic hyper-linking (Q1581853) (← links)
- Semantically-guided goal-sensitive reasoning: inference system and completeness (Q1707598) (← links)
- Structuring and automating hardware proofs in a higher-order theorem- proving environment (Q1801500) (← links)
- Efficient model generation through compilation. (Q1854374) (← links)
- SATCHMOREBID: SATCHMO(RE) with BIDirectional relevancy (Q1877374) (← links)
- SATCHMORE: SATCHMO with RElevancy (Q1891262) (← links)
- The anatomy of vampire. Implementing bottom-up procedures with code trees (Q1904404) (← 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)
- The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0 (Q2655326) (← links)
- Craig interpolation with clausal first-order tableaux (Q2666953) (← links)
- (Q2751371) (← links)
- (Q2767917) (← links)
- A fixpoint characterization of abductive logic programs (Q3129498) (← links)
- The Hyper Tableaux Calculus with Equality and an Application to Finite Model Computation (Q3406685) (← links)
- History and Prospects for First-Order Automated Deduction (Q3454079) (← links)
- System Description: E- KRHyper (Q3608796) (← links)
- Blocking and Other Enhancements for Bottom-Up Model Generation Methods (Q3613405) (← links)
- SLDNFA: An abductive procedure for abductive logic programs (Q3841101) (← links)
- (Q4001666) (← links)
- A new method for automated finite model building exploiting failures and symmetries (Q4209295) (← links)
- (Q4246965) (← links)
- (Q4263167) (← links)
- (Q4264729) (← links)
- (Q4264737) (← links)
- (Q4283235) (← links)
- (Q4289327) (← links)
- Short Conjunctive Normal Forms in Finitely Valued Logics (Q4323008) (← links)
- Model generation and state generation for disjunctive logic programs (Q4352541) (← links)
