Detection of potential inconsistencies in knowledge bases
- 1 February 1992
- journal article
- Published by Wiley in International Journal of Intelligent Systems
- Vol. 7 (2) , 81-96
- https://doi.org/10.1002/int.4550070202
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Modeling in the design of a KBS validation systemInternational Journal of Intelligent Systems, 1991
- Necessity Measures and the Resolution PrincipleIEEE Transactions on Systems, Man, and Cybernetics, 1987
- Summarizing and propagating uncertain information with triangular normsInternational Journal of Approximate Reasoning, 1987
- Using definite clauses and integrity constraints as the basis for a theory formation approach to diagnostic reasoningPublished by Springer Nature ,1986
- Causes for events: Their computation and applicationsPublished by Springer Nature ,1986
- Contributions to the Theory of Logic ProgrammingJournal of the ACM, 1982