A logic and computer algebra-based expert system for diagnosis of anorexia

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

Knowledge representation for diagnosis of care problems through an expert system: Model of the auto-care deficit situations

Expert Systems with Applications: An International Journal

Design and implementation of a fuzzy expert system for performance assessment of an integrated health, safety, environment (HSE) and ergonomics system: The case of a gas refinery

Information Sciences: 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

Knowledge and intelligent computing system in medicine

Computers in Biology and Medicine

PET: An expert system for productivity analysis

Expert Systems with Applications: An International Journal

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

An expert system based on analytical hierarchy process for diabetes risk assessment (DIABRA)

ICSI'11 Proceedings of the Second international conference on Advances in swarm intelligence - Volume Part II

A new algebraic model for implementing expert systems represented under the 'Concept-Attribute-Value' paradigm

Mathematics and Computers in Simulation

Meta-Petro: an expert system for training undergraduates in metamorphic rocks recognition and classification using photomicrographies

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