Published multiple papers at ICLP'24, including 'Early Validation of High-level System Requirements with Event Calculus and ASP' and 'A Reliable Common-Sense Reasoning Socialbot Built Using LLMs and Goal-Directed ASP'
The 2006 ICLP paper 'Coinductive Logic Programming' received the ICLP 2016 10-Year Test-of-Time Award
Developed and open-sourced several XAI software systems: FOLD-R++ (binary classification), FOLD-RM (multi-category classification), SHAP-FOLD (logic extraction from statistical models), and s(CASP) (constraint-based logic reasoning system)
Preprint published at AAAI 2021: 'Knowledge-driven Natural Language Understanding of English Text and its Applications'
Organized and participated in ICLP'24 (40th International Conference on Logic Programming) and LPNMR'24 (17th International Conference on Logic Programming and Non-Monotonic Reasoning), both held in Dallas in October 2024