Seventh Workshop on the Validation and Verification of Knowledge-Based Systems.
Robert PlantPublished in: AI Mag. (1995)
Keyphrases
- knowledge based systems
- formal methods
- expert systems
- knowledge acquisition
- knowledge base
- model checking
- knowledge engineering
- international conference
- rule based systems
- production rules
- knowledge structures
- knowledge sources
- artificial intelligence
- international workshop
- knowledge representation
- inference engine
- medical knowledge
- civil engineering
- blackboard architecture
- selected papers
- deep knowledge
- knowledge discovery and data mining
- medical images
- domain specific
- fuzzy logic
- domain knowledge
- machine learning
- invited talk
- knowledge representation scheme