TY  - RPRT
TI  - Logic-Driven Cybersecurity: A Novel Framework for System Log Anomaly Detection using Answer Set Programming
AU  - Fang Li
AU  - Fei Zuo
AU  - Gopal Gupta
PY  - 2025
UR  - https://arxiv.org/abs/2512.04908
ID  - 2512.04908
ER  -