| 2009 |
|---|
| 21 | EE | Pascual Julián,
Ginés Moreno,
Jaime Penabad:
An improved reductant calculus using fuzzy partial evaluation techniques.
Fuzzy Sets and Systems 160(2): 162-181 (2009) |
| 2008 |
|---|
| 20 | EE | Juan Antonio Guerrero,
Ginés Moreno:
Optimizing Fuzzy Logic Programs by Unfolding, Aggregation and Folding.
Electr. Notes Theor. Comput. Sci. 219: 19-34 (2008) |
| 2007 |
|---|
| 19 | EE | Pascual Julián,
Ginés Moreno,
Jaime Penabad:
Measuring the Interpretive Cost in Fuzzy Logic Computations.
WILF 2007: 28-36 |
| 18 | EE | Ginés Moreno,
Vicente Pascual:
Formal Properties of Needed Narrowing with Similarity Relations.
Electr. Notes Theor. Comput. Sci. 188: 21-35 (2007) |
| 17 | EE | Pascual Julián,
Ginés Moreno,
Jaime Penabad:
Efficient Reductants Calculi using Partial Evaluation Techniques with Thresholding.
Electr. Notes Theor. Comput. Sci. 188: 77-90 (2007) |
| 2006 |
|---|
| 16 | EE | Ginés Moreno:
Building a Fuzzy Transformation System.
SOFSEM 2006: 409-418 |
| 15 | EE | Pascual Julián,
Ginés Moreno,
Jaime Penabad:
Operational/Interpretive Unfolding of Multi-adjoint Logic Programs.
J. UCS 12(11): 1679-1699 (2006) |
| 2005 |
|---|
| 14 | EE | Ginés Moreno,
Vicente Pascual:
Programming with Fuzzy Logic and Mathematical Functions.
WILF 2005: 89-98 |
| 13 | EE | Pascual Julián Iranzo,
Ginés Moreno,
Jaime Penabad:
Unfolding-based Improvements on Fuzzy Logic Programs.
Electr. Notes Theor. Comput. Sci. 137(1): 69-103 (2005) |
| 12 | EE | Pascual Julián Iranzo,
Ginés Moreno,
Jaime Penabad:
On fuzzy unfolding: A multi-adjoint approach.
Fuzzy Sets and Systems 154(1): 16-33 (2005) |
| 2004 |
|---|
| 11 | EE | Soledad González,
Ginés Moreno:
Improved Tupling for Optimizing Multi-paradigm Declarative Programs.
IBERAMIA 2004: 419-429 |
| 10 | EE | María Alpuente,
Moreno Falaschi,
Ginés Moreno,
Germán Vidal:
Rules + strategies for transforming lazy functional logic programs.
Theor. Comput. Sci. 311(1-3): 479-525 (2004) |
| 2003 |
|---|
| 9 | EE | Ginés Moreno:
A narrowing-based instantiation rule for rewriting-based fold/unfold transformations.
Electr. Notes Theor. Comput. Sci. 86(3): (2003) |
| 2002 |
|---|
| 8 | EE | Ginés Moreno:
Automatic Optimization of Multi-paradigm Declarative Programs.
IBERAMIA 2002: 131-140 |
| 7 | EE | Ginés Moreno:
Transformation Rules and Strategies for Functional-Logic Programs.
AI Commun. 15(2-3): 163-165 (2002) |
| 2000 |
|---|
| 6 | EE | María Alpuente,
Moreno Falaschi,
Ginés Moreno,
Germán Vidal:
An Automatic Composition Algorithm for Functional Logic Programs.
SOFSEM 2000: 289-297 |
| 5 | | María Alpuente,
Moreno Falaschi,
Ginés Moreno,
Germán Vidal:
Using PE to Automate Program Composition.
WFLP 2000: 169-183 |
| 1999 |
|---|
| 4 | | María Alpuente,
Moreno Falaschi,
Ginés Moreno,
Germán Vidal:
A Transformation System for Lazy Functional Logic Programs.
Fuji International Symposium on Functional and Logic Programming 1999: 147-162 |
| 3 | EE | María Alpuente,
Moreno Falaschi,
César Ferri,
Ginés Moreno,
Germán Vidal:
Un Sistema de Transformación para Programas Multiparadigma.
Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial 8: 27-35 (1999) |
| 1997 |
|---|
| 2 | | María Alpuente,
Moreno Falaschi,
Ginés Moreno,
Germán Vidal:
Safe Folding/Unfolding with Conditional Narrowing.
ALP/HOA 1997: 1-15 |
| 1 | | María Alpuente,
Moreno Falaschi,
Ginés Moreno,
Germán Vidal:
Safe Folding/Unfolding with Conditional Narrowing.
APPIA-GULP-PRODE 1997: 347-358 |
