Carlos A. Romero-Díaz

13 papers B 1C 1Misc 1Journal 9Unranked 1
YearRankTypeTitle / Venue / Authors
2014 J jnl
A Transformation-based implementation for CLP with qualification and proximity.
Theory Pract. Log. Program.
Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz
2012 J jnl
A Transformation-based Implementation for CLP with Qualification and Proximity
CoRR
Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz
2011 J jnl
A Generic Scheme for Qualified Constraint Functional Logic Programming
CoRR
Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz
2010 J jnl
A Declarative Semantics for CLP with Qualification and Proximity
CoRR
Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz
2010 J jnl
A Generic Scheme for Qualified Logic Programming
CoRR
Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz
2010 J jnl
A Transformation-based Implementation for CLP with Qualification and Proximity
CoRR
Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz
2010 J jnl
A declarative semantics for CLP with qualification and proximity.
Theory Pract. Log. Program.
Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz
2010 J jnl
Fixpoint & Proof-theoretic Semantics for CLP with Qualification and Proximity
CoRR
Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz
2010 J jnl
Similarity-based Reasoning in Qualified Logic Programming
CoRR
Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz
2009 B conf
Qualified Computations in Functional Logic Programming.
ICLP
Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz
2008 — conf
Qualified Logic Programming with Bivalued Predicates.
PROLE
Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz
2008 Misc conf
Quantitative Logic Programming Revisited.
FLOPS
Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz
2008 C conf
Similarity-based reasoning in qualified logic programming.
PPDP
Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz