Leslie Kaelbling - Symbolic Reasoning in AI (via searchlore.ai)