A Methodology for Constructing Expert Systems for Medical Diagnosis
ISMDA '01 Proceedings of the Second International Symposium on Medical Data Analysis
A Computer Algebra Approach to Relational Systems Using Gröbner Bases
ReIMICS '01 Revised Papers from the 6th International Conference and 1st Workshop of COST Action 274 TARSKI on Relational Methods in Computer Science
George Boole, a Forerunner of Symbolic Computation
AISC '00 Revised Papers from the International Conference on Artificial Intelligence and Symbolic Computation
A Symbolic Computation-Based Expert System for Alzheimer's Disease Diagnosis
AISC '02/Calculemus '02 Proceedings of the Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Expert Systems with Applications: An International Journal
A Groebner Bases Based Many-Valued Modal Logic Implementation in Maple
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
A Groebner bases-based approach to backward reasoning in rule based expert systems
Annals of Mathematics and Artificial Intelligence
An algebraic approach to Parkinson disease diagnosis
Expert Systems with Applications: An International Journal
A Polynomial Model for Logics with a Prime Power Number of Truth Values
Journal of Automated Reasoning
Mathematics and Computers in Simulation
CASC'05 Proceedings of the 8th international conference on Computer Algebra in Scientific Computing
A logic-algebraic approach to decision taking in a railway interlocking system
Annals of Mathematics and Artificial Intelligence
| Hi-index | 0.00 |