Seguir
Joaquín Arias
Título
Citado por
Citado por
Año
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
1572018
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
692020
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
352022
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
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
242024
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
202021
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
182020
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
172023
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, ...
172021
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
142022
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
132022
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
122024
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
112022
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
112019
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
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
72023
Lógica: desde Aristóteles hasta Prolog
J Arias
Servicio de Publicaciones de la Universidad Rey Juan Carlos. ISBN:978-84-09 …, 2022
62022
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20