Challenging epistemology: Interactive proofs and zero knowledge.
Justin BledinPublished in: J. Appl. Log. (2008)
Keyphrases
- domain knowledge
- knowledge extraction
- knowledge base
- data sets
- human experts
- neural network
- theorem proving
- user friendly
- background knowledge
- virtual reality
- learning systems
- knowledge management
- expert systems
- user interaction
- domain experts
- knowledge acquisition
- knowledge discovery
- knowledge representation
- computer vision