| Improving the smartness of cloud management via machine learning based workload prediction Y Yu, V Jindal, F Bastani, F Li, IL Yen 2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC …, 2018 | 44 | 2018 |
| 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 | 17 | 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 | 13 | 2022 |
| Discasp: A graph-based asp system for finding relevant consistent concepts with applications to conversational socialbots F Li, H Wang, K Basu, E Salazar, G Gupta International Conference on Logic Programming (Technical Communications …, 2021 | 13 | 2021 |
| 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 | 10 | 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 | 9 | 2021 |
| Toward semi-automated role mapping for IoT systems in smart cities F Li, H Wang, L Diao, IL Yen, F Bastani 2019 IEEE International Smart Cities Conference (ISC2), 205-211, 2019 | 5 | 2019 |
| 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 |
| Formalizing Informal Logic and Natural Language Deductivism. G Gupta, S Varnasi, K Basu, Z Chen, E Salazar, F Shakerin, S Erbatur, ... ICLP Workshops, 2021 | 4 | 2021 |
| Tutorial: Automating Commonsense Reasoning. G Gupta, E Salazar, SC Varanasi, K Basu, J Arias, F Shakerin, F Li, ... ICLP Workshops, 2022 | 2 | 2022 |
| A Feasible and Terrain-Insensitive Approach for Analyzing Power Wheelchair Users' Mobility F Li, M Ong, YD Zhao, G Qian, J Fu 2017 IEEE 29th International Conference on Tools with Artificial …, 2017 | 2 | 2017 |
| Automating Common Sense Reasoning G Gupta, E Salazar, SC Varanasi, K Basu, F Shakerin, F Li, H Wang, ... | 2 | |
| Graph based answer set programming solver systems F Li International Conference on Logic Programming (Technical Communications …, 2021 | 1 | 2021 |
| 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 |
| A Novel Approach for Assessing Power Wheelchair Users’ Mobility by Using Curve Fitting J Fu, F Li, M Ong, T Cook, G Qian, YD Zhao Digital Human Modeling. Applications in Health, Safety, Ergonomics, and Risk …, 2018 | 1 | 2018 |
| Exploring Answer Set Programming for Provenance Graph-Based Cyber Threat Detection: A Novel Approach F Li, F Zuo, G Gupta The 27th International Symposium on Practical Aspects of Declarative …, 2025 | | 2025 |
| Randomness: The Hidden Force Behind AI's Success F Li https://a.co/d/aHG24T5, 2024 | | 2024 |
| The Declarative Mind: Programming Without How F Li https://a.co/d/hF20oWS, 2024 | | 2024 |
| Graph-based Interpretation of Normal Logic Programs F Li, E Salazar, G Gupta arXiv preprint arXiv:2111.13249, 2021 | | 2021 |
| grASP: A Graph Based ASP-Solver and Justification System F Li, H Wang, G Gupta arXiv preprint arXiv:2104.01190, 2021 | | 2021 |
Gopal GuptaProfessor of Computer Science, The University of Texas at Dallasایمیل تأیید شده در utdallas.edu