Login / Signup
A Modeling Approach to KBS Verification.
Jan Vanthienen
Ann Aerts
Christophe Mues
Geert Wets
Published in:
EUROVAV (1995)
Keyphrases
</>
knowledge based systems
knowledge base
neural network
medical images
signature verification
databases
real world
artificial intelligence
knowledge representation
model checking
formal verification