Neuro-Symbolic AI for Military Applications