Composition of Zero-Knowledge Proofs with Efficient Provers.
Eleanor BirrellSalil P. VadhanPublished in: TCC (2010)
Keyphrases
- theorem prover
- theorem proving
- knowledge base
- knowledge extraction
- knowledge management
- prior knowledge
- knowledge representation
- data mining
- knowledge transfer
- domain knowledge
- computationally expensive
- knowledge level
- data sets
- inference rules
- background knowledge
- knowledge based systems
- learning environment
- database systems
- case study
- machine learning
- real world