Finite State Verifiers II: Zero Knowledge.

Cynthia Dwork Larry J. Stockmeyer

Published in: J. ACM (1992)

Keyphrases

finite state
markov chain
markov decision processes
model checking
information retrieval
knowledge representation
vector quantizer
transition systems
data mining
knowledge base
multistage
belief revision