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
242018
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
52016
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
32020
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
32019
Tabled CLP for Reasoning over Stream Data
J Arias
Technical Communications of the 32nd International Conference on Logic …, 2016
32016
Incremental Evaluation of Lattice-Based Aggregates in Logic Programming Using Modular TCLP
J Arias, M Carro
International Symposium on Practical Aspects of Declarative Languages, 98-114, 2019
22019
Justifications for Goal-Directed Constraint Answer Set Programming
J Arias, M Carro, Z Chen, G Gupta
arXiv preprint arXiv:2009.10238, 2020
12020
Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP
J Arias, M Carro
Theory and Practice of Logic Programming 19 (5-6), 1107-1123, 2019
12019
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
2021
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, ...
2021
A Theoretical Study of (Full) Tabled Constraint Logic Programming
J Arias, M Carro
arXiv preprint arXiv:2009.14430, 2020
2020
Advanced Evaluation Techniques for (Non)-Monotonic Reasoning Using Rules with Constraints
J Arias
ETSI_Informatica, 2020
2020
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
2019
Design and implementation of a modular interface to integrate CLP and tabled execution
J Arias
ETSI_Informatica, 2015
2015
Manejo de memoria en programación lógica con tabulación
J Arias
ETSI_Informatica, 2014
2014
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–15