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
1192018
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
542020
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
302021
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
212022
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
192021
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, ...
132021
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
102024
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
92022
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
92019
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
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
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
72022
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
72022
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
62023
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
62022
s (CASP) for SWI-prolog
J Wielemaker, J Arias, G Gupta
2021 International Conference on Logic Programming Workshops, ICLP Workshops …, 2021
62021
Tabled CLP for Reasoning over Stream Data
J Arias
Technical Communications of the 32nd International Conference on Logic …, 2016
52016
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
42023
Advanced Evaluation Techniques for (Non)-Monotonic Reasoning Using Rules with Constraints
J Arias
ETSI_Informatica, 2020
42020
The system can't perform the operation now. Try again later.
Articles 1–20