33 citations · 56 across the 19 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2022★ 1 cited
Building Information Modeling Using Constraint Logic Programming
Joaquín Arias, Seppo Törmä, Manuel Carro +1
Building Information Modeling (BIM) produces three-dimensional models of buildings combining the geometrical information with a wide range of properties. BIM is slowly but inevitab…
cs.LO2020
A Theoretical Study of (Full) Tabled Constraint Logic Programming
Joaquín Arias, Manuel Carro
Logic programming with tabling and constraints (TCLP, tabled constraint logic programming) has been shown to be more expressive and, in some cases, more efficient than LP, CLP, or…
cs.LO2020★ 33 cited
Justifications for Goal-Directed Constraint Answer Set Programming
Joaquín Arias, Manuel Carro, Zhuo Chen +1
Ethical and legal concerns make it necessary for programs that may directly influence the life of people (via, e.g., legal or health counseling) to justify in human-understandable…