Inference and verification in Medical Appropriateness Criteria using Gröbner Bases-Reference-Cited by-同舟云学术

Inference and verification in Medical Appropriateness Criteria using Gröbner Bases

Published:1998 Issue: Volume: Page:183-194
ISSN:0302-9743
Container-title:Artificial Intelligence and Symbolic Computation
language:
Short-container-title:

Author:

Laita L. M.,Roanes-Lozano E.,Maojo V.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/BFb0055912

Reference16 articles.

1. V. Adams, P. Loustanau, An Introduction to Gröbner Bases. Graduate Studies in Mathematics 3, American Mathematical Society, Providence, RI, (1994).

2. J. A. Alonso and E. Briales, Lógicas Polivalentes y Bases de Gröbner. Procs. of the V Congress on Natural Languages and Formal Languages, Ed. M. Vide, Barcelona, (1989), 307–315.

3. B.G. Buchanan and E.H. Shortliffe, Rule Based Expert Systems: The MYCIN experiments of the Stanford Heuristic Programming Project. Addison-Wesley, Reading, MA. (1984).

4. S. Bernstein, J. Kahan, Personal communication. RAND Corporation (1993).

5. A. Capani and G. Niesi, CoCoA User’s Manual (v. 3.0b). Dept. of Mathematics, University of Genova (1996).

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. An Expert System on Detection, Evaluation and Treatment of Hypertension;Artificial Intelligence and Symbolic Computation;2004

2. An expert system for managing medical appropriateness criteria based on computer algebra techniques;Computers & Mathematics with Applications;2001-12

3. A Gröbner bases-based shell for rule-based expert systems development;Expert Systems with Applications;2000-04

4. Geometric Interpretation of Strong Inconsistency in Knowledge Based Systems;Computer Algebra in Scientific Computing CASC’99;1999