2008 |
33 | EE | Adrián Riesco,
Alberto Verdejo,
Narciso Martí-Oliet,
Rafael Caballero:
A Declarative Debugger for Maude.
AMAST 2008: 116-121 |
32 | EE | Rafael Caballero,
Narciso Martí-Oliet,
Adrián Riesco,
Alberto Verdejo:
Declarative Debugging of Membership Equational Logic Specifications.
Concurrency, Graphs and Models 2008: 174-193 |
31 | EE | Rafael Caballero,
Mario Rodríguez-Artalejo,
Rafael del Vado Vírseda:
Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming.
FLOPS 2008: 305-321 |
30 | EE | 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: 1617-1624 |
29 | EE | Rafael Caballero,
Mario Rodríguez-Artalejo,
Carlos A. Romero-Díaz:
Similarity-based reasoning in qualified logic programming.
PPDP 2008: 185-194 |
28 | EE | 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: 712-721 |
27 | EE | Rafael Caballero,
Yolanda García-Ruiz,
Fernando Sáenz-Pérez:
A Theoretical Framework for the Declarative Debugging of Datalog Programs.
SDKB 2008: 143-159 |
26 | EE | Rafael Caballero,
Yolanda García-Ruiz,
Fernando Sáenz-Pérez:
A New Proposal for Debugging Datalog Programs.
Electr. Notes Theor. Comput. Sci. 216: 79-92 (2008) |
2007 |
25 | EE | 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: 757-754 |
24 | EE | Rafael Caballero,
Mario Rodríguez-Artalejo,
Rafael del Vado Vírseda:
Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming.
ICLP 2007: 425-427 |
23 | EE | Rafael Caballero,
Yolanda García-Ruiz:
Implementing Dynamic-Cut in TOY.
Electr. Notes Theor. Comput. Sci. 177: 153-168 (2007) |
22 | EE | Rafael Caballero,
Christian Hermanns,
Herbert Kuchen:
Algorithmic Debugging of Java Programs.
Electr. Notes Theor. Comput. Sci. 177: 75-89 (2007) |
21 | EE | 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 177(3): 1751-1763 (2007) |
2006 |
20 | EE | 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: 675-682 |
19 | EE | Rafael Caballero,
Mario Rodríguez-Artalejo,
Rafael del Vado Vírseda:
Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming.
ICLP 2006: 421-422 |
18 | EE | Rafael Caballero,
Mónica Hernández:
Restoration of efficiency in a goal programming problem with linear fractional criteria.
European Journal of Operational Research 172(1): 31-39 (2006) |
17 | EE | Rafael Caballero,
Francisco Ruiz,
Maria Victoria Rodríguez Uría,
Carlos Romero:
Interactive meta-goal programming.
European Journal of Operational Research 175(1): 135-154 (2006) |
2005 |
16 | EE | Rafael Caballero:
A declarative debugger of incorrect answers for constraint functional-logic programs.
WCFLP 2005: 8-13 |
15 | EE | Rafael Caballero,
Mariano Luque,
Julián Molina Luque,
Francisco Ruiz:
MOPEN: A computational package for Linear Multiobjective and Goal Programming problems.
Decision Support Systems 41(1): 160-175 (2005) |
2004 |
14 | EE | Rafael Caballero,
Mario Rodríguez-Artalejo:
DDT: a Declarative Debugging Tool for Functional-Logic Languages.
FLOPS 2004: 70-84 |
13 | EE | Rafael Caballero,
Mónica Hernández:
The controlled estimation method in the multiobjective linear fractional problem.
Computers & OR 31(11): 1821-1832 (2004) |
12 | EE | 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 158(3): 633-648 (2004) |
2003 |
11 | EE | Rafael Caballero,
Francisco Javier López-Fraguas:
Improving Deterministic Computations in Lazy Functional Logic Languages.
Journal of Functional and Logic Programming 2003: (2003) |
2002 |
10 | EE | Rafael Caballero,
Francisco Javier López-Fraguas:
Dynamic-Cut with Definitional Trees.
FLOPS 2002: 245-258 |
9 | EE | Rafael Caballero,
Trinidad Gómez,
Mariano Luque,
Francisca Miguel,
Francisco Ruiz:
Hierarchical generation of Pareto optimal solutions in large-scale multiobjective systems.
Computers & OR 29(11): 1537-1558 (2002) |
8 | EE | Rafael Caballero,
Mario Rodríguez-Artalejo:
A Declarative Debugging System for Lazy Functional Logic Programs.
Electr. Notes Theor. Comput. Sci. 64: (2002) |
7 | EE | Rafael Caballero,
Wolfgang Lux:
Declarative Debugging for Encapsulated Search.
Electr. Notes Theor. Comput. Sci. 76: (2002) |
6 | EE | 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 1(4): 635-656 (2002) |
2001 |
5 | EE | Rafael Caballero,
Francisco Javier López-Fraguas,
Mario Rodríguez-Artalejo:
Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs.
FLOPS 2001: 170-184 |
2000 |
4 | | 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: 8-22 |
1999 |
3 | EE | Rafael Caballero,
Francisco Javier López-Fraguas:
Extensions: A Technique for Structuring Functional-Logic Programs.
Ershov Memorial Conference 1999: 297-310 |
2 | | Rafael Caballero,
Francisco Javier López-Fraguas:
A Functional-Logic Perspective on Parsing.
Fuji International Symposium on Functional and Logic Programming 1999: 85-99 |
1998 |
1 | | Rafael Caballero,
Francisco Javier López-Fraguas:
Parsing with Non-Deterministic Functions.
APPIA-GULP-PRODE 1998: 87-100 |