Edit Profile (opens in new tab) Arias, Joaquin Co-Author Distance Author ID: 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 all top 5 Co-Authors 0 single-authored 7 Carro, Manuel 5 Gupta, Gopal 3 Chen, Zhuo 1 Boccuzzi, V. 1 Kiss, Peter 1 Li, D. 1 Marple, Kyle 1 Rodriguez-Uría, J. 1 Salazar, Elmer 1 Törmä, Seppo Serials 5 Theory and Practice of Logic Programming 1 Applied Mathematical Modelling 1 IEEE Transactions on Circuits and Systems I: Regular Papers Fields 7 Computer science (68-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications 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 all cited Publications top 5 cited Publications all top 5 Cited by 52 Authors 10 Gupta, Gopal 5 Arias, Joaquin 5 Carro, Manuel 3 Basu, Kinjal 3 Chen, Zhuo 3 Shakerin, Farhad 3 Varanasi, Sarat Chandra 2 Eiter, Thomas 2 Salazar, Elmer 2 Wang, Huaduo 1 Abreu, Salvador 1 Balduccini, Marcello 1 Cabalar, Pedro 1 Calimeri, Francesco 1 Cauteruccio, Francesco 1 Chen, Qian Matteo 1 Ciatto, Giovanni 1 Cinelli, Luca 1 Santos Costa, Vítor 1 Dahl, Veronica 1 Diaz, Daniel 1 Draheim, Dirk 1 Durand-Dubief, Françoise 1 Fandinno, Jorge 1 Finzi, Alberto 1 Hermenegildo, Manuel V. 1 Järv, Priit 1 Körner, Philipp 1 Leuschel, Michael 1 Lin, Fangzhen 1 Mancini, Toni 1 Marzullo, Aldo 1 Melatti, Igor 1 Mittal, Neeraj 1 Morales, Jose Francisco 1 Muñiz, Brais 1 Pendharkar, Dhruva 1 Sappey-Marinier, Dominique 1 Saribatur, Zeynep Gozen 1 Schneider, Patrik 1 Schüller, Peter 1 Stamile, Claudio 1 Tammet, Tanel 1 Terracina, Giorgio 1 Törmä, Seppo 1 Tran Cao Son 1 Trieu, Ly Ly 1 Tronci, Enrico 1 Vidal, Germán 1 Wang, Yisong 1 Wielemaker, Jan 1 Zhang, Yuanlin Cited in 4 Serials 7 Theory and Practice of Logic Programming 1 Artificial Intelligence 1 Fundamenta Informaticae 1 ACM Transactions on Computational Logic Cited in 4 Fields 23 Computer science (68-XX) 1 Mathematical logic and foundations (03-XX) 1 Operations research, mathematical programming (90-XX) 1 Biology and other natural sciences (92-XX) Citations by Year