A logic-algebraic tool for reasoning with knowledge-based systems (Q1994361): Difference between revisions

@@ Property / arXiv ID @@
+.00508
@@ Property / arXiv ID: 1809.00508 / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic approach to rule based expert systems
+Normal rank
@@ Property / cites work @@
+Refutational theorem proving using term-rewriting systems
+Normal rank
@@ Property / cites work @@
+Multi-valued logic and Gröbner bases with applications to modal logic
+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 logics with a prime power number of truth values
+Normal rank
@@ Property / cites work @@
+On polynomial semantics for propositional logics
@@ Property / cites work: On polynomial semantics for propositional logics / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic model for implementing expert systems based on the knowledge of different experts
+Normal rank
@@ Property / cites work @@
+Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations
+Normal rank
@@ Property / cites work @@
+Partition-based logical reasoning for first-order and propositional theories
+Normal rank
@@ Property / cites work @@
+Conservative Extensions in the Lightweight Description Logic $\mathcal{EL}$
+Normal rank
@@ Property / cites work @@
+Formally verified tableau-based reasoners for a description logic
+Normal rank
@@ Property / cites work @@
+Formal verification of a generic framework to synthesize SAT-provers
+Normal rank
@@ Property / cites work @@
+Conditional independence in propositional logic.
@@ Property / cites work: Conditional independence in propositional logic. / rank @@
+Normal rank
@@ Property / cites work @@
+Q3880319
@@ Property / cites work: Q3880319 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5715700
@@ Property / cites work: Q5715700 / rank @@
+Normal rank
@@ Property / cites work @@
+Forgetting Literals with Varying Propositional Symbols
+Normal rank
@@ Property / cites work @@
+Semantic forgetting in answer set programming
@@ Property / cites work: Semantic forgetting in answer set programming / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge forgetting: properties and applications
@@ Property / cites work: Knowledge forgetting: properties and applications / rank @@
+Normal rank
@@ Property / cites work @@
+Variable Forgetting in Reasoning about Knowledge
@@ Property / cites work: Variable Forgetting in Reasoning about Knowledge / rank @@
+Normal rank
@@ Property / cites work @@
+Q3413659
@@ Property / cites work: Q3413659 / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial algorithms in computer algebra
@@ Property / cites work: Polynomial algorithms in computer algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q4411161
@@ Property / cites work: Q4411161 / rank @@
+Normal rank
@@ Property / cites work @@
+Faster Multiplication in GF(2)[x]
@@ Property / cites work: Faster Multiplication in GF(2)[x] / rank @@
+Normal rank
@@ Property / cites work @@
+A multi-criteria computer package for power transformer fault detection and diagnosis
+Normal rank
@@ Property / cites work @@
+A prototype of a RBES for personalized menus generation
+Normal rank
@@ Property / cites work @@
+Minimal sets on propositional formulae. Problems and reductions
+Normal rank
@@ Property / cites work @@
+Hasse-Schmidt derivations and coefficient fields in positive characteristics.
+Normal rank
@@ Property / cites work @@
+A Gröbner bases-based rule based expert system for fibromyalgia diagnosis
+Normal rank
@@ Property / cites work @@
+Reasoning under inconsistency: a forgetting-based approach
+Normal rank