Pages that link to "Item:Q2379678"
From MaRDI portal
The following pages link to A Groebner bases-based approach to backward reasoning in rule based expert systems (Q2379678):
Displaying 9 items.
- A new algebraic model for implementing expert systems represented under the `concept-attribute-value' paradigm (Q417951) (← links)
- The Logics' Explorer: a Maple package for exploring finite many-valued propositional logics (Q692319) (← links)
- An algebraic approach to rule based expert systems (Q981968) (← links)
- A logic and computer algebra-based expert system for diagnosis of anorexia (Q1349162) (← links)
- A logic-algebraic tool for reasoning with knowledge-based systems (Q1994361) (← 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)
- An algebraic approach to DC railway electrification verification (Q2324411) (← links)
- A polynomial model for logics with a prime power number of truth values (Q2429988) (← links)