Quantitative Logic Programming Revisited. - Mario Rodríguez-Artalejo; Carlos A. Romero-Díaz (FLOPS, 2008)

Similarity-based reasoning in qualified logic programming. - Rafael Caballero 001; Mario Rodríguez-Artalejo; Carlos A. Romero-Díaz (PPDP, 2008)

Qualified Logic Programming with Bivalued Predicates. - Mario Rodríguez-Artalejo; Carlos A. Romero-Díaz (PROLE, 2008)

Qualified Computations in Functional Logic Programming. - Rafael Caballero 001; Mario Rodríguez-Artalejo; Carlos A. Romero-Díaz (ICLP, 2009)

A Generic Scheme for Qualified Logic Programming - Mario Rodríguez-Artalejo; Carlos A. Romero-Díaz (CoRR, 2010)

Fixpoint & Proof-theoretic Semantics for CLP with Qualification and Proximity - Mario Rodríguez-Artalejo; Carlos A. Romero-Díaz (CoRR, 2010)

A declarative semantics for CLP with qualification and proximity. - Mario Rodríguez-Artalejo; Carlos A. Romero-Díaz (Theory Pract. Log. Program., 2010)

A Generic Scheme for Qualified Constraint Functional Logic Programming - Rafael Caballero 001; Mario Rodríguez-Artalejo; Carlos A. Romero-Díaz (CoRR, 2011)

A Transformation-based implementation for CLP with qualification and proximity. - Rafael Caballero 001; Mario Rodríguez-Artalejo; Carlos A. Romero-Díaz (Theory Pract. Log. Program., 2014)