Distinction-based and verification-assisted knowledge modeling.
Philippe MichelinMarc FrappierPublished in: RELAW (2010)
Keyphrases
- knowledge representation
- domain knowledge
- artificial intelligence
- knowledge base
- formal models
- model checking
- higher level
- knowledge based systems
- digital libraries
- website
- image sequences
- knowledge management
- machine learning
- databases
- data sets
- raw data
- knowledge sources
- knowledge transfer
- face verification
- database