Doubly adaptive zero-knowledge proofs.
Vincenzo BottaIvan ViscontiPublished in: Theor. Comput. Sci. (2023)
Keyphrases
- knowledge acquisition
- domain experts
- prior knowledge
- domain knowledge
- databases
- knowledge extraction
- decision making
- database
- higher level
- knowledge discovery
- mathematical knowledge
- theorem proving
- raw data
- knowledge sharing
- semantic information
- learning systems
- data mining techniques
- knowledge management
- knowledge representation
- expert systems
- reinforcement learning
- multiscale
- knowledge base
- learning algorithm
- machine learning
- real time