An algebraic approach to rule based expert systems
type: Item
instance of: scholarly article
title: An algebraic approach to rule based expert systems
zbMATH Open document ID: 1197.68078
DOI: 10.5052/RACSAM.2010.04
author: Eugenio Roanes-Lozano
author: Luis M. Laita
author: A. Hernando
author: Eugenio Roanes Macías
published in: Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A: Matemáticas. RACSAM
publication date: 2010-07-09T00:00:00Z
Mathematics Subject Classification ID: 68T35
Mathematics Subject Classification ID: 68W30
Mathematics Subject Classification ID: 13P10
zbMATH DE Number: 5735145
zbMATH Keywords: algebraic inference engines
zbMATH Keywords: Gröbner bases
describes a project that uses: CoCoA
describes a project that uses: Maple
MaRDI profile type: Publication
cites work: Q4305609
cites work: Q3992490
cites work: Q3798767
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
cites work: Some features of \(CoCoA 3\)
cites work: Multi-valued logic and Gröbner bases with applications to modal logic
cites work: Q4770999
cites work: Q4384471
cites work: Refutational theorem proving using term-rewriting systems
cites work: Wu's method and its application to perspective viewing
cites work: Q4507801
cites work: An expert system for managing medical appropriateness criteria based on computer algebra techniques
cites work: Q5635352
cites work: Q3994998
cites work: Automatic discovery of theorems in elementary geometry
cites work: A Groebner bases-based approach to backward reasoning in rule based expert systems
cites work: A polynomial model for multi-valued logics with a touch of algebraic geometry and computer algebra
cites work: A Groebner Bases Based Many-Valued Modal Logic Implementation in Maple
cites work: Q3156426
cites work: An accelerated-time simulation of departing passengers' flow in airport terminals
cites work: The Theory of Representation for Boolean Algebras
cites work: Polynomial algorithms in computer algebra
full work available at URL: racsam.2010.04
OpenAlex ID: W1500802888
description: scientific article; zbMATH DE number 5735145