Keyphrases
- intrusion detection
- network security
- belief change
- advanced research projects agency
- cyber defense
- defense mechanisms
- decision making
- epistemic logic
- logic program updates
- artificial intelligence
- computer virus
- computation tree logic
- anti aliasing
- belief revision
- theoretical framework
- face recognition
- computer vision
- search engine