{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:27:11Z","timestamp":1725488831621},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540438656"},{"type":"electronic","value":"9783540454700"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45470-5_7","type":"book-chapter","created":{"date-parts":[[2007,8,12]],"date-time":"2007-08-12T02:38:36Z","timestamp":1186886316000},"page":"38-50","source":"Crossref","is-referenced-by-count":1,"title":["A Symbolic Computation-Based Expert System for Alzheimer\u2019s Disease Diagnosis"],"prefix":"10.1007","author":[{"given":"Bego\u00f1a","family":"Herrero","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luis M.","family":"Laita","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eugenio","family":"Roanes-Lozano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"V\u00edctor","family":"Maojo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luis","family":"de Ledesma","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\u00e9","family":"Crespo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laura","family":"Laita","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,6,21]]},"reference":[{"key":"7_CR1","volume-title":"Graduate Studies in Mathematics","author":"V. Adams","year":"1994","unstructured":"V. Adams and P. Loustaunau: An Introduction to Gr\u00f6bner Bases. Graduate Studies in Mathematics 3. American Mathematical Society Press, Providence, RI, 1994."},{"key":"7_CR2","first-page":"307","volume-title":"Proceedings of the V Congress on Natural Languages and Formal Languages","author":"J.A. Alonso","year":"1989","unstructured":"J.A. Alonso and E. Briales: L\u00f3gicas polivalentes y bases de Gr\u00f6bner. In M. Vide (ed.): Proceedings of the V Congress on Natural Languages and Formal Languages. P.P.U. Press, Barcelona, 1989 (307\u2013315)."},{"key":"7_CR3","volume-title":"DSM III-R, Manual diagn\u00f3stico estad\u00edstico de los transtornos mentales","author":"American Psychiatric Association","year":"1988","unstructured":"American Psychiatric Association: DSM III-R, Manual diagn\u00f3stico estad\u00edstico de los transtornos mentales. Masson, Barcelona, 1988."},{"key":"7_CR4","volume-title":"CoCoA User\u2019s Manual (v. 3.0b)","author":"A. Capani","year":"1996","unstructured":"A. Capani and G. Niesi: CoCoA User\u2019s Manual (v. 3.0b). Dept. of Mathematics, University of Genova, Genove, 1996."},{"key":"7_CR5","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 and E. Briales: Multivalued Logic and Gr\u00f6bner Bases with Applications to Modal Logic. Journal of Symbolic Computation, 11 (1991) 181\u2013194.","journal-title":"Journal of Symbolic Computation"},{"key":"7_CR6","unstructured":"B. Herrero: Desarrollo de un Sistema Experto para el Diagn\u00f3stico del Alzheimer usando CoCoA. Master thesis (advisor: Luis M. Laita), Facultad de Inform\u00e1tica, Universidad Polit\u00e9cnica de Madrid, 2002."},{"key":"7_CR7","unstructured":"L.M. Laita, L. de Ledesma, E. Roanes-Lozano and E. Roanes-Mac\u00edas: An Interpretation of the Propositional Bolean ALgebra as a k-Algebra. IEffective Calculus. In J. Calmet, J.A. Campbell (eds.): Integrating Symbolic Mathematical Computation and Artificial Intelligence. Selected Papers of AIMSC-2. Springer-Verlag LNAI-958, Berlin, 1995 (255\u2013263)."},{"key":"7_CR8","series-title":"Lect Notes Comput Sci","first-page":"212","volume-title":"Medical data Analysis","author":"L.M. Laita","year":"2001","unstructured":"L.M. Laita, G. Gonz\u00e1lez-P\u00e1ez, E. Roanes-Lozano, V. Maojo, L. de Ledesma, L. Laita: A Methodology for Constructing Expert Systems for Medical Diagnosis. In: J. Crespo, V. Maojo, F. Mart\u00edn (eds.): Medical data Analysis. Procs. of IMSDA 2001. Springer-Verlag LNCS-1933, 2001 (212\u2013217)."},{"issue":"1","key":"7_CR9","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/s005000050086","volume":"3\/","author":"L.M. Laita","year":"1999","unstructured":"L.M. Laita, E. Roanes-Lozano, L. de Ledesma, J.A. Alonso: A Computer Algebra Approach to Verification and Deduction in Many-valued Expert Systems. Soft Computing, 3\/1 (1999) 7\u201319.","journal-title":"Soft Computing"},{"key":"7_CR10","unstructured":"L.M. Laita, E. Roanes-Lozano and V. Maojo: Inference and Verification in Medical Appropriateness Criteria. In J. Calmet, J. Plaza (eds.): Artificial Intelligence and Symbolic Computation, Proceedings of AISC\u201998. Springer-Verlag LNAI-1476, Berlin, 1998 (183\u2013194)."},{"issue":"12","key":"7_CR11","doi-asserted-by":"publisher","first-page":"1505","DOI":"10.1016\/S0898-1221(01)00258-9","volume":"42\/","author":"L. M. Laita","year":"2001","unstructured":"L. M. Laita, E. Roanes-Lozano, V. Maojo, L. de Ledesma, L. Laita: An Expert System for Managing Medical Appropriateness Criteria based on Computer Algebra Techniques. Computers and Mathematics with Applications, 42\/12 (2001) 1505\u20131522.","journal-title":"Computers and Mathematics with Applications"},{"key":"7_CR12","unstructured":"J.J. L\u00f3pez-Ibor (ed.): CIE10. Transtornos mentales y del comportamiento. Descripciones cl\u00ednicas y pautas para el diagn\u00f3stico. Organizaci\u00f3n Mundial de la Salud-Ed. Meditor, 1992."},{"issue":"3","key":"7_CR13","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":"C. P\u00e9rez-Carretero, L.M. Laita, E. Roanes-Lozano, L. L\u00e1zaro, J. Gonz\u00e1lez-Cajal, L. Laita: A Logic and Computer Algebra Based Expert System for Diagnosis of Anorexia. Mathematics and Computers in Simulation, 58\/3 (2002) 183\u2013202.","journal-title":"Mathematics and Computers in Simulation"},{"key":"7_CR14","unstructured":"D. Perkinson: CoCoA 4.0 Online Help (electronic file), 2000."},{"issue":"1","key":"7_CR15","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/S0378-4754(97)00088-8","volume":"45\/","author":"E. Roanes-Lozano","year":"1998","unstructured":"E. Roanes-Lozano, L.M. Laita and E. Roanes-Mac\u00edas: A Polynomial Model for Multivalued Logics with a Touch of Algebraic Geometry and Computer Algebra. Mathematics and Computers in Simulation, 45\/1 (1998) 83\u201399.","journal-title":"Mathematics and Computers in Simulation"},{"key":"7_CR16","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-7091-6571-3","volume-title":"Polynomial Algorithms in Computer Algebra","author":"F. Winkler","year":"1996","unstructured":"F. Winkler: Polynomial Algorithms in Computer Algebra. Springer, Wien, 1996."}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence, Automated Reasoning, and Symbolic Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45470-5_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,21]],"date-time":"2019-02-21T14:29:32Z","timestamp":1550759372000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45470-5_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540438656","9783540454700"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-45470-5_7","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}