Divertible and Subliminal-Free Zero-Knowledge Proofs for Languages.
Mike BurmesterYvo DesmedtToshiya ItohKouichi SakuraiHiroki ShizuyaPublished in: J. Cryptol. (1999)
Keyphrases
- knowledge base
- knowledge representation
- computer programs
- theorem proving
- learning systems
- knowledge management
- knowledge discovery
- knowledge acquisition
- knowledge based systems
- expert systems
- knowledge sharing
- knowledge transfer
- databases
- domain knowledge
- data mining techniques
- domain experts
- background knowledge
- inference rules
- case study
- knowledge extraction
- query translation