An algebraic approach for detecting nearly dangerous situations in expert systems (Q2228856): Difference between revisions

@@ Property / describes a project that uses @@
+PolyBoRi
@@ Property / describes a project that uses: PolyBoRi / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CoCoA
@@ Property / describes a project that uses: CoCoA / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.matcom.2016.04.001
+Normal rank
@@ Property / OpenAlex ID @@
+W2341415061
@@ Property / OpenAlex ID: W2341415061 / rank @@
+Normal rank
@@ Property / cites work @@
+Polybori: A framework for Gröbner-basis computations with Boolean polynomials
+Normal rank
@@ Property / cites work @@
+Multi-valued logic and Gröbner bases with applications to modal logic
+Normal rank
@@ Property / cites work @@
+A new algebraic model for implementing expert systems represented under the `concept-attribute-value' paradigm
+Normal rank
@@ Property / cites work @@
+An algebraic model for implementing expert systems based on the knowledge of different experts
+Normal rank
@@ Property / cites work @@
+A polynomial model for logics with a prime power number of truth values
+Normal rank
@@ Property / cites work @@
+A logic-algebraic approach to decision taking in a railway interlocking system
+Normal rank
@@ Property / cites work @@
+Refutational theorem proving using term-rewriting systems
+Normal rank
@@ Property / cites work @@
+A logic and computer algebra-based expert system for diagnosis of anorexia
+Normal rank
@@ Property / cites work @@
+A logic approach to decision taking in a railway interlocking system using Maple
+Normal rank
@@ Property / cites work @@
+A Groebner bases-based approach to backward reasoning in rule based expert systems
+Normal rank
@@ Property / cites work @@
+A polynomial model for multi-valued logics with a touch of algebraic geometry and computer algebra
+Normal rank