Verification and Validation of Knowledge-Based Systems: Report on Two 1997 Events.
Grigoris AntoniouFrank van HarmelenRobert PlantJan VanthienenPublished in: AI Mag. (1998)
Keyphrases
- knowledge based systems
- formal methods
- expert systems
- knowledge acquisition
- knowledge base
- knowledge engineering
- artificial intelligence
- model checking
- rule based systems
- knowledge representation
- knowledge representation scheme
- inference engine
- knowledge structures
- production rules
- knowledge sources
- temporal patterns
- deep knowledge
- knowledge acquisition tools
- temporal reasoning
- medical knowledge
- knowledge engineers
- systems engineering
- civil engineering
- proceedings of the th international conference