Geometric Interpretation of Strong Inconsistency in Knowledge Based Systems-Reference-Cited by-同舟云学术

Geometric Interpretation of Strong Inconsistency in Knowledge Based Systems

Published:1999 Issue: Volume: Page:349-363
ISSN:
Container-title:Computer Algebra in Scientific Computing CASC’99
language:
Short-container-title:

Author:

Roanes-Lozano E.,Roanes-Macías E.,Laita L. M.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-60218-4_29.pdf

Reference19 articles.

1. V. Adams, P. Loustanau: An Introduction to Gröbner Bases. Graduate Studies in Mathematics 3, American Mathematical Society, 1994.

2. J.A. Alonso, E. Briales: Lógicas Polivalentes y Bases de Gröbner In: C. Martin (editor): Actas del V Congreso de Lenguajes Naturales y Lenguajes Formales, 1989 (pages 307–315).

3. J.A. Alonso: Métodos Algebraicos de Razonamiento Automático (Ph.D. Thesis). Pub. Univ. de Sevilla, 1988.

4. B. Buchberger: Applications of Gröbner 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.

5. 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–194).

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. The Logics’ Explorer: a Maple package for exploring finite many-valued propositional logics;Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales. Serie A. Matematicas;2011-05-31

2. An algebraic approach to rule based expert systems;Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales. Serie A. Matematicas;2010-03

3. A Method of Logic Deduction and Verification in KBS Using Positive Integers;Computer Algebra in Scientific Computing CASC 2001;2001

4. A Groebner Bases Based Many-Valued Modal Logic Implementation in Maple;Lecture Notes in Computer Science