Pascual Julián
List of publications from the DBLP Bibliography Server - FAQ
| 2009 | ||
|---|---|---|
| 21 | Pascual Julián Iranzo, Clemente Rubio-Manzano: A Similarity-Based WAM for Bousi~Prolog. IWANN (1) 2009: 245-252 | |
| 20 | Pascual Julián, Ginés Moreno, Jaime Penabad: On the Declarative Semantics of Multi-Adjoint Logic Programs. IWANN (1) 2009: 253-260 | |
| 19 | Pascual Julián Iranzo, Clemente Rubio-Manzano: A declarative semantics for Bousi~Prolog. PPDP 2009: 149-160 | |
| 18 | Pascual Julián Iranzo, Jesús Medina, Ginés Moreno, Manuel Ojeda-Aciego: Thresholded Tabulation in a Fuzzy Logic Setting. Electr. Notes Theor. Comput. Sci. 248: 115-130 (2009) | |
| 17 | Pascual Julián Iranzo, Clemente Rubio-Manzano, Juan Gallardo-Casero: Bousi~Prolog: a Prolog Extension Language for Flexible Query Answering. Electr. Notes Theor. Comput. Sci. 248: 131-147 (2009) | |
| 16 | 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) | |
| 2007 | ||
| 15 | Pascual Julián, Ginés Moreno, Jaime Penabad: Measuring the Interpretive Cost in Fuzzy Logic Computations. WILF 2007: 28-36 | |
| 14 | 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 | ||
| 13 | Pascual Julián Iranzo, Clemente Rubio-Manzano: A WAM implementation for flexible query answering. Artificial Intelligence and Soft Computing 2006: 262-267 | |
| 12 | Pascual Julián, Ginés Moreno, Jaime Penabad: Operational/Interpretive Unfolding of Multi-adjoint Logic Programs. J. UCS 12(11): 1679-1699 (2006) | |
| 2005 | ||
| 11 | 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) | |
| 10 | 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 | ||
| 9 | Pascual Julián Iranzo, Christian Villamizar Lamus: Analysing Definitional Trees: Looking for Determinism. FLOPS 2004: 55-69 | |
| 2003 | ||
| 8 | Pascual Julián Iranzo: Thesis: Partial evaluation of lazy functional logic programs. AI Commun. 16(2): 121-123 (2003) | |
| 7 | María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal: Uniform Lazy Narrowing. J. Log. Comput. 13(2): 287-312 (2003) | |
| 2002 | ||
| 6 | Pascual Julián Iranzo: On the Correctness of the Factoring Transformation. FLOPS 2002: 119-133 | |
| 5 | Sergio Antoy, Pascual Julián Iranzo, Bart Massey: Improving the Efficiency of Non-Deterministic Computations. Electr. Notes Theor. Comput. Sci. 64: (2002) | |
| 1998 | ||
| 4 | Elvira Albert, María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal: Polygenetic Partial Evaluation of Lazy Functional Logic Programs. APPIA-GULP-PRODE 1998: 151-164 | |
| 3 | Elvira Albert, María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal: Improving Control in Functional Logic Program Specialization. SAS 1998: 262-277 | |
| 1997 | ||
| 2 | María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal: Specialization of Lazy Functional Logic Programs. PEPM 1997: 151-162 | |
| 1996 | ||
| 1 | María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal: Call-By Name Partial Evaluation of Functional Logic Programs. APPIA-GULP-PRODE 1996: 17-28 | |
| 1 | Elvira Albert | [3] [4] |
| 2 | María Alpuente | [1] [2] [3] [4] [7] |
| 3 | Sergio Antoy | [5] |
| 4 | Moreno Falaschi | [1] [2] [3] [4] [7] |
| 5 | Juan Gallardo-Casero | [17] |
| 6 | Christian Villamizar Lamus | [9] |
| 7 | Barton C. Massey (Bart Massey) | [5] |
| 8 | Jesús Medina | [18] |
| 9 | Ginés Moreno | [10] [11] [12] [14] [15] [16] [18] [20] |
| 10 | Manuel Ojeda-Aciego | [18] |
| 11 | Jaime Penabad | [10] [11] [12] [14] [15] [16] [20] |
| 12 | Clemente Rubio-Manzano | [13] [17] [19] [21] |
| 13 | Germán Vidal | [1] [2] [3] [4] [7] |