His research work is mainly on various aspects of Knowledge Representation and Reasoning (KR) of AI including language, semantics, algorithm, systems and applications. His recent work is focusing on AI (KR) based integration of the teaching and learning of STEM subjects and Computing. His research has been published in premier AI venues including AI journal and AAAI conference and supported by NSF.