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 | 36 | 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 | 11 | 2021 |
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 arXiv preprint arXiv:2109.08297, 2021 | 9 | 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 |
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 | 4 | 2019 |
Tutorial: Automating Commonsense Reasoning. G Gupta, E Salazar, SC Varanasi, K Basu, J Arias, F Shakerin, F Li, ... ICLP Workshops, 2022 | 2 | 2022 |
Formalizing Informal Logic and Natural Language Deductivism. G Gupta, S Varnasi, K Basu, Z Chen, E Salazar, F Shakerin, S Erbatur, ... ICLP Workshops, 2021 | 2 | 2021 |
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 arXiv preprint arXiv:2109.08681, 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 |
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 | 1 | 2017 |
Prolog: Past, Present, and Future SC Varanasi, K Basu, H Wang, F Li, S Erbatur, P Padalkar, ... Prolog: The Next 50 Years 13900, 48, 2023 | | 2023 |
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 |
ASP Rendering of Holloway and Wasson’s Primer on Overarching Properties G Gupta, S Varanasi, K Basu, Z Chen, E Salazar, F Shakerin, S Erbatur, ... | | 2020 |
journal homepage: www. elsevier. com/locate/colsurfa PA Aikens, A Al-Bawab, JL Arias, AF Arteaga, JM Aubry, I Bakala, ... | | |