Pages that link to "Item:Q804567"

The following pages link to Multi-valued logic and Gröbner bases with applications to modal logic (Q804567):

Displaying 26 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)
• An algebraic approach to rule based expert systems (Q981968) (← links)
• A categorical critical-pair completion algorithm (Q1300576) (← links)
• A logic and computer algebra-based expert system for diagnosis of anorexia (Q1349162) (← links)
• A polynomial model for multi-valued logics with a touch of algebraic geometry and computer algebra (Q1404692) (← links)
• Limits of theory sequences over algebraically closed fields and applications. (Q1421482) (← links)
• An expert system for managing medical appropriateness criteria based on computer algebra techniques (Q1609885) (← links)
• Quasi-classical reasoning in paraconsistent databases (Q1653451) (← links)
• A prototype of a RBES for personalized menus generation (Q1740188) (← 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)
• An algebraic approach to DC railway electrification verification (Q2324411) (← 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)
• Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations (Q3637268) (← links)
• CWA Extensions to Multi-Valued Logics (Q3647206) (← links)
• An Algebraic Method to Decide the Deduction Problem in Many-Valued Logics (Q4236072) (← links)
• On polynomial semantics for propositional logics (Q4586158) (← links)
• Polynomial semantics for modal logics (Q5243399) (← links)
• A Groebner Bases Based Many-Valued Modal Logic Implementation in Maple (Q5505497) (← links)
• CWA formalizations in multi-valued logics (Q5942700) (← links)