An algebraic approach to rule based expert systems
From MaRDI portal
(Redirected from Publication:981968)
Recommendations
- A Groebner bases-based approach to backward reasoning in rule based expert systems
- Publication:3030275
- Logical foundations for rule-based systems.
- An expert system for managing medical appropriateness criteria based on computer algebra techniques
- A new algebraic model for implementing expert systems represented under the `concept-attribute-value' paradigm
Cites work
- scientific article; zbMATH DE number 2125601 (Why is no real title available?)
- scientific article; zbMATH DE number 4065139 (Why is no real title available?)
- scientific article; zbMATH DE number 42630 (Why is no real title available?)
- scientific article; zbMATH DE number 42239 (Why is no real title available?)
- scientific article; zbMATH DE number 638938 (Why is no real title available?)
- scientific article; zbMATH DE number 1145122 (Why is no real title available?)
- scientific article; zbMATH DE number 1515218 (Why is no real title available?)
- scientific article; zbMATH DE number 3446957 (Why is no real title available?)
- scientific article; zbMATH DE number 3361780 (Why is no real title available?)
- A Groebner Bases Based Many-Valued Modal Logic Implementation in Maple
- A Groebner bases-based approach to backward reasoning in rule based expert systems
- A polynomial model for multi-valued logics with a touch of algebraic geometry and computer algebra
- An accelerated-time simulation of departing passengers' flow in airport terminals
- An expert system for managing medical appropriateness criteria based on computer algebra techniques
- Automatic discovery of theorems in elementary geometry
- Bruno Buchberger's PhD thesis 1965: An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal. Translation from the German
- Multi-valued logic and Gröbner bases with applications to modal logic
- Polynomial algorithms in computer algebra
- Refutational theorem proving using term-rewriting systems
- Some features of \(CoCoA 3\)
- The Theory of Representation for Boolean Algebras
- Wu's method and its application to perspective viewing
Cited in
(14)- Revisiting four-valued logics from \textit{Maple} using the \textit{Logics Explorer} package
- An algebraic approach to DC railway electrification verification
- A logic-algebraic tool for reasoning with knowledge-based systems
- An algebraic model for implementing expert systems based on the knowledge of different experts
- A prototype of a RBES for personalized menus generation
- A new algebraic model for implementing expert systems represented under the `concept-attribute-value' paradigm
- A logic-algebraic approach to decision taking in a railway interlocking system
- An approach from answer set programming to decision making in a railway interlocking system
- scientific article; zbMATH DE number 2090036 (Why is no real title available?)
- An expert system for managing medical appropriateness criteria based on computer algebra techniques
- A Groebner bases-based approach to backward reasoning in rule based expert systems
- A symbolic-numeric approach to MPL continuous logic and to rule based expert systems whose underlying logic is MPL
- The Logics' Explorer: a Maple package for exploring finite many-valued propositional logics
- A portable knowledge-based system for car breakdown evaluation
This page was built for publication: An algebraic approach to rule based expert systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q981968)
