Characterizing Deterministic-Prover Zero Knowledge.

Nir Bitansky Arka Rai Choudhuri

Published in: TCC (1) (2020)

Keyphrases

knowledge acquisition
knowledge base
expert systems
prior knowledge
knowledge representation
domain experts
information retrieval
case study
information technology
case based reasoning
knowledge management
higher level
learning systems
semantic information
background knowledge
theorem prover