33 citations · 56 across the 26 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
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…