An algebraic approach to rule based expert systems (Q981968): Difference between revisions

@@ Property / describes a project that uses @@
+CoCoA
@@ Property / describes a project that uses: CoCoA / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Maple
@@ Property / describes a project that uses: Maple / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4305609
@@ Property / cites work: Q4305609 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992490
@@ Property / cites work: Q3992490 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3798767
@@ Property / cites work: Q3798767 / rank @@
+Normal rank
@@ Property / cites work @@
+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
+Normal rank
@@ Property / cites work @@
+Some features of \(CoCoA 3\)
@@ Property / cites work: Some features of \(CoCoA 3\) / rank @@
+Normal rank
@@ Property / cites work @@
+Multi-valued logic and Gröbner bases with applications to modal logic
+Normal rank
@@ Property / cites work @@
+Q4770999
@@ Property / cites work: Q4770999 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4384471
@@ Property / cites work: Q4384471 / rank @@
+Normal rank
@@ Property / cites work @@
+Refutational theorem proving using term-rewriting systems
+Normal rank
@@ Property / cites work @@
+Wu's method and its application to perspective viewing
+Normal rank
@@ Property / cites work @@
+Q4507801
@@ Property / cites work: Q4507801 / rank @@
+Normal rank
@@ Property / cites work @@
+An expert system for managing medical appropriateness criteria based on computer algebra techniques
+Normal rank
@@ Property / cites work @@
+Q5635352
@@ Property / cites work: Q5635352 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994998
@@ Property / cites work: Q3994998 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic discovery of theorems in elementary geometry
+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
@@ Property / cites work @@
+A Groebner Bases Based Many-Valued Modal Logic Implementation in Maple
+Normal rank
@@ Property / cites work @@
+Q3156426
@@ Property / cites work: Q3156426 / rank @@
+Normal rank
@@ Property / cites work @@
+An accelerated-time simulation of departing passengers' flow in airport terminals
+Normal rank
@@ Property / cites work @@
+The Theory of Representation for Boolean Algebras
@@ Property / cites work: The Theory of Representation for Boolean Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial algorithms in computer algebra
@@ Property / cites work: Polynomial algorithms in computer algebra / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.5052/racsam.2010.04
+Normal rank
@@ Property / OpenAlex ID @@
+W1500802888
@@ Property / OpenAlex ID: W1500802888 / rank @@
+Normal rank