Verification of Knowledge Bases: a Unifying Logical View.

Alon Y. Levy Marie-Christine Rousset

Published in: EUROVAV (1997)

Keyphrases

knowledge base
description logics
knowledge based systems
model checking
multiple views
expert systems
viewpoint
neural network
face recognition
representing knowledge
databases
reasoning process
formal verification
verification method
logical operations