Pages that link to "Item:Q1404692"

The following pages link to A polynomial model for multi-valued logics with a touch of algebraic geometry and computer algebra (Q1404692):

Displaying 20 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)
• 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)
• An approach from answer set programming to decision making in a railway interlocking system (Q740741) (← 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 computer algebra approach to the design of routes and the study of their compatibility in a railway interlocking (Q1349163) (← links)
• A polynomial model for multi-valued logics with a touch of algebraic geometry and computer algebra (Q1404692) (← 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)
• A Gröbner bases-based rule based expert system for fibromyalgia diagnosis (Q1935077) (← 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)
• 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)
• Polynomial semantics for modal logics (Q5243399) (← links)
• A Groebner Bases Based Many-Valued Modal Logic Implementation in Maple (Q5505497) (← links)