Takip et
Joaquín Arias
Joaquín Arias
urjc.es üzerinde doğrulanmış e-posta adresine sahip - Ana Sayfa
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
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
1132018
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
492020
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
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 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
182021
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, ...
112021
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
92024
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
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
82019
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
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
62022
s (CASP) for SWI-prolog
J Wielemaker, J Arias, G Gupta
2021 International Conference on Logic Programming Workshops, ICLP Workshops …, 2021
62021
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
52022
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
52022
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
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
42023
Advanced Evaluation Techniques for (Non)-Monotonic Reasoning Using Rules with Constraints
J Arias
ETSI_Informatica, 2020
42020
Lógica: desde Aristóteles hasta Prolog
J Arias
Servicio de Publicaciones de la Universidad Rey Juan Carlos. ISBN:978-84-09 …, 2022
32022
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20