On Input Indistinguishable Proof Systems.

Rafail Ostrovsky Giuseppe Persiano Ivan Visconti

Published in: ICALP (1) (2014)

Keyphrases

distributed systems
artificial intelligence
knowledge based systems
control system
digital libraries
text input
theorem proving
learning systems
building blocks
expert systems
databases
multi agent systems
video sequences
image segmentation
website
information retrieval
neural network