The Knowledge Complexity of Interactive Proof-Systems (Extended Abstract)
Shafi GoldwasserSilvio MicaliCharles RackoffPublished in: STOC (1985)
Keyphrases
- extended abstract
- expert systems
- learning systems
- interactive systems
- neural network
- knowledge acquisition
- knowledge base
- knowledge based systems
- domain knowledge
- management system
- global knowledge
- computational cost
- intelligent systems
- computer graphics
- data mining techniques
- computer systems
- knowledge representation
- learning algorithm
- data mining