{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T13:57:50Z","timestamp":1725890270539},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540851097"},{"type":"electronic","value":"9783540851103"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-85110-3_14","type":"book-chapter","created":{"date-parts":[[2008,7,26]],"date-time":"2008-07-26T02:00:32Z","timestamp":1217037632000},"page":"170-183","source":"Crossref","is-referenced-by-count":1,"title":["A Groebner Bases Based Many-Valued Modal Logic Implementation in Maple"],"prefix":"10.1007","author":[{"given":"Eugenio","family":"Roanes-Lozano","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-Mac\u00edas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","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. University of Seville, pp. 307\u2013315 (1995)"},{"key":"14_CR2","unstructured":"Buchberger, B.: An Algorithm for Finding a Basis for the Residue Class Ring of a Zero-Dimensional Polynomial Ideal (Ph.D. Thesis in German). Math. Institute - University of Innsbruck (1965)"},{"key":"14_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.\u00a014, pp. 60\u201388. Springer, Heidelberg (1988)"},{"key":"14_CR4","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":"14_CR5","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"},{"issue":"4","key":"14_CR6","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1145\/1012497.1012521","volume":"10","author":"Deepak Kapur","year":"1985","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)","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"key":"14_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1007\/3-540-60156-2_18","volume-title":"Integrating Symbolic Mathematical Computation and Artificial Intelligence","author":"L.M. 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: Calmet, J., Campbell, J.A. (eds.) AISMC 1994. LNCS, vol.\u00a0958, pp. 255\u2013263. Springer, Heidelberg (1995)"},{"key":"14_CR8","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-Lozano, E., L\u00e1zaro, L., Gonz\u00e1lez-Cajal, J., Laita, L.: A Logic and Computer Algebra-Based Expert System for Diagnosis of Anorexia. Mathematics and Computers in Simulation\u00a058, 183\u2013202 (2002)","journal-title":"Mathematics and Computers in Simulation"},{"key":"14_CR9","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\u00a014, 65\u201370 (1995)","journal-title":"CAN Nieuwsbrief"},{"issue":"1","key":"14_CR10","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":"14_CR11","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1007\/978-3-642-60218-4_29","volume-title":"Computer Algebra in Scientific Computing. Proceedings of CASC 1999","author":"E. Roanes-Lozano","year":"1999","unstructured":"Roanes-Lozano, E., Roanes-Mac\u00edas, E., Laita, L.M.: Geometric Interpretation of Strong Inconsistency in Knowledge Based Systems. In: Ganzha, V.G., Mayr, E.W., Vorozhtsov, E.V. (eds.) Computer Algebra in Scientific Computing. Proceedings of CASC 1999, pp. 349\u2013363. Springer, Heidelberg (1999)"},{"issue":"2","key":"14_CR12","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1109\/MCISE.2004.1267612","volume":"6","author":"E. Roanes-Lozano","year":"2004","unstructured":"Roanes-Lozano, E., Roanes-Mac\u00edas, E., Laita, L.M.: The Geometry of Algebraic Systems and Their Exact Solving Using Groebner Bases. Computing in Science and Engineering\u00a06(2), 76\u201379 (2004)","journal-title":"Computing in Science and Engineering"},{"issue":"3","key":"14_CR13","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1109\/MCISE.2004.1289309","volume":"6","author":"E. Roanes-Lozano","year":"2004","unstructured":"Roanes-Lozano, E., Roanes-Mac\u00edas, E., Laita, L.M.: Some Applications of Gr\u00f6bner Bases. Computing in Science and Engineering\u00a06(3), 56\u201360 (2004)","journal-title":"Computing in Science and Engineering"},{"key":"14_CR14","unstructured":"Roanes-Mac\u00edas, E., Roanes-Lozano, E.: C\u00e1lculos Matem\u00e1ticos por Ordenador con Maple V.5, Ed. Rubi\u00f1os-1890, Madrid (1999)"},{"key":"14_CR15","unstructured":"CoCoA: a system for doing Computations in Commutative Algebra, \n                      \n                        http:\/\/cocoa.dima.unige.it"},{"key":"14_CR16","unstructured":"URL, \n                      \n                        http:\/\/www.maplesoft.com\/"}],"container-title":["Lecture Notes in Computer Science","Intelligent Computer Mathematics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-85110-3_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:14:39Z","timestamp":1619507679000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-85110-3_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540851097","9783540851103"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-85110-3_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}