Batching Proofs of Knowledge and Its Applications.
Khanh Quoc NguyenVijay VaradharajanYi MuPublished in: DEXA Workshop (1999)
Keyphrases
- domain knowledge
- knowledge base
- real time
- knowledge acquisition
- expert systems
- knowledge representation
- knowledge based systems
- knowledge extraction
- prior knowledge
- knowledge transfer
- scheduling problem
- knowledge management
- higher level
- expert knowledge
- data mining techniques
- theorem proving
- domain ontology
- design process
- knowledge discovery
- machine learning