14 citations · 15 across the 6 of their papers we have counts for
6 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-…
A Transformation-based Implementation for CLP with Qualification and Proximity
Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz
Uncertainty in logic programming has been widely investigated in the last decades, leading to multiple extensions of the classical LP paradigm. However, few of these are designed a…
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…