Jaime Penabad

Proceedings of the 2018 IEEE International Conference on Fuzzy Systems, 2018

2017

Thresholded semantic framework for a fully integrated fuzzy logic language.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2017

On Similarity-Based Unfolding.

[BibT_eX]

[DOI]

José Antonio Riaza

Proceedings of the Scalable Uncertainty Management - 11th International Conference, 2017

Testing properties of fuzzy connectives and truth degrees with the latticemaker tool.

[BibT_eX]

[DOI]

Juan Antonio Guerrero

Proceedings of the 2017 IEEE Symposium Series on Computational Intelligence, 2017

2016

Tuning Fuzzy Logic Programs with Symbolic Execution.

[BibT_eX]

[DOI]

Germán Vidal

CoRR, 2016

A Declarative Semantics for a Fuzzy Logic Language Managing Similarities and Truth Degrees.

[BibT_eX]

[DOI]

Proceedings of the Rule Technologies. Research, Tools, and Applications, 2016

Symbolic Execution and Thresholding for Efficiently Tuning Fuzzy Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Logic-Based Program Synthesis and Transformation, 2016

2015

Beyond multi-adjoint logic programming.

[BibT_eX]

[DOI]

Int. J. Comput. Math., 2015

2014

A Fuzzy Logic Programming Environment for Managing Similarity and Truth Degrees.

[BibT_eX]

[DOI]

Proceedings of the Proceedings XIV Jornadas sobre Programación y Lenguajes, 2014

Fuzzy Sets for a Declarative Description of Multi-adjoint Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Rough Sets and Current Trends in Computing, 2014

Fuzzy Logic Rules Modeling Similarity-based Strict Equality.

[BibT_eX]

[DOI]

Proceedings of the 2014 Federated Conference on Computer Science and Information Systems, 2014

2012

Dedekind-MacNeille completion and Cartesian product of multi-adjoint lattices.

[BibT_eX]

[DOI]

Int. J. Comput. Math., 2012

String-based Multi-adjoint Lattices for Tracing Fuzzy Logic Computations.

[BibT_eX]

[DOI]

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

2011

Declarative Traces into Fuzzy Computed Answers.

[BibT_eX]

[DOI]

Proceedings of the Rule-Based Reasoning, Programming, and Applications, 2011

Fuzzy Computed Answers Collecting Proof Information.

[BibT_eX]

[DOI]

Proceedings of the Advances in Computational Intelligence, 2011

2010

A Practical Management of Fuzzy Truth-Degrees Using FLOPER.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web Rules - International Symposium, 2010

Modeling Interpretive Steps into the FLOPER Environment.

[BibT_eX]

Proceedings of the 2010 International Conference on Artificial Intelligence, 2010

2009

An improved reductant calculus using fuzzy partial evaluation techniques.

[BibT_eX]

[DOI]

Fuzzy Sets Syst., 2009

On the Declarative Semantics of Multi-Adjoint Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Bio-Inspired Systems: Computational and Ambient Intelligence, 2009

2007

Measuring the Interpretive Cost in Fuzzy Logic Computations.

[BibT_eX]

[DOI]

Proceedings of the Applications of Fuzzy Sets Theory, 2007

2006

Operational/Interpretive Unfolding of Multi-adjoint Logic Programs.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2006

Efficient Reductants Calculi using Partial Evaluation Techniques with Thresholding.

[BibT_eX]

[DOI]

Proceedings of the Sixth Spanish Conference on Programming and Languages, 2006

2005

On fuzzy unfolding: A multi-adjoint approach.

[BibT_eX]

[DOI]

Fuzzy Sets Syst., 2005

2004

Unfolding-based Improvements on Fuzzy Logic Programs.

[BibT_eX]

[DOI]