{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:53:08Z","timestamp":1725558788194},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540239642"},{"type":"electronic","value":"9783540305477"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30547-7_8","type":"book-chapter","created":{"date-parts":[[2010,6,30]],"date-time":"2010-06-30T13:05:21Z","timestamp":1277903121000},"page":"67-78","source":"Crossref","is-referenced-by-count":0,"title":["A Rule-Based Knowledge System for Diagnosis of Mental Retardation"],"prefix":"10.1007","author":[{"given":"R.","family":"S\u00e1nchez-Morgado","sequence":"first","affiliation":[]},{"given":"Luis M.","family":"Laita","sequence":"additional","affiliation":[]},{"given":"Eugenio","family":"Roanes-Lozano","sequence":"additional","affiliation":[]},{"given":"Luis","family":"de Ledesma","sequence":"additional","affiliation":[]},{"given":"L.","family":"Laita","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"volume-title":"Rule Based Expert Systems: the MYCIN Experiments of the Stanford Heuristic Programming Project","year":"1984","key":"8_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":"8_CR2","unstructured":"C.N.R.E.E., EI alumno con retraso mental en la escuela ordinaria, Ministry of Education, Madrid (1991, 1994)"},{"key":"8_CR3","unstructured":"Molina Garc\u00eda, S.: Deficiencia mental, aspectos psicoevolutivos y educativos, Ediciones Aljibe, M\u00e1laga (1994)"},{"key":"8_CR4","unstructured":"A.P.A. (American Psychiatric Association): D.S.M. IV (A.P.A. 1995), http:\/\/www.appi.org\/dsm.cfx"},{"key":"8_CR5","unstructured":"Verdugo, M.A.: El cambio de paradigma en la concepci\u00f3n de retraso mental: la nueva definici\u00f3n de A. A. M. R. Siglo Cero\u00a025(3), 5\u201322 (1995)"},{"key":"8_CR6","unstructured":"Capani, A., Niesi, G.: CoCoA User\u2019s Manual v. 3.0b. Dept. of Mathematics, University of Genova, Genova (1996)"},{"key":"8_CR7","unstructured":"Perkinson, D.: CoCoA 4.0 Online Help. Electronic file acompanying CoCoA v.4.0 (2000)"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Adams, W.W., Loustaunau, P.: An Introduction to Gr\u00f6bner Bases. Graduate Studies in Mathematics, American Mathematical Society, Providence, RI (1994)","DOI":"10.1090\/gsm\/003"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"Becker, T., Weisspfenning, V.: Gr\u00f6bner bases. Springer, New York (1993)","DOI":"10.1007\/978-1-4612-0913-3"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Winkler, F.: Polynomial Algorithms in Computer Algebra. Springer, Vienna (1996)","DOI":"10.1007\/978-3-7091-6571-3"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Moisil, G.C.: The Algebraic Theory of Switching Circuits. Pergamon Press, Oxford (1969)","DOI":"10.1016\/B978-0-08-010148-4.50027-X"},{"key":"#cr-split#-8_CR12.1","doi-asserted-by":"crossref","unstructured":"Kapur, D., Narendran, P.: An Equational Approach to Theorem Proving in First- Order Predicate Calculus. In: Proceedings of IJCAI 1985, pp. 1146\u20131153 (1985);","DOI":"10.1145\/1012497.1012521"},{"key":"#cr-split#-8_CR12.2","unstructured":"General Electric Corporate Research and Development Report 84CRD296, Schenectady, NY, March 1984, rev. December 1984"},{"key":"8_CR13","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. Artif. Intell.\u00a025, 255\u2013300 (1985)","journal-title":"Artif. Intell."},{"key":"8_CR14","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. Comp.\u00a011, 181\u2013194 (1991)","journal-title":"J. Symb. Comp."},{"key":"8_CR15","doi-asserted-by":"crossref","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 Comp.\u00a03(1), 7\u201319 (1999)","DOI":"10.1007\/s005000050086"},{"issue":"1","key":"8_CR16","doi-asserted-by":"crossref","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\u00fdas, E.: A Polynomial Model for Multivalued Logics with a Touch of Algebraic Geometry and Computer Algebra. Math. Comp. Simul.\u00a045(1), 83\u201399 (1998)","journal-title":"Math. Comp. Simul."},{"issue":"12","key":"8_CR17","doi-asserted-by":"crossref","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., de Ledesma, L., Laita, L.: An Expert System for Managing Medical Appropriateness Criteria Based on Computer Algebra Techniques. Comp. Math. Appl.\u00a042(12), 1505\u20131522 (2001)","journal-title":"Comp. Math. Appl."},{"key":"8_CR18","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":"8_CR19","doi-asserted-by":"publisher","first-page":"473","DOI":"10.1016\/S0378-4754(99)00137-8","volume":"51","author":"E. Roanes-Lozano","year":"2000","unstructured":"Roanes-Lozano, E., Roanes-Mac\u00edas, E., Laita, L.M.: Railway Interlocking Systems and Gr\u00f6bner bases. Math. Comp. Simul.\u00a051, 473\u2013481 (2000)","journal-title":"Math. Comp. Simul."}],"container-title":["Lecture Notes in Computer Science","Biological and Medical Data Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30547-7_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T12:12:09Z","timestamp":1559218329000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30547-7_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540239642","9783540305477"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30547-7_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}