Proofs of Knowledge for Non-monotone Discrete-Log Formulae and Applications.

Emmanuel Bresson Jacques Stern

Published in: ISC (2002)

Keyphrases

domain knowledge
learning systems
knowledge representation
knowledge discovery
knowledge base
prior knowledge
upper bound
machine learning
artificial intelligence
case study
expert systems
higher level
knowledge transfer
knowledge extraction
knowledge management
discrete geometry