{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T02:50:32Z","timestamp":1777344632342,"version":"3.51.4"},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2009,7,1]],"date-time":"2009-07-01T00:00:00Z","timestamp":1246406400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[2009,8]]},"DOI":"10.1007\/s10472-009-9147-4","type":"journal-article","created":{"date-parts":[[2009,6,30]],"date-time":"2009-06-30T09:34:08Z","timestamp":1246354448000},"page":"297-311","source":"Crossref","is-referenced-by-count":9,"title":["A Groebner bases-based approach to backward reasoning in rule based expert systems"],"prefix":"10.1007","volume":"56","author":[{"given":"Eugenio","family":"Roanes-Lozano","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonio","family":"Hernando","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luis M.","family":"Laita","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eugenio","family":"Roanes-Mac\u00edas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,7,1]]},"reference":[{"key":"9147_CR1","first-page":"307","volume-title":"Actas del V Congreso de Lenguajes Naturales y Lenguajes Formales","author":"JA 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, Seville (1995)"},{"issue":"3\u20134","key":"9147_CR2","doi-asserted-by":"crossref","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. J. Symb. Comput. 41(3\u20134), 475\u2013511 (2006)","journal-title":"J. Symb. Comput."},{"key":"9147_CR3","series-title":"IMA","first-page":"60","volume-title":"Mathematical Aspects of Scientific Software","author":"B Buchberger","year":"1988","unstructured":"Buchberger, B.: Applications of Gr\u00f6bner bases in non-linear computational geometry. In: Rice, J.R. (ed.) Mathematical Aspects of Scientific Software, IMA vol. 14, pp. 60\u201388. Springer, New York (1988)"},{"key":"9147_CR4","volume-title":"Ideals, Varieties, and Algorithms. An Introduction to Computational Algebraic Geometry and Commutative Algebra","author":"D Cox","year":"1992","unstructured":"Cox, D., Little, J., O\u2019Shea, D.: Ideals, Varieties, and Algorithms. An Introduction to Computational Algebraic Geometry and Commutative Algebra. Springer, New York (1992)"},{"key":"9147_CR5","doi-asserted-by":"crossref","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. 11, 181\u2013194 (1991)","journal-title":"J. Symb. Comput."},{"key":"9147_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-009-4037-6","volume-title":"Mechanical Geometry Theorem Proving","author":"S-C Chou","year":"1987","unstructured":"Chou, S.-C.: Mechanical Geometry Theorem Proving. Kluwer, Dordrecht (1987)"},{"issue":"7","key":"9147_CR7","doi-asserted-by":"crossref","first-page":"394","DOI":"10.1145\/368273.368557","volume":"5","author":"M Davis","year":"1962","unstructured":"Davis, M., Logemann, G., Loveland, D.: A machine program for theorem-proving. Commun. ACM 5(7), 394\u2013397 (1962)","journal-title":"Commun. ACM"},{"issue":"1","key":"9147_CR8","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/S0022-4049(99)00005-5","volume":"139","author":"JC Faug\u00e8re","year":"1999","unstructured":"Faug\u00e8re, J.C.: A new efficient algorithm for computing Gr\u00f6bner bases. J. Pure Appl. Algebra 139(1), 61\u201388 (1999)","journal-title":"J. Pure Appl. Algebra"},{"key":"9147_CR9","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1145\/780506.780516","volume-title":"Proceedings of the 2002 International Symposium on Symbolic and Algebraic Computation ISSAC 2002","author":"JC Faug\u00e8re","year":"2002","unstructured":"Faug\u00e8re, J.C.: A new efficient algorithm for computing Gr\u00f6bner bases without reduction to zero. In: Mora, T. (ed.) Proceedings of the 2002 International Symposium on Symbolic and Algebraic Computation ISSAC 2002, pp. 75\u201383. ACM, New York (2002)"},{"key":"9147_CR10","first-page":"95","volume-title":"Symbolic and Algebraic Computation, International Symposium, ISSAC 2008","author":"VP Gerdt","year":"2008","unstructured":"Gerdt, V.P., Zinin, M.V.: A Pommaret division algorithm for computing Gr\u00f6bner bases in Boolean rings. In: Sendra, J.R., Gonz\u00e1lez-Vega, L. (eds.) Symbolic and Algebraic Computation, International Symposium, ISSAC 2008, pp. 95\u2013102. ACM, New York (2008)"},{"key":"9147_CR11","doi-asserted-by":"crossref","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. 25, 255\u2013300 (1985)","journal-title":"Artif. Intell."},{"key":"9147_CR12","first-page":"15","volume-title":"Geometric Reasoning","author":"D Kapur","year":"1989","unstructured":"Kapur, D., Mundy, J.L.: Wu\u2019s method and its application to perspective viewing. In: Kapur, D., Mundy, J.L. (eds.) Geometric Reasoning, pp. 15\u201336. MIT, Cambridge (1989)"},{"key":"9147_CR13","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-85), vol. 2, pp. 1146\u20131153 (1985)","DOI":"10.1145\/1012497.1012521"},{"key":"9147_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1007\/3-540-60156-2_18","volume-title":"Proceedings of the Second International Workshop\/Conference on Artificial Intelligence and Symbolic Mathematical Computing (AISMC-2)","author":"LM Laita","year":"1995","unstructured":"Laita, L.M., de Ledesma, L., Roanes-Lozano, E., Roanes-Mac\u00edas, E.: An interpretation of the propositional Boolean algebra as a k-algebra. Effective calculus. In: Campbell, J., Calmet, J. (eds.) Proceedings of the Second International Workshop\/Conference on Artificial Intelligence and Symbolic Mathematical Computing (AISMC-2). Lecture Notes in Computer Science, vol. 958, pp. 255\u2013263. Springer, New York (1995)"},{"issue":"5","key":"9147_CR15","first-page":"473","volume":"51","author":"LM Laita","year":"2000","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. Comput. Math. Appl. 51(5), 473\u2013481 (2000)","journal-title":"Comput. Math. Appl."},{"key":"9147_CR16","doi-asserted-by":"crossref","first-page":"2847","DOI":"10.1016\/j.eswa.2007.05.039","volume":"34","author":"M Lourdes-Jim\u00e9nez","year":"2008","unstructured":"Lourdes-Jim\u00e9nez, M., Santamar\u00eda, J.M., Barchino, R., Laita, L., Laita, L.M., Gonz\u00e1lez, L.A., Asenjo, A.: Knowledge representation for diagnosis of care problems through an expert system: model of the auto-care deficit situations. Expert Syst. Appl. 34, 2847\u20132857 (2008)","journal-title":"Expert Syst. Appl."},{"key":"9147_CR17","doi-asserted-by":"crossref","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-Lozano, E., L\u00e1zaro, L., Gonz\u00e1lez-Cajal, J., Laita, L.: A logic and computer algebra-based expert system for diagnosis of Anorexia. Math. Comput. Simul. 58, 183\u2013202 (2002)","journal-title":"Math. Comput. Simul."},{"key":"9147_CR18","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1023\/A:1006135322108","volume":"23","author":"T Recio","year":"1999","unstructured":"Recio, T., V\u00e9lez, M.P.: Automatic discovery of theorems in elementary geometry. J. Autom. Reason. 23, 63\u201382 (1999)","journal-title":"J. Autom. Reason."},{"key":"9147_CR19","first-page":"65","volume":"14","author":"E Roanes-Lozano","year":"1995","unstructured":"Roanes-Lozano, E., Laita, L.M., Roanes-Mac\u00edas, E.: Maple V in A.I.: the Boolean algebra associated to a KBS. CAN Nieuwsbrief 14, 65\u201370 (1995)","journal-title":"CAN Nieuwsbrief"},{"issue":"1","key":"9147_CR20","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\u00edas, E.: A polynomial model for multivalued logics with a touch of algebraic geometry and computer algebra. Math. Comput. Simul. 45(1), 83\u201399 (1998)","journal-title":"Math. Comput. Simul."},{"key":"9147_CR21","series-title":"Lecture Notes in Artificial Intelligence","first-page":"170","volume-title":"Determination of Geometric Loci. 3D-Extension of Simson-Steiner. AISC \/ Calculemus \/ MKM 2008","author":"E Roanes-Lozano","year":"2008","unstructured":"Roanes-Lozano, E., Laita, L.M., Roanes-Mac\u00edas, E.: A Groebner bases based many-valued modal logic implementation in Maple. In: Autexier, S., et al. (eds.) Determination of Geometric Loci. 3D-Extension of Simson-Steiner. AISC \/ Calculemus \/ MKM 2008. Lecture Notes in Artificial Intelligence, vol. 5144, pp. 170\u2013183. Springer, Berlin (2008)"},{"key":"9147_CR22","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1016\/j.eswa.2005.09.011","volume":"31","author":"C Rodr\u00edguez-Solano","year":"2006","unstructured":"Rodr\u00edguez-Solano, C., Laita, L.M., Roanes-Lozano, E., L\u00f3pez-Corral, L., Laita, L.: A computational system for diagnosis of depressive situations. Expert Syst. Appl. 31, 47\u201355 (2006)","journal-title":"Expert Syst. Appl."}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-009-9147-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10472-009-9147-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-009-9147-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T17:58:13Z","timestamp":1559152693000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10472-009-9147-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,7,1]]},"references-count":22,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2009,8]]}},"alternative-id":["9147"],"URL":"https:\/\/doi.org\/10.1007\/s10472-009-9147-4","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,7,1]]}}}