| Knowledge-driven natural language understanding of english text and its applications K Basu, SC Varanasi, F Shakerin, J Arias, G Gupta Proceedings of the AAAI Conference on Artificial Intelligence 35 (14), 12554 …, 2021 | 30 | 2021 |
| Square: Semantics-based question answering and reasoning engine K Basu, SC Varanasi, F Shakerin, G Gupta arXiv preprint arXiv:2009.10239, 2020 | 14 | 2020 |
| Knowledge-assisted reasoning of model-augmented system requirements with event calculus and goal-directed answer set programming B Hall, SC Varanasi, J Fiedor, J Arias, K Basu, F Li, D Bhatt, K Driscoll, ... arXiv preprint arXiv:2109.04634, 2021 | 11 | 2021 |
| Modeling and verification of real-time systems with the event calculus and s (CASP) SC Varanasi, J Arias, E Salazar, F Li, K Basu, G Gupta International Symposium on Practical Aspects of Declarative Languages, 181-190, 2022 | 7 | 2022 |
| Automating common sense reasoning with ASP and s (CASP) G Gupta, E Salazar, SC Varanasi, K Basu, J Arias, F Shakerin, R Min, F Li, ... Technical report, 2022 | 7 | 2022 |
| CASPR: a commonsense reasoning-based conversational Socialbot K Basu, H Wang, N Dominguez, X Li, F Li, SC Varanasi, G Gupta arXiv preprint arXiv:2110.05387, 2021 | 7 | 2021 |
| Prolog: past, present, and future G Gupta, E Salazar, F Shakerin, J Arias, SC Varanasi, K Basu, H Wang, ... Prolog: The Next 50 Years, 48-61, 2023 | 4 | 2023 |
| Synthesizing imperative code from answer set programming specifications SC Varanasi, E Salazar, N Mittal, G Gupta International Symposium on Logic-Based Program Synthesis and Transformation …, 2019 | 4 | 2019 |
| Logic-based explainable and incremental machine learning G Gupta, H Wang, K Basu, F Shakerin, E Salazar, SC Varanasi, ... Prolog: The Next 50 Years, 346-358, 2023 | 3 | 2023 |
| Generating concurrent programs from sequential data structure knowledge using answer set programming SC Varanasi, N Mittal, G Gupta arXiv preprint arXiv:2109.08298, 2021 | 3 | 2021 |
| Jury-trial story construction and analysis using goal-directed answer set programming Z Xu, J Arias, E Salazar, Z Chen, SC Varanasi, K Basu, G Gupta International Symposium on Practical Aspects of Declarative Languages, 261-278, 2023 | 2 | 2023 |
| Tutorial: Automating Commonsense Reasoning. G Gupta, E Salazar, SC Varanasi, K Basu, J Arias, F Shakerin, F Li, ... ICLP Workshops, 2022 | 2 | 2022 |
| Locksynth SC Varanasi | 2 | 2021 |
| Approximation and heuristics for community detection J Yuan, W Wu, SC Varanasi Handbook of Approximation Algorithms and Metaheuristics, 761-769, 2018 | 2 | 2018 |
| Automating Common Sense Reasoning G Gupta, E Salazar, SC Varanasi, K Basu, F Shakerin, F Li, H Wang, ... | 2 | |
| Automated DO-178C Compliance Summary through Evidence Curation S Paul, C Alexander, M Durling, K Siu, D Prince, B Meng, SC Varanasi, ... 2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC), 1-10, 2023 | 1 | 2023 |
| Automating UAV flight readiness approval using goal-directed answer set programming SC Varanasi, B Meng, C Alexander, S Borgyos, B Hall arXiv preprint arXiv:2208.12199, 2022 | 1 | 2022 |
| Unmanned Aerial Vehicle Compliance Checking using Goal-Directed Answer Set Programming. SC Varanasi, B Meng, CC Alexander, S Borgyos, B Hall ICLP Workshops, 2022 | 1 | 2022 |
| Modelling and Verification of Timed Systems with the Event Calculus and s (CASP). SC Varanasi, B Hall, J Arias, E Salazar, F Li, K Basu, K Driscoll, G Gupta ICLP Workshops, 2021 | 1 | 2021 |
| Pointer data structure synthesis from answer set programming specifications SC Varanasi, N Mittal, G Gupta arXiv preprint arXiv:2006.07440, 2020 | 1 | 2020 |
