Computationally Convincing Proofs of Knowledge.
Gilles BrassardClaude CrépeauSophie LaplanteChristian LégerPublished in: STACS (1991)
Keyphrases
- knowledge extraction
- knowledge structures
- real time
- knowledge transfer
- knowledge base
- knowledge sharing
- data mining techniques
- knowledge management
- databases
- expert knowledge
- knowledge acquisition
- domain knowledge
- information systems
- prior knowledge
- information technology
- knowledge representation
- knowledge discovery
- expert systems
- digital libraries
- high level
- learning systems
- case study
- genetic algorithm
- machine learning
- data mining
- formal proofs