Works on analogical and qualitative reasoning, NLU, and cognitive architectures. Emphasizes neuro-symbolic methods for interpretable learning, high-level vision for scene understanding, and knowledge autonomy and normative reasoning in persistent software agents.