A Little Knowledge Goes a Long Way: Knowledge-Based Derivations and Correctness Proofs for a Family of Protocols.
Joseph Y. HalpernLenore D. ZuckPublished in: J. ACM (1992)
Keyphrases
- domain knowledge
- knowledge representation
- expert systems
- knowledge driven
- knowledge base
- prior knowledge
- knowledge acquisition
- knowledge based systems
- information systems
- knowledge extraction
- knowledge sharing
- knowledge discovery
- knowledge intensive
- business processes
- knowledge management
- neural network
- search engine
- artificial intelligence