{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T16:54:20Z","timestamp":1725814460430},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319137698"},{"type":"electronic","value":"9783319137704"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-13770-4_5","type":"book-chapter","created":{"date-parts":[[2014,12,8]],"date-time":"2014-12-08T08:36:05Z","timestamp":1418027765000},"page":"34-48","source":"Crossref","is-referenced-by-count":0,"title":["A Rule\u2013Based Expert System for Vaginal Cytology Diagnosis"],"prefix":"10.1007","author":[{"given":"Carlos","family":"Gamallo-Chicano","sequence":"first","affiliation":[]},{"given":"Eugenio","family":"Roanes-Lozano","sequence":"additional","affiliation":[]},{"given":"Carlos","family":"Gamallo-Amat","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","unstructured":"Abbott, J., Bigatti, A.M., Lagorio, G.: CoCoA-5: a system for doing Computations in Commutative Algebra, \n                    \n                      http:\/\/cocoa.dima.unige.it"},{"key":"5_CR2","unstructured":"de Agust\u00edn, P.: Manual de Citolog\u00eda Exfoliativa B\u00e1sica. Editorial Hospital Universitario 12 de Octubre, Madrid (1995)"},{"key":"5_CR3","first-page":"307","volume-title":"Actas del V Congreso de Lenguajes Naturales y Lenguajes Formales","author":"J.A. Alonso","year":"1995","unstructured":"Alonso, J.A., Briales, E.: L\u00f3gicas Polivalentes y Bases de Gr\u00f6bner. In: Martin, C. (ed.) Actas del V Congreso de Lenguajes Naturales y Lenguajes Formales, pp. 307\u2013315. University of Seville, Sevilla (1995)"},{"key":"5_CR4","unstructured":"American Society of Cytopathology: NCI Bethesda System, \n                    \n                      http:\/\/nih.techriver.net\/index.php"},{"issue":"3-4","key":"5_CR5","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1016\/j.jsc.2005.09.007","volume":"41","author":"B. Buchberger","year":"2006","unstructured":"Buchberger, B.: Bruno Buchberger\u2019s PhD thesis 1965: An algorithm for finding the basis elementals of the residue class ring of a zero dimensional polynomial ideal. Journal of Symbolic Computation\u00a041(3-4), 475\u2013511 (2006)","journal-title":"Journal of Symbolic Computation"},{"key":"5_CR6","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. Journal of Symbolic Computation\u00a011, 181\u2013194 (1991)","journal-title":"Journal of Symbolic Computation"},{"key":"5_CR7","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":"5_CR8","doi-asserted-by":"crossref","unstructured":"Kapur, D., Narendran, P.: An Equational Approach to Theorem Proving in First-Order Predicate Calculus. In: Proceedings of the 9th International Joint Conference on Artificial Intelligence (IJCAI 1985), vol.\u00a02, pp. 1146\u20131153 (1985)","DOI":"10.1145\/1012497.1012521"},{"key":"5_CR9","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/s005000050086","volume":"3","author":"L.M. Laita","year":"1999","unstructured":"Laita, L.M., Roanes-Lozano, E., de Ledesma, L., Alonso, J.A.: A computer algebra approach to verification and deduction in many-valued knowledge systems. Soft Computing\u00a03, 7\u201319 (1999)","journal-title":"Soft Computing"},{"issue":"12","key":"5_CR10","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\u2013Lozano, E., Maojo, V., Roanes\u2013Mac\u00edas, E., de Ledesma, L., Laita, L.: An Expert System for Managing Medical Appropriateness Criteria based on Computer Algebra Techniques. Computers and Mathematics with Applications\u00a042(12), 1505\u20131522 (2001)","journal-title":"Computers and Mathematics with Applications"},{"issue":"3","key":"5_CR11","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/S0378-4754(01)00370-6","volume":"58","author":"C. P\u00e9rez Carretero","year":"2002","unstructured":"P\u00e9rez Carretero, C., Laita, L.M., Roanes\u2013Lozano, E., L\u00e1zaro, L., Gonz\u00e1lez\u2013Cajal, J., Laita, L.: A Logic and Computer Algebra-Based Expert System for Diagnosis of Anorexia. Mathematics and Computers in Simulation\u00a058(3), 183\u2013202 (2002)","journal-title":"Mathematics and Computers in Simulation"},{"issue":"2","key":"5_CR12","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1007\/s13398-012-0064-8","volume":"106","author":"J. Piury","year":"2012","unstructured":"Piury, J., Laita, L.M., Roanes\u2013Lozano, E., Hernando, A., Piury\u2013Alonso, F.J., G\u00f3mez\u2013Arg\u00fcelles, J.M., Laita, L.: A Gr\u00f6bner bases-based rule based expert system for fibromyalgia diagnosis. Revista de la Real Academia de Ciencias. Serie A. Matem\u00e1ticas (RACSAM)\u00a0106(2), 443\u2013456 (2012)","journal-title":"Revista de la Real Academia de Ciencias. Serie A. Matem\u00e1ticas (RACSAM)"},{"issue":"1","key":"5_CR13","doi-asserted-by":"publisher","first-page":"19","DOI":"10.5052\/RACSAM.2010.04","volume":"104","author":"E. Roanes-Lozano","year":"2011","unstructured":"Roanes-Lozano, E., Laita, L.M., Hernando, A., Roanes-Mac\u00edas, E.: An algebraic approach to rule based expert systems. Revista de la Real Academia de Ciencias. Serie A. Matem\u00e1ticas (RACSAM)\u00a0104(1), 19\u201340 (2011), doi:10.5052\/RACSAM.2010.04","journal-title":"Revista de la Real Academia de Ciencias. Serie A. Matem\u00e1ticas (RACSAM)"},{"issue":"1","key":"5_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. Mathematics and Computers in Simulation\u00a045(1), 83\u201399 (1998)","journal-title":"Mathematics and Computers in Simulation"},{"key":"5_CR15","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/j.eswa.2005.09.011","volume":"31","author":"C. Rodr\u00edguez\u2013Solano","year":"2006","unstructured":"Rodr\u00edguez\u2013Solano, C., Laita, L.M., Roanes\u2013Lozano, E., L\u00f3pez\u2013Corral, L., Laita, L.: A Computational System for Diagnosis of Depressive Situations. Expert Systems with Applications\u00a031, 47\u201355 (2006)","journal-title":"Expert Systems with Applications"},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"Soloman, D.: The, Bethesda system for reporting cervical\/vaginal cytologic diagnoses: Developed and approved at the national cancer institute workshop in Bethesda, MD, December 12-13, Diagnostic Cytopathology 5, 331\u2013334 (1988), doi: 10.1002\/dc.2840050318","DOI":"10.1002\/dc.2840050318"},{"key":"5_CR17","unstructured":"Viguer, J.M., Garc\u00eda del Moral, R.: Laboratorio y Atlas de Citolog\u00eda. Editorial Interamericana McGraw\u2013Hill, Madrid (1995)"}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence and Symbolic Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-13770-4_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,18]],"date-time":"2019-01-18T16:06:07Z","timestamp":1547827567000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-13770-4_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319137698","9783319137704"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-13770-4_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}