Automated Reasoning over Provenance-Aware Communication Network Knowledge in Support of Cyber-Situational Awareness.
Leslie F. SikosMarkus StumptnerWolfgang MayerCatherine HowardShaun VoigtDean PhilpPublished in: KSEM (2) (2018)
Keyphrases
- automated reasoning
- communication networks
- situational awareness
- knowledge representation
- smart grid
- cyber security
- knowledge management
- wireless communication
- theorem proving
- decision support
- real time
- machine learning
- theorem prover
- distributed databases
- computer networks
- expert systems
- knowledge base
- power system
- data mining techniques
- database systems
- metadata
- smart card
- first order logic
- probabilistic reasoning
- information systems
- artificial intelligence
- data mining
- databases