Pages that link to "Item:Q2379678"

The following pages link to A Groebner bases-based approach to backward reasoning in rule based expert systems (Q2379678):

Displayed 6 items.

• 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-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)
• A polynomial model for logics with a prime power number of truth values (Q2429988) ‎ (← links)