{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T04:18:14Z","timestamp":1725596294359},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642626845"},{"type":"electronic","value":"9783642566660"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/978-3-642-56666-0_35","type":"book-chapter","created":{"date-parts":[[2011,7,18]],"date-time":"2011-07-18T14:13:00Z","timestamp":1310998380000},"page":"461-475","source":"Crossref","is-referenced-by-count":0,"title":["A Method of Logic Deduction and Verification in KBS Using Positive Integers"],"prefix":"10.1007","author":[{"given":"E.","family":"Roanes-Lozano","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E.","family":"Roanes-Mac\u00edas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L. M.","family":"Laita","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"35_CR1","first-page":"307","volume-title":"L\u00f3gicas Polivalentes y Bases de Gr\u00f6bner","author":"JA Alonso","year":"1989","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, Barcelona (1989) 307\u2013315."},{"key":"35_CR2","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.: Multi-valued Logic and Gr\u00f6bner Bases with Applications to Modal Logic. J. Symb. Comp. 11(1991) 181\u2013194.","journal-title":"J. Symb. Comp."},{"key":"35_CR3","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-9855-7","volume-title":"Lectures on Boolean Algebras","author":"PR Halmos","year":"1974","unstructured":"Halmos, P.R.: Lectures on Boolean Algebras. Springer-Verlag, Berlin Heidelberg New York (1974)."},{"key":"35_CR4","volume-title":"La teor\u00eda de reticulos y su aplicaci\u00f3n a la l\u00f3gica matem\u00e1tica","author":"H Hermes","year":"1963","unstructured":"Hermes, H.: La teor\u00eda de reticulos y su aplicaci\u00f3n a la l\u00f3gica matem\u00e1tica. CSIC, Madrid (1963)."},{"key":"35_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. Artif. Intell. 25 (1985) 255\u2013300.","journal-title":"Artif. Intell."},{"key":"35_CR6","series-title":"R&ampD Report","first-page":"1146","volume-title":"Procs. 9th IJCAI","author":"D Kapur","year":"1984","unstructured":"Kapur, D., Narendran, P.: An Equational Approach to Theorem Proving in First-Order Predicate Calculus. 84CRD296 General Electric Corp. R&ampD Report, Schenectady, NY (1984). Also in: Procs. 9th IJCAI, vol. 2 (1985) 1146\u20131153."},{"key":"35_CR7","first-page":"253","volume-title":"Encyclopedia of Computer Science and Technology","author":"LM Laita","year":"1997","unstructured":"Laita, L.M., de Ledesma, L.: Knowledge-Based Systems Verification. In: Kent, A., Williams, J.G. (eds.): Encyclopedia of Computer Science and Technology. Marcel Dekker, New York Basel Hong Kong (1997) 253\u2013280."},{"key":"35_CR8","volume-title":"Bolean Algebra and Switching Circuits","author":"E Mendelson","year":"1970","unstructured":"Mendelson, E.: Bolean Algebra and Switching Circuits. McGraw-Hill, New York (1970)."},{"key":"35_CR9","first-page":"65","volume":"14","author":"E Roanes-Lozano","year":"1995","unstructured":"Roanes-Lozano, E., Laita, L.M., Roanes-Macias, E.: Maple V in A.I.: The Boolean Algebra Associated to a KBS. Comp. Alg. Nederland Nieuwsbrief 14 (1995) 65\u201370.","journal-title":"Comp. Alg. Nederland Nieuwsbrief"},{"key":"35_CR10","first-page":"277","volume-title":"Procs. ISAAC 1997","author":"E Roanes-Lozano","year":"1999","unstructured":"Roanes-Lozano, E.: Introducing Propositional Multi-Valued Logics with the Help of a CAS. In: Gilbert, R.P., Kajiwara, J., Xu, Y.S. (eds.): Recent Developments in Complex Analysis and Computer Algebra. Procs. ISAAC 1997. Kluwer Academic Publishers, Dordrecht Boston London (1999) 277\u2013290."},{"key":"35_CR11","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/S0378-4754(97)00088-8","volume":"45\/1-2","author":"E Roanes-Lozano","year":"1998","unstructured":"Roanes-Lozano, E., Laita, L.M., Roanes-Macias, E.: A Polynomial Model for Multivalued Logics with a Touch of Algebraic Geometry and Computer Algebra. Math. Compo Simul. 45\/1-2 (1998) 83\u201399.","journal-title":"Math. Compo Simul."},{"key":"35_CR12","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1007\/978-3-642-60218-4_29","volume-title":"Computer Algebra in Scientific Computing. Procs. CASC\u201999","author":"E Roanes-Lozano","year":"1999","unstructured":"Roanes-Lozano, E., Roanes-Macias, 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. Procs. CASC\u201999. Springer-Verlag, Berlin Heidelberg (1999) 349\u2013363."},{"key":"35_CR13","first-page":"41","volume":"4","author":"E Roanes-Mac\u00edas","year":"1984-5","unstructured":"Roanes-Mac\u00edas, E.: Ret\u00edculos en la M\u00e1tematica Elemental. Bol. Soc. Puig Adam 4 (1984-5) 41\u201348.","journal-title":"Bol. Soc. Puig Adam"},{"key":"35_CR14","volume-title":"Logics for Artificial Intelligence","author":"R Turner","year":"1984","unstructured":"Turner, R.: Logics for Artificial Intelligence. Ellis Horwood, Chichester (1984)."}],"container-title":["Computer Algebra in Scientific Computing CASC 2001"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-56666-0_35","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,31]],"date-time":"2019-03-31T19:28:53Z","timestamp":1554060533000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-56666-0_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783642626845","9783642566660"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-56666-0_35","relation":{},"subject":[],"published":{"date-parts":[[2001]]}}}