Joaquín Arias

Justifications for Goal-Directed Constraint Answer Set Programming

Joaquín Arias, Manuel Carro, Zhuo Chen et al. · Electronic Proceedings in Theoretical Computer Science · 2020 · 32 citations · Full text

Computing, Computer Science, Knowledge Representation +13

Building Information Modeling Using Constraint Logic Programming

Joaquín Arias, Seppo Törmä, Manuel Carro et al. · Theory and Practice of Logic Programming · 2022 · 12 citations

Architecture, Architectural Engineering, Construction Management +13

Knowledge-driven Natural Language Understanding of English Text and its Applications

Kinjal Basu, Sarat Chandra Varanasi, Farhad Shakerin et al. · 2021 · 10 citations

Computing, Computer Science, English +17

Automated legal reasoning with discretion to act using s(LAW)

Joaquín Arias, Mar Moreno-Rebato, José Antonio Rodríguez García et al. · Artificial Intelligence and Law · 2023 · 10 citations · Full text

Law, Jurisprudence, Legal Reasoning +8