Super-Perfect Zero-Knowledge Proofs.
Oded GoldreichLiav TeichnerPublished in: Electron. Colloquium Comput. Complex. (2014)
Keyphrases
- artificial intelligence
- knowledge based systems
- expert systems
- domain knowledge
- knowledge acquisition
- knowledge extraction
- knowledge discovery
- knowledge base
- machine learning
- real time
- data structure
- digital libraries
- knowledge sources
- theorem proving
- reinforcement learning
- case study
- information technology
- information retrieval
- theorem prover
- database