{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:44:32Z","timestamp":1725576272306},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540232124"},{"type":"electronic","value":"9783540302100"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30210-0_21","type":"book-chapter","created":{"date-parts":[[2011,1,18]],"date-time":"2011-01-18T10:34:36Z","timestamp":1295346876000},"page":"251-264","source":"Crossref","is-referenced-by-count":2,"title":["An Expert System on Detection, Evaluation and Treatment of Hypertension"],"prefix":"10.1007","author":[{"given":"E.","family":"Roanes-Lozano","sequence":"first","affiliation":[]},{"suffix":"Jr.","given":"E.","family":"L\u00f3pez-Vidriero","sequence":"additional","affiliation":[]},{"given":"L. M.","family":"Laita","sequence":"additional","affiliation":[]},{"given":"E.","family":"L\u00f3pez-Vidriero","sequence":"additional","affiliation":[]},{"given":"V.","family":"Maojo","sequence":"additional","affiliation":[]},{"given":"E.","family":"Roanes-Mac\u00edas","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"volume-title":"Rule Based Expert Systems: the MYCIN Experiments of the Stanford Heuristic Programming Project","year":"1984","key":"21_CR1","unstructured":"Buchanan, B., Shortliffe, E.H. (eds.): Rule Based Expert Systems: the MYCIN Experiments of the Stanford Heuristic Programming Project. Addison Wesley, New York (1984)"},{"key":"21_CR2","series-title":"From Development to Use","volume-title":"Guidelines for Clinical Practice","year":"1992","unstructured":"Field, M., Lohr, M.K. (eds.): Guidelines for Clinical Practice. From Development to Use. National Academy Press, Washington (1992)"},{"key":"21_CR3","unstructured":"Bernstein, S., Kahan, J.: Personal communication, RAND Health Services (1993)"},{"issue":"3","key":"21_CR4","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1177\/0272989X9401400306","volume":"14","author":"R.N. Shiffman","year":"1994","unstructured":"Shiffman, R.N., Greenes, R.A.: Improving Clinical Guidelines with Logic and Decision-table Techniques: Application to Hepatitis Immunization Recommendations. Med. Decision Making\u00a014(3), 245\u2013254 (1994)","journal-title":"Med. Decision Making"},{"key":"21_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/BFb0055912","volume-title":"Artificial Intelligence and Symbolic Computation","author":"L.M. Laita","year":"1998","unstructured":"Laita, L.M., Roanes Lozano, E., Maojo, V.: Inference and Verification in Medical Appropriateness Criteria. In: Calmet, J., Plaza, J. (eds.) AISC 1998. LNCS (LNAI), vol.\u00a01476, pp. 183\u2013194. Springer, Heidelberg (1998)"},{"issue":"12","key":"21_CR6","doi-asserted-by":"publisher","first-page":"1505","DOI":"10.1016\/S0898-1221(01)00258-9","volume":"42","author":"L.M. Laita","year":"2001","unstructured":"Laita, L.M., Roanes-Lozano, E., Maojo, V., Roanes-Mac\u00b4\u0131as, E., de Ledesma, L., Laita, L.: An Expert System for Managing Medical Appropriateness Criteria Based on Computer Algebra Techniques. Comps. & Maths. with Appls.\u00a042(12), 1505\u20131522 (2001)","journal-title":"Comps. & Maths. with Appls."},{"key":"21_CR7","first-page":"151","volume":"17","author":"Guidelines Subcommittee, International Society of Hypertension - World Health Organization (ISH-WHO)","year":"1999","unstructured":"Guidelines Subcommittee, International Society of Hypertension - World Health Organization (ISH-WHO), Guidelines for the management of hypertension. Hypertension 17, 151\u2013183 (1999)","journal-title":"Hypertension"},{"key":"21_CR8","unstructured":"Anonymous, Gu\u00eda razonada de algoritmos m\u00e9dicos. Hipertensi\u00f3n arterial. Pfizer, Madrid (2002)"},{"key":"21_CR9","doi-asserted-by":"crossref","first-page":"2413","DOI":"10.1001\/archinte.1997.00440420033005","volume":"157","author":"JNC 6. National High Blood Pressure Education Program. The Sixth Report of the Joint National Committee on Prevention","year":"1997","unstructured":"JNC 6. National High Blood Pressure Education Program. The Sixth Report of the Joint National Committee on Prevention, Detection, Evaluation and Treatment of High Blood Pressure. Arch. Intern. Med. 157, 2413\u20132446 (1997)","journal-title":"Arch. Intern. Med."},{"key":"21_CR10","unstructured":"Joint National Committee on Prevention, Detection, Evaluation and Treatment of High Blood Pressure (JNC), JNC 7 Express. The Seventh Report of the Joint National Committee on Prevention, Detection, Evaluation and Treatment of High Blood Pressure, National Heart, Lung, and Blood Institute, U.S. Dept. of Health and Human Services (2003)"},{"key":"21_CR11","doi-asserted-by":"publisher","first-page":"1206","DOI":"10.1161\/01.HYP.0000107251.49515.c2","volume":"42","author":"A.V. Chobanian","year":"2003","unstructured":"Chobanian, A.V., et al.: JNC 7 Complete Version. Seventh Report of the Joint National Committee on Prevention, Detection, Evaluation and Treatment of High Blood Pressure. Hypertension\u00a042, 1206\u20131252 (2003)","journal-title":"Hypertension"},{"key":"21_CR12","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/S0378-4754(01)00370-6","volume":"58","author":"C. P\u00e9rez","year":"2002","unstructured":"P\u00e9rez, C., Laita, L.M., Roanes-Lozano, E., L\u00e1zaro, L., Gonz\u00e1lez, J., Laita, L.: A Logic and Computer Algebra-Based Expert System for Diagnosis of Anorexia. Math. Comp. Simul.\u00a058, 183\u2013202 (2002)","journal-title":"Math. Comp. Simul."},{"key":"21_CR13","series-title":"LNAI","first-page":"1212","volume-title":"Medical Data Analysis","author":"V. Maojo","year":"2000","unstructured":"Maojo, V., Laita, L.M., Roanes Lozano, E., Crespo, J., Rodr\u00edguez Pedrosa, J.: A New Computerized Method to Verify and Disseminate Medical Appropriatenes Criteria. In: Brause, R., Hanisch, E. (eds.) ISMDA 2000. LNCS (LNAI), vol.\u00a01933, pp. 1212\u20131217. Springer, Heidelberg (2000)"},{"issue":"1\/2","key":"21_CR14","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/S0378-4754(97)00088-8","volume":"45","author":"E. Roanes Lozano","year":"1998","unstructured":"Roanes Lozano, E., Laita, L.M., Roanes Mac\u00edas, E.: A Polynomial Model for Multivalued Logics with a Touch of Algebraic Geometry and Computer Algebra. Math. Comp. Simul.\u00a045(1\/2), 83\u201399 (1998)","journal-title":"Math. Comp. Simul."},{"key":"21_CR15","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1016\/0004-3702(85)90074-8","volume":"25","author":"J. Hsiang","year":"1985","unstructured":"Hsiang, J.: Refutational Theorem Proving using Term-rewriting Systems. Artificial Intelligence\u00a025, 255\u2013300 (1985)","journal-title":"Artificial Intelligence"},{"key":"#cr-split#-21_CR16.1","unstructured":"Kapur, D., Narendran, P.: An Equational Approach to Theorem Proving in First-Order Predicate Calculus, 84CRD296, General Electric Corporate Research and Development Report, Schenectady, NY (March 1984) (rev. December 1984)"},{"key":"#cr-split#-21_CR16.2","unstructured":"Also in Proceedings of IJCAI 1985, 1446-1156 (1985)"},{"key":"21_CR17","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/S0747-7171(08)80043-0","volume":"11","author":"J. Chazarain","year":"1991","unstructured":"Chazarain, J., Riscos, A., Alonso, J.A., Briales, E.: Multivalued Logic and Gr\u00f6bner Bases with Applications to Modal Logic. J. Symb. Comput.\u00a011, 181\u2013194 (1991)","journal-title":"J. Symb. Comput."}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence and Symbolic Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30210-0_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,29]],"date-time":"2020-01-29T23:18:50Z","timestamp":1580339930000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30210-0_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540232124","9783540302100"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30210-0_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}