Carlos A. Romero-Díaz

According to our database, Carlos A. Romero-Díaz authored at least 9 papers between 2008 and 2014.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2014

A Transformation-based implementation for CLP with qualification and proximity.

Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz

Theory Pract. Log. Program., 2014

2011

A Generic Scheme for Qualified Constraint Functional Logic Programming

Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz

CoRR, 2011

2010

A declarative semantics for CLP with qualification and proximity.

Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz

Theory Pract. Log. Program., 2010

Fixpoint & Proof-theoretic Semantics for CLP with Qualification and Proximity

Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz

CoRR, 2010

A Generic Scheme for Qualified Logic Programming

Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz

CoRR, 2010

2009

Qualified Computations in Functional Logic Programming.

Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz

Proceedings of the Logic Programming, 25th International Conference, 2009

2008

Qualified Logic Programming with Bivalued Predicates.

Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz

Proceedings of the Eighth Spanish Conference on Programming and Computer Languages, 2008

Similarity-based reasoning in qualified logic programming.

Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz

Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2008

Quantitative Logic Programming Revisited.

Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz

Proceedings of the Functional and Logic Programming, 9th International Symposium, 2008