A Situation Calculus based approach to Cognitive Modelling for Responding to IoT Cyberattacks | IEEE Conference Publication | IEEE Xplore