Vladimir Vapnik - Symbolic AI and Logic-Based Systems (via searchlore.ai)