×
Author ID: arias.joaquin Recent zbMATH articles by "Arias, Joaquin"
Published as: Arias, Joaquín; Arias, Joaquin
Documents Indexed: 9 Publications since 2004
Co-Authors: 6 Co-Authors with 7 Joint Publications
83 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

5 Publications have been cited 27 times in 23 Documents Cited by Year
Constraint answer set programming without grounding. Zbl 1451.68063
Arias, Joaquin; Carro, Manuel; Salazar, Elmer; Marple, Kyle; Gupta, Gopal
18
2018
Justifications for goal-directed constraint answer set programming. Zbl 07455706
Arias, Joaquín; Carro, Manuel; Chen, Zhuo; Gupta, Gopal
5
2020
Description, implementation, and evaluation of a generic design for tabled CLP. Zbl 1472.68021
Arias, Joaquín; Carro, Manuel
2
2019
Modeling and reasoning in event calculus using goal-directed constraint answer set programming. Zbl 1502.68282
Arias, Joaquín; Chen, Zhuo; Carro, Manuel; Gupta, Gopal
1
2020
Modeling and reasoning in event calculus using goal-directed constraint answer set programming. Zbl 07776334
Arias, Joaquín; Carro, Manuel; Chen, Zhuo; Gupta, Gopal
1
2022
Modeling and reasoning in event calculus using goal-directed constraint answer set programming. Zbl 07776334
Arias, Joaquín; Carro, Manuel; Chen, Zhuo; Gupta, Gopal
1
2022
Justifications for goal-directed constraint answer set programming. Zbl 07455706
Arias, Joaquín; Carro, Manuel; Chen, Zhuo; Gupta, Gopal
5
2020
Modeling and reasoning in event calculus using goal-directed constraint answer set programming. Zbl 1502.68282
Arias, Joaquín; Chen, Zhuo; Carro, Manuel; Gupta, Gopal
1
2020
Description, implementation, and evaluation of a generic design for tabled CLP. Zbl 1472.68021
Arias, Joaquín; Carro, Manuel
2
2019
Constraint answer set programming without grounding. Zbl 1451.68063
Arias, Joaquin; Carro, Manuel; Salazar, Elmer; Marple, Kyle; Gupta, Gopal
18
2018

Citations by Year