Refutational theorem proving using term-rewriting systems
Artificial Intelligence
Multi-valued logic and Gröner bases with applications to modal logic
Journal of Symbolic Computation
A translation approach to portable ontology specifications
Knowledge Acquisition - Special issue: Current issues in knowledge modeling
A polynomial model for multi-valued logics with a touch of algebraic geometry and computer algebra
Selected papers from the 1996 or 1997 IMACS-ACA conference on Non-standard applications of computer algebra
Railway interlocking systems and Gröbner bases
Mathematics and Computers in Simulation - Selected papers from the IMACS-ACA sponsored conferences: “Non-standard applications of computer algegra II&rdqu; (held in Waileau Maui, Hawaii and Prague, Czech Republic)
A logic and computer algebra-based expert system for diagnosis of anorexia
Mathematics and Computers in Simulation
The Knowledge Model of Protégé-2000: Combining Interoperability and Flexibility
EKAW '00 Proceedings of the 12th European Workshop on Knowledge Acquisition, Modeling and Management
A Methodology for Constructing Expert Systems for Medical Diagnosis
ISMDA '01 Proceedings of the Second International Symposium on Medical Data Analysis
The Geometry of Algebraic Systems and Their Exact Solving Using Gröbner Bases
Computing in Science and Engineering
Rule Based Expert Systems: The Mycin Experiments of the Stanford Heuristic Programming Project (The Addison-Wesley series in artificial intelligence)
An equational approach to theorem proving in first-order predicate calculus
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2
Expert Systems with Applications: An International Journal
Hi-index | 12.05 |
We describe in this paper a methodology for the construction of a knowledge base system for diagnosis of the Parkinson disease, by translating entailment problems into ideal membership problems in polynomials rings. Reasoning is achieved by the assistance of a Computer Algebra Systems (CAS). An ontology editor is used not only to model knowledge but also as an aid tool to be used by the experts for management and choice the most suitable, among several medical criteria.