Jaime Penabad

Publication Activity (10 Years)

Years Active: 2005-2018
Publications (10 Years): 8

Top Topics

Fully Integrated

Top Venues

Int. J. Comput. Math.

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

J. Log. Algebraic Methods Program.

Publications

Pascual Julián Iranzo, Ginés Moreno, Jaime Penabad
FASILL: Fuzzy Correct Answers and Soundness⋆. FUZZ-IEEE (2018)
Juan Antonio Guerrero, Felix Mendieta, Ginés Moreno, Jaime Penabad, José Antonio Riaza
Testing properties of fuzzy connectives and truth degrees with the latticemaker tool. SSCI (2017)
Pascual Julián Iranzo, Ginés Moreno, Jaime Penabad
Thresholded semantic framework for a fully integrated fuzzy logic language. J. Log. Algebraic Methods Program. 93 (2017)
Ginés Moreno, Jaime Penabad, José Antonio Riaza
On Similarity-Based Unfolding. SUM (2017)
Ginés Moreno, Jaime Penabad, José A. Riaza, Germán Vidal
Symbolic Execution and Thresholding for Efficiently Tuning Fuzzy Logic Programs. LOPSTR (2016)
Pascual Julián Iranzo, Ginés Moreno, Jaime Penabad, Carlos Vázquez
A Declarative Semantics for a Fuzzy Logic Language Managing Similarities and Truth Degrees. RuleML (2016)
Ginés Moreno, Jaime Penabad, Germán Vidal
Tuning Fuzzy Logic Programs with Symbolic Execution. CoRR (2016)
Ginés Moreno, Jaime Penabad, Carlos Vázquez
Beyond multi-adjoint logic programming. Int. J. Comput. Math. 92 (9) (2015)
Pascual Julián Iranzo, Ginés Moreno, Jaime Penabad, Carlos Vázquez
A Fuzzy Logic Programming Environment for Managing Similarity and Truth Degrees. PROLE (2014)
Ginés Moreno, Jaime Penabad, Carlos Vázquez
Fuzzy Sets for a Declarative Description of Multi-adjoint Logic Programming. RSCTC (2014)
Ginés Moreno, Jaime Penabad, Carlos Vázquez
Fuzzy Logic Rules Modeling Similarity-based Strict Equality. FedCSIS (2014)
Ginés Moreno, Pedro J. Morcillo, Jaime Penabad, Carlos Vázquez
String-based Multi-adjoint Lattices for Tracing Fuzzy Logic Computations. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 55 (2012)
Pedro J. Morcillo, Ginés Moreno, Jaime Penabad, Carlos Vázquez
Dedekind-MacNeille completion and Cartesian product of multi-adjoint lattices. Int. J. Comput. Math. 89 (13-14) (2012)
Pedro J. Morcillo, Ginés Moreno, Jaime Penabad, Carlos Vázquez
Declarative Traces into Fuzzy Computed Answers. RuleML Europe (2011)
Pedro J. Morcillo, Ginés Moreno, Jaime Penabad, Carlos Vázquez
Fuzzy Computed Answers Collecting Proof Information. IWANN (2) (2011)
Pedro J. Morcillo, Ginés Moreno, Jaime Penabad, Carlos Vázquez
A Practical Management of Fuzzy Truth-Degrees Using FLOPER. RuleML (2010)
Pedro J. Morcillo, Ginés Moreno, Jaime Penabad, Carlos Vázquez
Modeling Interpretive Steps into the FLOPER Environment. IC-AI (2010)
Pascual Julián, Ginés Moreno, Jaime Penabad
On the Declarative Semantics of Multi-Adjoint Logic Programs. IWANN (1) (2009)
Pascual Julián, Ginés Moreno, Jaime Penabad
An improved reductant calculus using fuzzy partial evaluation techniques. Fuzzy Sets Syst. 160 (2) (2009)
Pascual Julián, Ginés Moreno, Jaime Penabad
Measuring the Interpretive Cost in Fuzzy Logic Computations. WILF (2007)
Pascual Julián, Ginés Moreno, Jaime Penabad
Efficient Reductants Calculi using Partial Evaluation Techniques with Thresholding. Electron. Notes Theor. Comput. Sci. 188 (2007)
Pascual Julián, Ginés Moreno, Jaime Penabad
Operational/Interpretive Unfolding of Multi-adjoint Logic Programs. J. Univers. Comput. Sci. 12 (11) (2006)
Pascual Julián Iranzo, Ginés Moreno, Jaime Penabad
On fuzzy unfolding: A multi-adjoint approach. Fuzzy Sets Syst. 154 (1) (2005)
Pascual Julián Iranzo, Ginés Moreno, Jaime Penabad
Unfolding-based Improvements on Fuzzy Logic Programs. Electron. Notes Theor. Comput. Sci. 137 (1) (2005)