Leslie Kaelbling - Philosophy Meets Computer Science (via searchlore.ai)