{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:37:09Z","timestamp":1725467829574},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540649601"},{"type":"electronic","value":"9783540498162"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0055912","type":"book-chapter","created":{"date-parts":[[2006,7,27]],"date-time":"2006-07-27T21:17:34Z","timestamp":1154035054000},"page":"183-194","source":"Crossref","is-referenced-by-count":2,"title":["Inference and verification in Medical Appropriateness Criteria using Gr\u00f6bner Bases"],"prefix":"10.1007","author":[{"given":"L. M.","family":"Laita","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E.","family":"Roanes-Lozano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"V.","family":"Maojo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,5,27]]},"reference":[{"key":"15_CR1","volume-title":"Graduate Studies in Mathematics 3","author":"V. Adams","year":"1994","unstructured":"V. Adams, P. Loustanau, An Introduction to Gr\u00f6bner Bases. Graduate Studies in Mathematics 3, American Mathematical Society, Providence, RI, (1994)."},{"key":"15_CR2","unstructured":"J. A. Alonso and E. Briales, L\u00f3gicas Polivalentes y Bases de Gr\u00f6bner. Procs. of the V Congress on Natural Languages and Formal Languages, Ed. M. Vide, Barcelona, (1989), 307\u2013315."},{"key":"15_CR3","volume-title":"Rule Based Expert Systems: The MYCIN experiments of the Stanford Heuristic Programming Project","author":"B.G. Buchanan","year":"1984","unstructured":"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)."},{"key":"15_CR4","unstructured":"S. Bernstein, J. Kahan, Personal communication. RAND Corporation (1993)."},{"key":"15_CR5","unstructured":"A. Capani and G. Niesi, CoCoA User\u2019s Manual (v. 3.0b). Dept. of Mathematics, University of Genova (1996)."},{"key":"15_CR6","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/S0747-7171(08)80043-0","volume":"11","author":"J. Chazarain","year":"1991","unstructured":"J. Chazarain, A. Riscos, J.A. Alonso, E. Briales, Multivalued Logic and Gr\u00f6bner Bases with Applications to Modal Logic. Journal of Symbolic Computation, 11, 181\u2013194 (1991).","journal-title":"Journal of Symbolic Computation"},{"volume-title":"Guidelines for Clinical Practice. From Development to Use","year":"1992","key":"15_CR7","unstructured":"M. Field, M. Field, K. Lohr, (Eds). Guidelines for Clinical Practice. From Development to Use. National Academy Press, Washington D.C. (1992)."},{"key":"15_CR8","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1016\/0004-3702(85)90074-8","volume":"25","author":"J. Hsiang","year":"1985","unstructured":"J. Hsiang, Refutationsl Theorem Proving using Term-rewriting Systems, Artificial Intelligence, 25 (1985), 255\u2013300.","journal-title":"Artificial Intelligence"},{"key":"15_CR9","unstructured":"D. Kapur and P. Narendran, An Equational Approach to Theorem Proving in First-Order Predicate Calculus. 84CRD296 General Electric Corporate Research and Development Report, Schenectady, NY, March 1984, rev. Dec. 1984. Also in, Proceedings of IJCAI-85 (1985), 1446\u20131156."},{"key":"15_CR10","first-page":"253","volume-title":"Knowledge-Based Systems Verification, Encyclopedia of Computer Science and Technology","author":"L.M. Laita","year":"1997","unstructured":"L.M. Laita, L. de Ledesma, Knowledge-Based Systems Verification, Encyclopedia of Computer Science and Technology, Eds. A Kent, J.G. Williams. Marcel Dekker, New York (1997), 253\u2013280."},{"key":"15_CR11","unstructured":"L.M. Laita, E. Roanes-Lozano, J.A. Alonso, L. de Ledesma, Automated Multi-Valued Logic reasoning in rule based Expert Systems. Preprint, AI Dept., Universidad Polit\u00e9cnica de Madrid, sent for tentative publication in Soft Computing (1998)."},{"key":"15_CR12","unstructured":"P. L\u00e1zaro, K. Fitch, Criterios de uso apropiado para by-pass coronario. Unpublished Report (1996)."},{"key":"15_CR13","volume-title":"The Algebraic Theory of Switching Circuits","author":"G. C. Moisil","year":"1969","unstructured":"G. C. Moisil, The Algebraic Theory of Switching Circuits. Pergamon Press, Oxford (1969)."},{"key":"15_CR14","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/S0378-4754(97)00088-8","volume":"45\/1\u20132","author":"E Roanes-Lozano","year":"1998","unstructured":"E Roanes-Lozano, L.M. Laita, E. Roanes-Mac\u00edas, A Polynomial Model for Multi-valued Logics with a Touch of Algebraic Geometry and Computer Algebra. Special Issue \u201cNon-Standard Applications of CA\u2253, in Mathematics and Computers in Simulation, 45\/1\u20132 (1998), 83\u201399.","journal-title":"Mathematics and Computers in Simulation"},{"key":"15_CR15","unstructured":"J.K. Slaney, Formal Logic and its application in medicine. Pillips CI. Logic in Medicine, British Medical journal (1988)."},{"key":"15_CR16","unstructured":"F. Winkler, Introduction to Computer Algebra. Lecture Notes WS 93\/94, RISC-Linz (1994)."}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence and Symbolic Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0055912","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,11]],"date-time":"2019-02-11T18:01:34Z","timestamp":1549908094000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0055912"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540649601","9783540498162"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/bfb0055912","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}