Verifying epistemic protocols under common knowledge.
Yanjing WangLakshmanan KuppusamyJan van EijckPublished in: TARK (2009)
Keyphrases
- domain knowledge
- knowledge base
- knowledge representation
- dynamic epistemic logic
- knowledge extraction
- prior knowledge
- knowledge acquisition
- model checking
- expert systems
- knowledge discovery
- raw data
- knowledge management
- multi party
- ad hoc networks
- knowledge sharing
- theoretical framework
- learning systems
- data sets
- wireless sensor networks
- case study
- website
- artificial intelligence