5 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…
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…
New Common Proper-Motion Pairs From the PPMX Catalog
Rafael Caballero, Blanca Collado-Iglesias, Sara Pozuelo-González +1
We use data mining techniques for finding 82 previously unreported common proper motion pairs from the PPM-Extended catalogue. Special-purpose software automating the different pha…
Proceedings of the 19th Workshop on Logic-based methods in Programming Environments (WLPE 2009)
Rafael Caballero, John Gallagher
This volume contains the papers presented at the 19th Workshop on Logic- based methods in Programming Environments (WLPE'09), which was held in Pasadena, USA, on July 14th, 2009. W…