Cybersecurity and AI Context-Aware Embeddings of System Events via LLMs Towards Fine-Grained Threat Detection Logic-Driven Cybersecurity: A Novel Framework for System Log Anomaly Detection using Answer Set Programming The strange case of XOR-CNF formulas: SAT Obfuscation and more