| 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 | 40 | 2021 |
| 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 | 18 | 2021 |
| Square: Semantics-based question answering and reasoning engine K Basu, SC Varanasi, F Shakerin, G Gupta arXiv preprint arXiv:2009.10239, 2020 | 15 | 2020 |
| 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 | 14 | 2022 |
| Formal methods in requirements engineering: Survey and future directions R Lorch, B Meng, K Siu, A Moitra, M Durling, S Paul, SC Varanasi, ... Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal …, 2024 | 12 | 2024 |
| 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, ... Proceedings of 2nd Workshop on Goal-directed Execution of Answer Set …, 2022 | 12 | 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 | 12 | 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 | 11 | 2023 |
| 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 | 6 | 2023 |
| 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 | 5 | 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 | 5 | 2021 |
| Automating commonsense reasoning with asp and s (casp)*(2022) G Gupta, E Salazar, SC Varanasi, K Basu, J Arias, F Shakerin, R Min, F Li, ... URL: https://api. semanticscholar. org/CorpusID 251793743, 0 | 5 | |
| Early validation of high-level system requirements with event calculus and answer set programming O Vašíček, J Arias, J Fiedor, G Gupta, B Hall, B Křena, B Larson, ... Theory and Practice of Logic Programming 24 (4), 844-862, 2024 | 4 | 2024 |
| Towards the Certification of Neural Networks using Overarching Properties: An Avionics Case Study S Paul, D Prince, N Iyer, M Durling, N Visnevski, B Meng, SC Varanasi, ... 2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC), 1-10, 2023 | 4 | 2023 |
| 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 |
| Tutorial: Automating Commonsense Reasoning. G Gupta, E Salazar, SC Varanasi, K Basu, J Arias, F Shakerin, F Li, ... ICLP Workshops, 2022 | 4 | 2022 |
| 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 |
| Continuous safety & security evidence generation, curation and assurance case construction using the evidential tool bus N Shankar, M Kim, H Sanchez, H Rueß, T Beyene, R Bouchekir, D Bhatt, ... 2024 AIAA DATC/IEEE 43rd Digital Avionics Systems Conference (DASC), 1-10, 2024 | 3 | 2024 |
| Verification and Validation of Model-Based Systems Requirements and Design Leveraging Formal Methods to Increase Development Assurance C McMillan, L Lee, D Russell, D Prince, N Hasanovic, M Durling, K Siu, ... SAE International Journal of Advances and Current Practices in Mobility 6 …, 2024 | 3 | 2024 |
| Automating common sense reasoning G Gupta, E Salazar, SC Varanasi, K Basu, F Shakerin, F Li, H Wang, ... Tutorial talk, 2020 | 3 | 2020 |
