Constraint Answer Set Programming without Grounding J Arias, M Carro, E Salazar, K Marple, G Gupta Theory and Practice of Logic Programming 18 (3-4), 337--354, 2018 | 129 | 2018 |
Justifications for Goal-Directed Constraint Answer Set Programming J Arias, M Carro, Z Chen, G Gupta Proceedings 36th International Conference on Logic Programming (Technical …, 2020 | 59 | 2020 |
Knowledge-driven Natural Language Understanding of English Text and its Applications K Basu, S Varanasi, F Shakerin, J Arias, G Gupta Proceedings of the AAAI Conference on Artificial Intelligence 35 (14), 12554 …, 2021 | 32 | 2021 |
Modeling and reasoning in event calculus using goal-directed constraint answer set programming J Arias, M Carro, Z Chen, G Gupta Theory and Practice of Logic Programming 22 (1), 51-80, 2022 | 24 | 2022 |
Modeling administrative discretion using goal-directed answer set programming J Arias, M Moreno-Rebato, JA Rodriguez-García, S Ossowski Advances in Artificial Intelligence: 19th Conference of the Spanish …, 2021 | 21 | 2021 |
Modeling and Reasoning in Event Calculus Using Goal-Directed Constraint Answer Set Programming⋆ J Arias, Z Chen, M Carro, G Gupta Logic-Based Program Synthesis and Transformation: 29th International …, 2020 | 16 | 2020 |
Automated interactive domain-specific conversational agents that understand human dialogs Y Zeng, A Rajasekharan, P Padalkar, K Basu, J Arias, G Gupta International Symposium on Practical Aspects of Declarative Languages, 204-222, 2024 | 14 | 2024 |
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, ... | 13 | 2021 |
Semantic Analysis of Assurance Cases using s (CASP) A Murugesan, IH Wong, R Stroud, J Arias, E Salazar, G Gupta, ... Goal Directed Execution of Answer Set Programs (GDE) Workshop in Int’l Conf …, 2023 | 12 | 2023 |
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 Practical Aspects of Declarative Languages: 24th International Symposium …, 2022 | 10 | 2022 |
Description, implementation, and evaluation of a generic design for tabled CLP J Arias, M Carro Theory and Practice of Logic Programming 19 (3), 412-448, 2019 | 10 | 2019 |
Building information modeling using constraint logic programming J Arias, S Törmä, M Carro, G Gupta Theory and Practice of Logic Programming 22 (5), 723-738, 2022 | 9 | 2022 |
Description and evaluation of a generic design to integrate CLP and tabled execution J Arias, M Carro Proceedings of the 18th International Symposium on Principles and Practice …, 2016 | 9 | 2016 |
Automating Commonsense Reasoning with ASP and s (CASP) G Gupta, E Salazar, SC Varanasi, K Basu, J Arias, F Shakerin, R Min, F Li, ... ICLP Workshops 2022 3193, 1--26, 2022 | 8 | 2022 |
An s (CASP) In-Browser Playground based on Ciao Prolog G García-Pradales, JF Morales, M Hermenegildo, J Arias, M Carro ICLP Workshops 2022 3193, 1--9, 2022 | 8 | 2022 |
Constraint Answer Set Programming without Grounding and its Applications J Arias, M Carro, Z Chen, G Gupta Proceeding of the 3rd International Workshop on the Resurgence of Datalog in …, 2019 | 8* | 2019 |
s (CASP) for SWI-prolog J Wielemaker, J Arias, G Gupta 2021 International Conference on Logic Programming Workshops, ICLP Workshops …, 2021 | 6 | 2021 |
Automated legal reasoning with discretion to act using s (LAW) J Arias, M Moreno-Rebato, JA Rodriguez-García, S Ossowski Artificial Intelligence and Law, 1-24, 2023 | 5 | 2023 |
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 Practical Aspects of Declarative Languages: 25th International Symposium …, 2023 | 5 | 2023 |
Tabled CLP for Reasoning over Stream Data J Arias Technical Communications of the 32nd International Conference on Logic …, 2016 | 5 | 2016 |