Complex Knowledge Base Verification Using Matrices.

Nancy A. Botten

Published in: IEA/AIE (1992)

Keyphrases

knowledge base
complex data
learning algorithm
expert systems
higher level
model checking
high level
image sequences
description logics
pairwise comparison
database
petri net
wordnet
knowledge representation
pairwise
case study
decision trees
machine learning
real world