Designing hybrid reasoning architectures that combine symbolic inference, search, and learning for complex decision making.