Subsumption anomalies in hybrid knowledge bases

Authors:
Sunro Lee;Robert M. O'Keefe
Affiliations:
-;-
Venue:
International Journal of Expert Systems - Special issue on verification and validation (Part 2)
Year:
1993

Citing 0
Cited 3

Checking the consistency of a hybrid knowledge base system

Knowledge-Based Systems
Verification of knowledge bases based on containment checking

Artificial Intelligence
Detecting redundant production rules

AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract