{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:42:09Z","timestamp":1725666129274},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540660477"},{"type":"electronic","value":"9783642602184"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/978-3-642-60218-4_29","type":"book-chapter","created":{"date-parts":[[2012,2,29]],"date-time":"2012-02-29T12:22:09Z","timestamp":1330518129000},"page":"349-363","source":"Crossref","is-referenced-by-count":4,"title":["Geometric Interpretation of Strong Inconsistency in Knowledge Based Systems"],"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":"29_CR1","volume-title":"Graduate Studies in Mathematics 3","author":"V Adams","year":"1994","unstructured":"V. Adams, P. Loustanau: An Introduction to Gr\u00f6bner Bases. Graduate Studies in Mathematics 3, American Mathematical Society, 1994."},{"key":"29_CR2","first-page":"307","volume-title":"Actas del V Congreso de Lenguajes Naturales y Lenguajes Formales","author":"JA Alonso","year":"1989","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, 1989 (pages 307\u2013315)."},{"key":"29_CR3","volume-title":"M\u00e9todos Algebraicos de Razonamiento Autom\u00e1tico","author":"JA Alonso","year":"1988","unstructured":"J.A. Alonso: M\u00e9todos Algebraicos de Razonamiento Autom\u00e1tico (Ph.D. Thesis). Pub. Univ. de Sevilla, 1988."},{"key":"29_CR4","volume-title":"Mathematical Aspects of Scientific Software. IMA Volumes in Math, and its Applications, vol. 14","author":"B Buchberger","year":"1988","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."},{"key":"29_CR5","first-page":"181","volume-title":"Multi-valued Logic and Grobner Bases with Applications to Modal Logic. J. Symbolic Computation 11","author":"J Chazarain","year":"1991","unstructured":"J. Chazarain, A. Riscos and J.A. Alonso, E. Briales: Multi-valued Logic and Grobner Bases with Applications to Modal Logic. J. Symbolic Computation 11, 1991 (pages 181\u2013194)."},{"key":"29_CR6","volume-title":"Ideals, Varieties, and Algorithms","author":"D Cox","year":"1991","unstructured":"D. Cox, J. Little, D. O\u2019Shea: Ideals, Varieties, and Algorithms. Springer-Verlag, 1991."},{"key":"29_CR7","first-page":"255","volume-title":"Artificial Intelligence, vol. 25","author":"J Hsiang","year":"1985","unstructured":"J. Hsiang: Refutational Theorem Proving using Term-Rewriting Systems. Artificial Intelligence, vol. 25, 1985 (pages 255\u2013300)."},{"key":"29_CR8","first-page":"1146","volume-title":"84CRD296 General Electric Corporate Research and Development Report","author":"D Kapur","year":"1985","unstructured":"D. Kapur, P. Narendran: An Equational Approach to Theorem Proving in First- Order Predicate Calculus. In: 84CRD296 General Electric Corporate Research and Development Report, Schenectady, NY, March 1984, rev. Dec. 1984. Also in: Proceedings of the 9th IJCAI, vol. 2, 1985 (pages 1146\u20131153)."},{"key":"29_CR9","first-page":"253","volume-title":"Encyclopedia of Computer Science and Technology","author":"LM Laita","year":"1997","unstructured":"L.M. Laita, L. de Ledesma: Knowledge-Based Systems Verification. In: Kent, J.G. Williams (editors): Encyclopedia of Computer Science and Technology. Marcel Dekker, 1997 (pages 253\u2013280)."},{"key":"29_CR10","first-page":"255","volume-title":"Effective Calculus","author":"LM Laita","year":"1995","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 AISMC-2. LNCS (num. 958). Springer-Verlag, 1995 (pages 255\u2013263)."},{"key":"29_CR11","first-page":"5","volume-title":"A Computer Algebraic Method for Verification and Deduction in KBSs: Theory and Implementation","author":"LM Laita","year":"1996","unstructured":"L.M. Laita, E. Roanes L.: A Computer Algebraic Method for Verification and Deduction in KBSs: Theory and Implementation. In: Proceedings of the 12th ECAI. Budapest Univ., 1996 (pages 5\u201310)."},{"key":"29_CR12","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/BFb0055912","volume-title":"Artificial Intelligence and Symbolic Computation. Int. Conf. AISC\u201998. LNAI (num. 1476)","author":"LM Laita","year":"1998","unstructured":"L.M. Laita, E. Roanes L., V. Maojo: Inference and Verification in Medical Appropriateness Criteria Using Gr\u00f6bner Bases. In: J. Calmet, J. Plaza (editors): Artificial Intelligence and Symbolic Computation. Int. Conf. AISC\u201998. LNAI (num. 1476). Springer-Verlag, 1998 (pages 183\u2013194)."},{"key":"29_CR13","unstructured":"L.M. Laita, E. Roanes L., V. Maojo, A. D\u00edaz: A Logic and Computer Algebra Approach to a Decision-making Problem in Medicine. Revista de la Real Academia de Ciencias. To appear."},{"key":"29_CR14","unstructured":"L.M. Laita, E. Roanes L., L. de Ledesma, J.A. Alonso: A Computer Algebra Approach to Verification and Deduction in Many-Valued Knowledge Systems. Soft-Computing. To appear."},{"key":"29_CR15","first-page":"65","volume-title":"The Boolean Algebra Associated to a KBS. CAN Nieuwsbrief 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, April 1995 (pages 65\u201370)."},{"key":"29_CR16","volume-title":"Introducing Propositional Multi-Valued Logics with the Help of a CAS","author":"E Roanes L","year":"1997","unstructured":"E. Roanes L.: Introducing Propositional Multi-Valued Logics with the Help of a CAS. Proceedings of the Int. Soc. for Analysis, Appl. and Computing (ISAAC) Conf. 1997. Kluwer. To appear."},{"key":"29_CR17","first-page":"83","volume-title":"Special Issue \u201cNon-Standard Applications of CA\u201d, in Mathematics and Computers in Simulation","author":"L Roanes E","year":"1998","unstructured":"E Roanes L., L.M. Laita, E. Roanes M.: A Polynomial Model for Multivalued Logics with a Touch of Algebraic Geometry and Computer Algebra. Special Issue \u201cNon-Standard Applications of CA\u201d, in Mathematics and Computers in Simulation, 45\/1\u20132 (1998), 83\u201399."},{"key":"29_CR18","doi-asserted-by":"publisher","first-page":"687","DOI":"10.1007\/3-540-64574-8_455","volume-title":"Tasks an Methods in Applied Artificial Intelligence. IEA-98-AIE. LNAI (num. 1416)","author":"E Roanes L","year":"1998","unstructured":"E. Roanes L., L.M. Laita, E. Roanes M.: An Application of an Al Methodology to Railway Interlocking Systems Using Computer Algebra. In: A. P. del Pobil, J. Mira, M. Ali (editors): Tasks an Methods in Applied Artificial Intelligence. IEA-98-AIE. LNAI (num. 1416). Springer-Verlag, 1998 (pages 687\u2013696)."},{"key":"29_CR19","volume-title":"Logics for Artificial Intelligence","author":"R Turner","year":"1984","unstructured":"R. Turner: Logics for Artificial Intelligence. Ellis Horwood, 1984."}],"container-title":["Computer Algebra in Scientific Computing CASC\u201999"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-60218-4_29.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,6]],"date-time":"2021-05-06T07:33:43Z","timestamp":1620286423000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-60218-4_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540660477","9783642602184"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-60218-4_29","relation":{},"subject":[],"published":{"date-parts":[[1999]]}}}