14 citations · 32 across the 8 of their papers we have counts for
4 papers · 1 filter
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…