Pages that link to "Item:Q802317"
From MaRDI portal
The following pages link to Refutational theorem proving using term-rewriting systems (Q802317):
Displaying 50 items.
- A new algebraic model for implementing expert systems represented under the `concept-attribute-value' paradigm (Q417951) (← links)
- A portable knowledge-based system for car breakdown evaluation (Q669782) (← links)
- Towards a foundation of completion procedures as semidecision procedures (Q673134) (← links)
- The problem of demodulator adjunction (Q688566) (← links)
- The Logics' Explorer: a Maple package for exploring finite many-valued propositional logics (Q692319) (← links)
- A logic-algebraic approach to decision taking in a railway interlocking system (Q694549) (← links)
- On the relation between resolution based and completion based theorem proving (Q758218) (← links)
- Multi-valued logic and Gröbner bases with applications to modal logic (Q804567) (← links)
- An algebraic approach to rule based expert systems (Q981968) (← links)
- Termination orderings for associative-commutative rewriting systems (Q1072371) (← links)
- Rewrite method for theorem proving in first order theory with equality (Q1098649) (← links)
- Embedding Boolean expressions into logic programming (Q1100935) (← links)
- Automatic inductive theorem proving using Prolog (Q1103415) (← links)
- Critical pair criteria for completion (Q1106659) (← links)
- Unification in Boolean rings (Q1112626) (← links)
- Modular algebraic specification of some basic geometrical constructions (Q1115574) (← links)
- A refutational approach to geometry theorem proving (Q1124373) (← links)
- Fuzzy term-rewriting system (Q1182011) (← links)
- Discriminator varieties and symbolic computation (Q1190748) (← links)
- Subsumption computed algebraically (Q1202639) (← links)
- Completion for rewriting modulo a congruence (Q1262752) (← links)
- Theorem proving by chain resolution (Q1274972) (← links)
- Gordon's computer: A hardware verification case study in OBJ3 (Q1329091) (← links)
- Buchberger's algorithm: The term rewriter's point of view (Q1350495) (← links)
- Linear strategy for Boolean ring based theorem proving (Q1579733) (← links)
- Partial completion of equational theories (Q1592635) (← links)
- An expert system for managing medical appropriateness criteria based on computer algebra techniques (Q1609885) (← links)
- A prototype of a RBES for personalized menus generation (Q1740188) (← links)
- Boolean unification - the story so far (Q1824411) (← links)
- A Gröbner bases-based rule based expert system for fibromyalgia diagnosis (Q1935077) (← links)
- The \(Multi\)-SAT algorithm (Q1961449) (← links)
- A logic-algebraic tool for reasoning with knowledge-based systems (Q1994361) (← links)
- An algebraic model for implementing expert systems based on the knowledge of different experts (Q2228552) (← links)
- A natural language for implementing algebraically expert systems (Q2228853) (← links)
- An algebraic approach for detecting nearly dangerous situations in expert systems (Q2228856) (← links)
- Revisiting four-valued logics from \textit{Maple} using the \textit{Logics Explorer} package (Q2229887) (← links)
- On conversions from CNF to ANF (Q2307626) (← links)
- A Groebner bases-based approach to backward reasoning in rule based expert systems (Q2379678) (← links)
- A polynomial model for logics with a prime power number of truth values (Q2429988) (← links)
- Structures for abstract rewriting (Q2642463) (← links)
- (Q2851055) (← links)
- POLYNOMIAL RING CALCULUS FOR MODAL LOGICS: A NEW SEMANTICS AND PROOF METHOD FOR MODALITIES (Q3006006) (← links)
- CWA Extensions to Multi-Valued Logics (Q3647206) (← links)
- An Algebraic Method to Decide the Deduction Problem in Many-Valued Logics (Q4236072) (← links)
- On Theorem Proving in Annotated Logics (Q4443407) (← links)
- Canonical Ground Horn Theories (Q4916071) (← links)
- Conditional rewrite rule systems with built-in arithmetic and induction (Q5055742) (← links)
- Boolean algebra admits no convergent term rewriting system (Q5055766) (← links)
- Incremental techniques for efficient normalization of nonlinear rewrite systems (Q5055772) (← links)
- Open problems in rewriting (Q5055780) (← links)
