Crisis and Risk Management Logic-Driven Cybersecurity: A Novel Framework for System Log Anomaly Detection using Answer Set Programming