Joaquín Arias
Title
Cited by
Cited by
Year
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
17*2019
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
172018
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
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
Modeling and Reasoning in Event Calculus Using Goal-Directed Constraint Answer Set Programming
J Arias, Z Chen, M Carro, G Gupta
International Symposium on Logic-Based Program Synthesis and Transformation …, 2019
22019
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
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
A Theoretical Study of (Full) Tabled Constraint Logic Programming
J Arias, M Carro
arXiv preprint arXiv:2009.14430, 2020
2020
Justifications for Goal-Directed Constraint Answer Set Programming
J Arias, M Carro, Z Chen, G Gupta
arXiv preprint arXiv:2009.10238, 2020
2020
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
The system can't perform the operation now. Try again later.
Articles 1–12