Structural and Formative Validation of Knowledge Bases.

Maarten van Someren

Published in: EUROVAV (1991)

Keyphrases

knowledge base
structural information
description logics
knowledge acquisition
knowledge based systems
databases
structural analysis
semantic network
expert systems
logic programming
background knowledge
model validation
meta knowledge
production rules
knowledge sources
first order logic
neural network