Follow
Joaquín Arias
Title
Cited by
Cited by
Year
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
1452018
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
662020
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
352021
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
302022
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
212021
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
202024
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
162020
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, ...
152021
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
142023
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
132022
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
112022
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
102022
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
102019
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
92022
s (CASP) for SWI-prolog
J Wielemaker, J Arias, G Gupta
2021 International Conference on Logic Programming Workshops, ICLP Workshops …, 2021
92021
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
92016
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 32 (4), 1141-1164, 2024
82024
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
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
62023
Automating semantic analysis of system assurance cases using goal-directed ASP
A Murugesan, I Wong, J Arias, R Stroud, S Varadarajan, E Salazar, ...
Theory and Practice of Logic Programming 24 (4), 805-824, 2024
52024
The system can't perform the operation now. Try again later.
Articles 1–20