Multi-Language Zero Knowledge Interactive Proof Systems.
Kaoru KurosawaShigeo TsujiiPublished in: CRYPTO (1990)
Keyphrases
- knowledge based systems
- learning systems
- formal languages
- expert systems
- domain knowledge
- linguistic knowledge
- prior knowledge
- knowledge base
- interactive systems
- knowledge acquisition
- programming language
- data mining techniques
- complex systems
- language learning
- case study
- linear logic
- global knowledge
- cognitive models
- neural network
- rewrite systems
- finite state machines
- computer systems
- collaborative learning
- distributed systems
- knowledge management
- management system