The Knowledge Complexity of Interactive Proof Systems.
Shafi GoldwasserSilvio MicaliCharles RackoffPublished in: SIAM J. Comput. (1989)
Keyphrases
- knowledge based systems
- management system
- expert systems
- prior knowledge
- domain knowledge
- knowledge base
- knowledge extraction
- learning systems
- interactive systems
- knowledge sharing
- complex systems
- intelligent systems
- knowledge management
- building blocks
- artificial intelligence
- distributed systems
- human users
- worst case
- knowledge representation
- linear logic
- logical rules