ECAI-96 workshop on validation, verification and refinement of KBS: A short report.
Marie-Christine RoussetSusan CrawPublished in: Knowl. Eng. Rev. (1997)
Keyphrases
- knowledge based systems
- knowledge base
- knowledge representation
- knowledge acquisition
- model checking
- european conference on artificial intelligence
- machine learning
- neural network
- signature verification
- formal methods
- face verification
- database
- functional verification
- model validation
- formal verification
- query refinement
- formal analysis
- search engine
- data sets
- real world
- multi agent systems
- natural language
- metadata