{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:22:43Z","timestamp":1725664963542},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540617327"},{"type":"electronic","value":"9783540707400"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61732-9_51","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:17:15Z","timestamp":1330294635000},"page":"71-86","source":"Crossref","is-referenced-by-count":2,"title":["An inference engine for propositional two-valued logic based on the radical membership problem"],"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","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"5_CR1","unstructured":"A. de Antonio: Una Interpretaci\u00f3n Algebraica de la Verificaci\u00f3n de Sistemas Basados en el Conocimiento. Univ. Polit\u00e9cnica de Madrid (Ph.D. Thesis) (1994)."},{"key":"5_CR2","unstructured":"J.A. Alonso, E. Briales: L\u00f3gicas Polivalentes y Bases de Gr\u00f6bner. In: C. Martin (editor): Actas del V Congreso de Lenguajes Naturales y Lenguajes Formales (1995) 307\u2013315."},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"B. Buchberger: Applications of Gr\u00f6bner Bases in non-linear Computational Geometry. In: J.R. Rice (editor): Mathematical Aspects of Scientific Software. IMA Volumes in Math. and its Applications, vol. 14. Springer-Verlag (1988).","DOI":"10.1007\/978-1-4684-7074-1_3"},{"key":"5_CR4","unstructured":"D. Cox, J. Little, D. O'Shea: Ideals, Varieties, and Algorithms. Springer-Verlag (1991)."},{"key":"5_CR5","unstructured":"A. Capani, G. Niesi: CoCoA User's Manual. University of Genova (1996)."},{"key":"5_CR6","unstructured":"H.B. Enderton: A Mathematical Introduction to Logic. Academic Press (1972)."},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"P.R. Halmos: Lectures on Boolean Algebras. Springer-Verlag (1974).","DOI":"10.1007\/978-1-4612-9855-7"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"A. Heck: Introduction to Maple. Springer-Verlag (1993).","DOI":"10.1007\/978-1-4684-0519-4"},{"key":"5_CR9","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1016\/0004-3702(85)90074-8","volume":"25","author":"J. Hsiang","year":"1985","unstructured":"J. Hsiang: Refutational Theorem Proving using Term-Rewriting Systems. Artificial Intelligence 25 (1985) 255\u2013300.","journal-title":"Artificial Intelligence"},{"key":"5_CR10","first-page":"1146","volume":"2","author":"D. Kapur","year":"1985","unstructured":"D. Kapur, P. Narendran: 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 (1985) pages 1146\u20131153.","journal-title":"Proceedings of the 9th International Joint Conference on Artificial Intelligence (IJCAI-85)"},{"key":"5_CR11","unstructured":"L. M. Laita, L. de Ledesma: Knowledge-Based Systems Verification. In: J.G. Williams, A. Kent (editors): Encyclopedia of Computer Science and Technology. M. Dekker (to appear)."},{"key":"5_CR12","first-page":"81","volume":"29\u20135","author":"L. M. Laita","year":"1995","unstructured":"L. M. Laita, B. Ram\u00edrez, L. de Ledesma A. Riscos: A Formal Model for Verification of Dynamic Consistency of KBSs. Computers & Mathematics 29\u20135 (1995) 81\u201396.","journal-title":"Computers & Mathematics"},{"key":"5_CR13","unstructured":"L. M. Laita, L. de Ledesma, E. Roanes L., E. Roanes M.: An Interpretation of the Propositional Boolean Algebra as a k-algebra. Effective Calculus. In: J. Campbell, J. Calmet (editors): Proceedings of the Second International Workshop\/Conference on Artificial Intelligence and Symbolic Mathematical Computing (AISMC-2). Lecture Notes in Computer Science 958. Springer-Verlag (1995) 255\u2013263."},{"key":"5_CR14","first-page":"65","volume":"14","author":"E. Roanes L","year":"1995","unstructured":"E. Roanes L., L. M. Laita, E. Roanes M.: Maple V in A.I.: The Boolean Algebra Associated to a KBS. CAN Nieuwsbrief 14, (1995) 65\u201370.","journal-title":"CAN Nieuwsbrief"},{"key":"5_CR15","volume-title":"Verification of Knowledge Based Systems with Commutative Algebra and Computer Algebra Techniques","author":"E. Roanes L","year":"1995","unstructured":"E. Roanes L., L.M. Laita: Verification of Knowledge Based Systems with Commutative Algebra and Computer Algebra Techniques. Proceedings of the 1st International Conference on Applications of Computer Algebra (IMACS). New Mexico University (USA) (1995) (electronic book)."},{"key":"5_CR16","first-page":"91","volume-title":"Verification of Knowledge Based Systems: An Algebraic Interpretation","author":"L.M. Laita","year":"1995","unstructured":"L.M. Laita, E. Roanes L.: Verification of Knowledge Based Systems: An Algebraic Interpretation. In: Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI-95) (Workshop on Verification and Validation of Knowledge Based Systems). McGill University, Montreal (Canad\u00e1), (1995) 91\u201395."},{"key":"5_CR17","unstructured":"E. Mendelson: Boolean Algebra. McGraw-Hill (1970)."},{"key":"5_CR18","unstructured":"J.R. Shoenfield: Mathematical Logic. Addisson-Wesley (1967)."}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence and Symbolic Mathematical Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61732-9_51.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:36:02Z","timestamp":1619573762000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61732-9_51"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540617327","9783540707400"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-61732-9_51","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}