33 citations · 56 across the 19 of their papers we have counts for
20 papers
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…
Towards Dynamic Consistency Checking in Goal-directed Predicate Answer Set Programming
Joaquín Arias, Manuel Carro, Gopal Gupta
Goal-directed evaluation of Answer Set Programs is gaining traction thanks to its amenability to create AI systems that can, due to the evaluation mechanism used, generate explanat…
Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming
Joaquín Arias, Manuel Carro, Zhuo Chen +1
Automated commonsense reasoning is essential for building human-like AI systems featuring, for example, explainable AI. Event Calculus (EC) is a family of formalisms that model com…
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…
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…
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…