Unfolding-based Improvements on Fuzzy Logic Programs. - Pascual Julián Iranzo; Ginés Moreno; Jaime Penabad (PROLE, 2004)

On fuzzy unfolding: A multi-adjoint approach. - Pascual Julián Iranzo; Ginés Moreno; Jaime Penabad (Fuzzy Sets Syst., 2005)

Efficient Reductants Calculi using Partial Evaluation Techniques with Thresholding. - Pascual Julián; Ginés Moreno; Jaime Penabad (PROLE, 2006)

Operational/Interpretive Unfolding of Multi-adjoint Logic Programs. - Pascual Julián; Ginés Moreno; Jaime Penabad (J. Univers. Comput. Sci., 2006)

Measuring the Interpretive Cost in Fuzzy Logic Computations. - Pascual Julián; Ginés Moreno; Jaime Penabad (WILF, 2007)

On the Declarative Semantics of Multi-Adjoint Logic Programs. - Pascual Julián; Ginés Moreno; Jaime Penabad (IWANN (1), 2009)

An improved reductant calculus using fuzzy partial evaluation techniques. - Pascual Julián; Ginés Moreno; Jaime Penabad (Fuzzy Sets Syst., 2009)

Modeling Interpretive Steps into the FLOPER Environment. - Pedro J. Morcillo; Ginés Moreno; Jaime Penabad; Carlos Vázquez (IC-AI, 2010)

A Practical Management of Fuzzy Truth-Degrees Using FLOPER. - Pedro J. Morcillo; Ginés Moreno; Jaime Penabad; Carlos Vázquez (RuleML, 2010)

Fuzzy Computed Answers Collecting Proof Information. - Pedro J. Morcillo; Ginés Moreno; Jaime Penabad; Carlos Vázquez (IWANN (2), 2011)

Declarative Traces into Fuzzy Computed Answers. - Pedro J. Morcillo; Ginés Moreno; Jaime Penabad; Carlos Vázquez (RuleML Europe, 2011)

String-based Multi-adjoint Lattices for Tracing Fuzzy Logic Computations. - Ginés Moreno; Pedro J. Morcillo; Jaime Penabad; Carlos Vázquez (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012)

Dedekind-MacNeille completion and Cartesian product of multi-adjoint lattices. - Pedro J. Morcillo; Ginés Moreno; Jaime Penabad; Carlos Vázquez (Int. J. Comput. Math., 2012)

Fuzzy Logic Rules Modeling Similarity-based Strict Equality. - Ginés Moreno; Jaime Penabad; Carlos Vázquez (FedCSIS, 2014)

Fuzzy Sets for a Declarative Description of Multi-adjoint Logic Programming. - Ginés Moreno; Jaime Penabad; Carlos Vázquez (RSCTC, 2014)

A Fuzzy Logic Programming Environment for Managing Similarity and Truth Degrees. - Pascual Julián Iranzo; Ginés Moreno; Jaime Penabad; Carlos Vázquez (PROLE, 2014)

Beyond multi-adjoint logic programming. - Ginés Moreno; Jaime Penabad; Carlos Vázquez (Int. J. Comput. Math., 2015)

Symbolic Execution and Thresholding for Efficiently Tuning Fuzzy Logic Programs. - Ginés Moreno; Jaime Penabad; José A. Riaza; Germán Vidal (LOPSTR, 2016)

A Declarative Semantics for a Fuzzy Logic Language Managing Similarities and Truth Degrees. - Pascual Julián Iranzo; Ginés Moreno; Jaime Penabad; Carlos Vázquez (RuleML, 2016)

Tuning Fuzzy Logic Programs with Symbolic Execution. - Ginés Moreno; Jaime Penabad; Germán Vidal (CoRR, 2016)

Testing properties of fuzzy connectives and truth degrees with the latticemaker tool. - Juan Antonio Guerrero; Felix Mendieta; Ginés Moreno; Jaime Penabad; José Antonio Riaza (SSCI, 2017)

On Similarity-Based Unfolding. - Ginés Moreno; Jaime Penabad; José Antonio Riaza (SUM, 2017)

Thresholded semantic framework for a fully integrated fuzzy logic language. - Pascual Julián Iranzo; Ginés Moreno; Jaime Penabad (J. Log. Algebraic Methods Program., 2017)

FASILL: Fuzzy Correct Answers and Soundness⋆. - Pascual Julián Iranzo; Ginés Moreno; Jaime Penabad (FUZZ-IEEE, 2018)