| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz |
A Transformation-based Implementation for CLP with Qualification and Proximity  |
CoRR  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez |
Declarative Debugging of Wrong and Missing Answers for SQL Views. |
FLOPS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alfredo García Hernández-Díaz, Luis V. Santana-Quintero, Carlos A. Coello Coello, Julián Molina Luque, Rafael Caballero |
Improving the efficiency of ϵ-dominance based grids. |
Inf. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Trinidad Gómez, Mónica Hernández, J. Molina, M. A. León, E. Aldana, Rafael Caballero |
A multiobjective model for forest planning with adjacency constraints. |
Annals OR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz |
A Generic Scheme for Qualified Constraint Functional Logic Progamming |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Rafael Caballero, Manuel Laguna, Rafael Martí, J. Molina |
Scatter tabu search for multiobjective clustering problems. |
JORS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez |
Integrating XPath with the Functional-Logic Language Toy. |
PADL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez |
Algorithmic Debugging of SQL Views. |
Ershov Memorial Conference |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael Caballero |
A program transformation for returning states in functional-logic programs. |
PEPM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Fernando Sáenz-Pérez, Rafael Caballero, Yolanda García-Ruiz |
A Deductive Database with Datalog and SQL Query Languages. |
APLAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesús Manuel Almendros-Jiménez, Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez |
XQuery in the Functional-Logic Language Toy. |
WFLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Luis V. Santana-Quintero, Alfredo García Hernández-Díaz, Julián Molina Luque, Carlos A. Coello Coello, Rafael Caballero |
DEMORS: A hybrid multi-objective optimization algorithm using differential evolution and rough set theory for constrained problems. |
Computers & OR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana F. Carazo, Trinidad Gómez, Julián Molina Luque, Alfredo García Hernández-Díaz, Flor M. Guerrero, Rafael Caballero |
Solving a comprehensive model for multiobjective project portfolio selection. |
Computers & OR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael Caballero, Blanca Collado-Iglesias, Sara Pozuelo-González, Antonio Fernández-Sánchez |
New Common Proper-Motion Pairs From the PPMX Catalog |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz |
Similarity-based Reasoning in Qualified Logic Programming |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz |
A Transformation-based Implementation for CLP with Qualification and Proximity |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Rafael Caballero, John P. Gallagher (eds.) |
Proceedings of the 19th Workshop on Logic-based methods in Programming Environments (WLPE 2009) |
WLPE |
2010 |
RDF |
|
| 1 | B. Cobacho, Rafael Caballero, Mercedes González, J. Molina |
Planning federal public investment in Mexico using multiobjective decision making. |
JORS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Laguna, Julián Molina Luque, Fatima Perez, Rafael Caballero, Alfredo García Hernández-Díaz |
The challenge of optimizing expensive black boxes: a scatter search/rough set theory approach. |
JORS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez |
Applying Constraint Logic Programming to SQL Test Case Generation. |
FLOPS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kaisa Miettinen, Julián Molina Luque, Mercedes González, Alfredo García Hernández-Díaz, Rafael Caballero |
Using box indices in supporting comparison in multiobjective optimization. |
European Journal of Operational Research |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Julián Molina Luque, Luis V. Santana-Quintero, Alfredo García Hernández-Díaz, Carlos A. Coello Coello, Rafael Caballero |
g-dominance: Reference point based dominance for multiobjective metaheuristics. |
European Journal of Operational Research |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael Caballero, Narciso Martí-Oliet, Adrián Riesco, Alberto Verdejo |
A Declarative Debugger for Maude Functional Modules. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisca Miguel, Trinidad Gómez, Mariano Luque, Francisco Ruiz, Rafael Caballero |
A Decomposition-Coordination Method for Complex Multi-Objective Systems. |
APJOR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz |
Qualified Computations in Functional Logic Programming. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
Constraints, Program Transformation, Rewriting Logic, Functional Logic Programming, Qualification |
| 1 | Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez |
A New Proposal for Debugging Datalog Programs. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alfredo García Hernández-Díaz, Carlos A. Coello Coello, Luis V. Santana-Quintero, Fatima Perez, Julián Molina Luque, Rafael Caballero |
On the Use of Projected Gradients for Constrained Multiobjective Optimization Problems. |
PPSN |
2008 |
DBLP DOI BibTeX RDF |
Gradient-based method, nonlinear multiobjective programming, quadratic approximation, constrained optimization |
| 1 | Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez |
A Theoretical Framework for the Declarative Debugging of Datalog Programs. |
SDKB |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet, Rafael Caballero |
A Declarative Debugger for Maude. |
AMAST |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alfredo García Hernández-Díaz, Carlos A. Coello Coello, Fatima Perez, Rafael Caballero, Julián Molina Luque, Luis V. Santana-Quintero |
Seeding the initial population of a multi-objective evolutionary algorithm using gradient-based information. |
IEEE Congress on Evolutionary Computation |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrián Riesco, Alberto Verdejo, Rafael Caballero, Narciso Martí-Oliet |
Declarative Debugging of Rewriting Logic Specifications. |
WADT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael Caballero, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda |
Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming. |
FLOPS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz |
Similarity-based reasoning in qualified logic programming. |
PPDP |
2008 |
DBLP DOI BibTeX RDF |
qualification domains, similarity relations |
| 1 | Rafael Caballero, Narciso Martí-Oliet, Adrián Riesco, Alberto Verdejo |
Declarative Debugging of Membership Equational Logic Specifications. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
Maude, functional modules, membership equational logic, declarative debugging |
| 1 | Rafael Caballero, Mercedes González, Flor M. Guerrero, Julián Molina Luque, Concepción Paralera |
Solving a multiobjective location routing problem with a metaheuristic based on tabu search. Application to a real case in Andalusia. |
European Journal of Operational Research |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael Caballero, Yolanda García-Ruiz |
Implementing Dynamic-Cut in TOY. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael Caballero, Christian Hermanns, Herbert Kuchen |
Algorithmic Debugging of Java Programs. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mariano Luque, Rafael Caballero, Julián Molina Luque, Francisco Ruiz |
Equivalent Information for Multiobjective Interactive Procedures. |
Management Science |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Julián Molina Luque, Manuel Laguna, Rafael Martí, Rafael Caballero |
SSPMO: A Scatter Tabu Search Procedure for Non-Linear Multiobjective Optimization. |
INFORMS Journal on Computing |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricardo Landa Becerra, Carlos A. Coello Coello, Alfredo García Hernández-Díaz, Rafael Caballero, Julián Molina Luque |
Alternative techniques to solve hard multi-objective optimization problems. |
GECCO |
2007 |
DBLP DOI BibTeX RDF |
epsilon-constraint, multi-objective optimization, differential evolution, cultural algorithms |
| 1 | Rafael Caballero, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda |
Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael Caballero, Mónica Hernández |
Restoration of efficiency in a goal programming problem with linear fractional criteria. |
European Journal of Operational Research |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael Caballero, Francisco Ruiz, Maria Victoria Rodríguez Uría, Carlos Romero |
Interactive meta-goal programming. |
European Journal of Operational Research |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Alfredo García Hernández-Díaz, Luis V. Santana-Quintero, Carlos A. Coello Coello, Rafael Caballero, Julián Molina Luque |
A new proposal for multi-objective optimization using differential evolution and rough sets theory. |
GECCO |
2006 |
DBLP DOI BibTeX RDF |
multi-objective optimization, differential evolution, rough sets theory, hybrid algorithms |
| 1 | Rafael Caballero, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda |
Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael Caballero, Mariano Luque, Julián Molina Luque, Francisco Ruiz |
MOPEN: A computational package for Linear Multiobjective and Goal Programming problems. |
Decision Support Systems |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael Caballero |
A declarative debugger of incorrect answers for constraint functional-logic programs. |
WCFLP |
2005 |
DBLP DOI BibTeX RDF |
functional-logic languages, declarative debugging |
| 1 | Rafael Caballero, Emilio Cerdá, María del Mar Muñoz, Lourdes Rey |
Stochastic approach versus multiobjective approach for obtaining efficient solutions in stochastic multiobjective programming problems. |
European Journal of Operational Research |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael Caballero, Mónica Hernández |
The controlled estimation method in the multiobjective linear fractional problem. |
Computers & OR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael Caballero, Mario Rodríguez-Artalejo |
DDT: a Declarative Debugging Tool for Functional-Logic Languages. |
FLOPS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael Caballero, Francisco Javier López-Fraguas |
Improving Deterministic Computations in Lazy Functional Logic Languages. |
Journal of Functional and Logic Programming |
2003 |
DBLP BibTeX RDF |
|
| 1 | Maria Victoria Rodríguez Uría, Rafael Caballero, Francisco Ruiz, Carlos Romero |
Meta-goal programming. |
European Journal of Operational Research |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael Caballero, Wolfgang Lux |
Declarative Debugging for Encapsulated Search. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael Caballero, Mario Rodríguez-Artalejo |
A Declarative Debugging System for Lazy Functional Logic Programs. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael Caballero, Mariano Luque, Julián Molina Luque, Francisco Ruiz |
Promoin: An Interactive System for Multiobjective Programming. |
International Journal of Information Technology and Decision Making |
2002 |
DBLP BibTeX RDF |
|
| 1 | Rafael Caballero, Trinidad Gómez, Mariano Luque, Francisca Miguel, Francisco Ruiz |
Hierarchical generation of Pareto optimal solutions in large-scale multiobjective systems. |
Computers & OR |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael Caballero, Francisco Javier López-Fraguas |
Dynamic-Cut with Definitional Trees. |
FLOPS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael Caballero, T. Galache, Trinidad Gómez, J. Molina, A. Torrico |
Efficient assignment of financial resources within a university system. Study of the University of Malaga. |
European Journal of Operational Research |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael Caballero, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo |
Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs. |
FLOPS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael Caballero, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo |
A Logical Framework for the Algorithmic Debugging of Lazy Functional-Logic Program. |
WFLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Rafael Caballero, Francisco Javier López-Fraguas |
Extensions: A Technique for Structuring Functional-Logic Programs. |
Ershov Memorial Conference |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael Caballero, Francisco Javier López-Fraguas |
A Functional-Logic Perspective on Parsing. |
Fuji International Symposium on Functional and Logic Programming |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael Caballero, Francisco Javier López-Fraguas |
Parsing with Non-Deterministic Functions. |
APPIA-GULP-PRODE |
1998 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")