Knowledge Representation & Reasoning Research Faculty | GradNova