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 |