Jaime Penabad

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