33 citations · 38 across the 7 of their papers we have counts for
Showing cs.PLShow all
3 papers · 1 filter
cs.PL2019
Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP
Joaquin Arias, Manuel Carro
CiaoPP is an analyzer and optimizer for logic programs, part of the Ciao Prolog system. It includes PLAI, a fixpoint algorithm for the abstract interpretation of logic programs whi…
cs.PL2018
Description, Implementation, and Evaluation of a Generic Design for Tabled CLP
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 LP…
cs.PL2018
Constraint Answer Set Programming without Grounding
Joaquín Arias, Manuel Carro, Elmer Salazar +2
Extending ASP with constraints (CASP) enhances its expressiveness and performance. This extension is not straightforward as the grounding phase, present in most ASP systems, remove…