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 | 13 | 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 | 8 | 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 |