14 citations · 32 across the 8 of their papers we have counts for
8 papers
A Generic Scheme for Qualified Constraint Functional Logic Progamming
Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz
Qualification has been recently introduced as a generalization of uncertainty in the field of Logic Programming. In this report we investigate a more expressive language for First-…
Fixpoint & Proof-theoretic Semantics for CLP with Qualification and Proximity
Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz
Uncertainty in Logic Programming has been investigated during the last decades, dealing with various extensions of the classical LP paradigm and different applications. Existing pr…
Similarity-based Reasoning in Qualified Logic Programming
Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz
Similarity-based Logic Programming (briefly, SLP ) has been proposed to enhance the LP paradigm with a kind of approximate reasoning which supports flexible information retrieval a…
A Generic Scheme for Qualified Logic Programming
Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz
Uncertainty in Logic Programming has been investigated since about 25 years, publishing papers dealing with various approaches to semantics and different applications. This report…
A Declarative Semantics for CLP with Qualification and Proximity
Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz
Uncertainty in Logic Programming has been investigated during the last decades, dealing with various extensions of the classical LP paradigm and different applications. Existing pr…
On the Cooperation of the Constraint Domains H, R and FD in CFLP
S. Estévez-Martín, T. Hortalá-González, Rodríguez-Artalejo +3
This paper presents a computational model for the cooperation of constraint domains and an implementation for a particular case of practical importance. The computational model sup…