Ginés Moreno

Orcid: 0000-0001-5522-3496

According to our database1, Ginés Moreno authored at least 80 papers between 1993 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Seeking a safe and efficient similarity-based unfolding rule.
Int. J. Approx. Reason., December, 2023

Some properties of substitutions in the framework of similarity relations.
Fuzzy Sets Syst., August, 2023

2021
A Safe and Effective Tuning Technique for Similarity-Based Fuzzy Logic Programs.
Proceedings of the Advances in Computational Intelligence, 2021

Flexible Aggregation in FSA-SPARQL.
Proceedings of the 30th IEEE International Conference on Fuzzy Systems, 2021

2020
The Fuzzy Logic Programming language FASILL: Design and implementation.
Int. J. Approx. Reason., 2020

Symbolic Similarity Relations for Tuning Fully Integrated Fuzzy Logic Programs.
Proceedings of the Rules and Reasoning - 4th International Joint Conference, 2020

Using SAT/SMT Solvers for Efficiently Tuning Fuzzy Logic Programs.
Proceedings of the 29th IEEE International Conference on Fuzzy Systems, 2020

2019
Fuzzy Logic Programming for Tuning Neural Networks.
Proceedings of the Rules and Reasoning - Third International Joint Conference, 2019

An Online Tool for Unfolding Symbolic Fuzzy Logic Programs.
Proceedings of the Advances in Computational Intelligence, 2019

Tuning Fuzzy SPARQL Queries in a Fuzzy Logic Programming Environment.
Proceedings of the 2019 IEEE International Conference on Fuzzy Systems, 2019

2018
Fuzzy queries of social networks with FSA-SPARQL.
Expert Syst. Appl., 2018

Smart Design of Similarity Relations for Fuzzy Logic Programming Environments.
Proceedings of the IEEE Symposium Series on Computational Intelligence, 2018

FASILL: Fuzzy Correct Answers and Soundness⋆.
Proceedings of the 2018 IEEE International Conference on Fuzzy Systems, 2018

2017
Thresholded semantic framework for a fully integrated fuzzy logic language.
J. Log. Algebraic Methods Program., 2017

On Similarity-Based Unfolding.
Proceedings of the Scalable Uncertainty Management - 11th International Conference, 2017

Testing properties of fuzzy connectives and truth degrees with the latticemaker tool.
Proceedings of the 2017 IEEE Symposium Series on Computational Intelligence, 2017

An Online Tool for Tuning Fuzzy Logic Programs.
Proceedings of the Rules and Reasoning - International Joint Conference, 2017

A fuzzy extension of SPARQL based on fuzzy sets and aggregators.
Proceedings of the 2017 IEEE International Conference on Fuzzy Systems, 2017

2016
Tuning Fuzzy Logic Programs with Symbolic Execution.
CoRR, 2016

A Declarative Semantics for a Fuzzy Logic Language Managing Similarities and Truth Degrees.
Proceedings of the Rule Technologies. Research, Tools, and Applications, 2016

Symbolic Execution and Thresholding for Efficiently Tuning Fuzzy Logic Programs.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2016

Debugging while interpreting fuzzy XPath queries.
Proceedings of the 2016 IEEE International Conference on Fuzzy Systems, 2016

2015
Fuzzy XPath through Fuzzy Logic Programming.
New Gener. Comput., 2015

Beyond multi-adjoint logic programming.
Int. J. Comput. Math., 2015

Fuzzy XPath for the Automatic Search of Fuzzy Formulae Models.
Proceedings of the Scalable Uncertainty Management - 9th International Conference, 2015

Designing Lattices of Truth Degrees for Fuzzy Logic Programming Environments.
Proceedings of the IEEE Symposium Series on Computational Intelligence, 2015

Similarity-Based Strict Equality in a Fully Integrated Fuzzy Logic Language.
Proceedings of the Rule Technologies: Foundations, Tools, and Applications, 2015

Improving Multi-adjoint Logic Programs by Unfolding Fuzzy Connective Definitions.
Proceedings of the Advances in Computational Intelligence, 2015

Reducing Noisy-Neighbor Impact with a Fuzzy Affinity-Aware Scheduler.
Proceedings of the 2015 International Conference on Cloud and Autonomic Computing, 2015

A cloud scheduler assisted by a fuzzy affinity-aware engine.
Proceedings of the 2015 IEEE International Conference on Fuzzy Systems, 2015

Thresholded debugging of XPath queries.
Proceedings of the 2015 IEEE International Conference on Fuzzy Systems, 2015

2014
A Fuzzy Logic Programming Environment for Managing Similarity and Truth Degrees.
Proceedings of the Proceedings XIV Jornadas sobre Programación y Lenguajes, 2014

Fuzzy Sets for a Declarative Description of Multi-adjoint Logic Programming.
Proceedings of the Rough Sets and Current Trends in Computing, 2014

Dynamic Filtering of Ranked Answers When Evaluating Fuzzy XPath Queries.
Proceedings of the Rough Sets and Current Trends in Computing, 2014

Fuzzy XPath Queries in XQuery.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2014 Conferences, 2014

Fuzzy Logic Rules Modeling Similarity-based Strict Equality.
Proceedings of the 2014 Federated Conference on Computer Science and Information Systems, 2014

2013
A Fuzzy Approach to Cloud Admission Control for Safe Overbooking.
Proceedings of the Fuzzy Logic and Applications - 10th International Workshop, 2013

Towards Categorical Fuzzy Logic Programming.
Proceedings of the Fuzzy Logic and Applications - 10th International Workshop, 2013

An Unfolding-Based Preprocess for Reinforcing Thresholds in Fuzzy Tabulation.
Proceedings of the Advances in Computational Intelligence, 2013

Annotating "Fuzzy Chance Degrees" When Debugging XPath Queries.
Proceedings of the Advances in Computational Intelligence, 2013

2012
Dedekind-MacNeille completion and Cartesian product of multi-adjoint lattices.
Int. J. Comput. Math., 2012

String-based Multi-adjoint Lattices for Tracing Fuzzy Logic Computations.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012

A XPath Debugger Based on Fuzzy Chance Degrees.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2012 Workshops, 2012

2011
Fuzzy Logic Programming for Implementing a Flexible XPath-based Query Language.
Proceedings of the XI Spanish Conference on Programming and Languages, 2011

Declarative Traces into Fuzzy Computed Answers.
Proceedings of the Rule-Based Reasoning, Programming, and Applications, 2011

A Flexible XPath-Based Query Language Implemented with Fuzzy Logic Programming.
Proceedings of the Rule-Based Reasoning, Programming, and Applications, 2011

Fuzzy Computed Answers Collecting Proof Information.
Proceedings of the Advances in Computational Intelligence, 2011

A Static Preprocess for Improving Fuzzy Thresholded Tabulation.
Proceedings of the Advances in Computational Intelligence, 2011

Improving completeness in multi-adjoint logic computations via general reductants.
Proceedings of the IEEE Symposium on Foundations of Computational Intelligence, 2011

2010
A Practical Management of Fuzzy Truth-Degrees Using FLOPER.
Proceedings of the Semantic Web Rules - International Symposium, 2010

Similarity-Based Equality with Lazy Evaluation.
Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Methods, 2010

Modeling Interpretive Steps into the FLOPER Environment.
Proceedings of the 2010 International Conference on Artificial Intelligence, 2010

2009
A hybrid programming scheme combining fuzzy-logic and functional-logic resources.
Fuzzy Sets Syst., 2009

An improved reductant calculus using fuzzy partial evaluation techniques.
Fuzzy Sets Syst., 2009

Preface.
Proceedings of the Ninth Spanish Conference on Programming and Languages, 2009

Modeling Interpretive Steps in Fuzzy Logic Computations.
Proceedings of the Fuzzy Logic and Applications, 8th International Workshop, 2009

On the Declarative Semantics of Multi-Adjoint Logic Programs.
Proceedings of the Bio-Inspired Systems: Computational and Ambient Intelligence, 2009

On Cost Estimations for Executing Fuzzy Logic Programs.
Proceedings of the 2009 International Conference on Artificial Intelligence, 2009

2008
Thresholded Tabulation in a Fuzzy Logic Setting.
Proceedings of the Eighth Spanish Conference on Programming and Computer Languages, 2008

Programming with Fuzzy Logic Rules by Using the FLOPER Tool.
Proceedings of the Rule Representation, 2008

2007
Optimizing Fuzzy Logic Programs by Unfolding, Aggregation and Folding.
Proceedings of the Eighth International Workshop on Rule Based Programming, 2007

Measuring the Interpretive Cost in Fuzzy Logic Computations.
Proceedings of the Applications of Fuzzy Sets Theory, 2007

2006
Operational/Interpretive Unfolding of Multi-adjoint Logic Programs.
J. Univers. Comput. Sci., 2006

Formal Properties of Needed Narrowing with Similarity Relations.
Proceedings of the Sixth Spanish Conference on Programming and Languages, 2006

Efficient Reductants Calculi using Partial Evaluation Techniques with Thresholding.
Proceedings of the Sixth Spanish Conference on Programming and Languages, 2006

Building a Fuzzy Transformation System.
Proceedings of the SOFSEM 2006: Theory and Practice of Computer Science, 2006

2005
On fuzzy unfolding: A multi-adjoint approach.
Fuzzy Sets Syst., 2005

Programming with Fuzzy Logic and Mathematical Functions.
Proceedings of the Fuzzy Logic and Applications, 6th International Workshop, 2005

2004
Rules + strategies for transforming lazy functional logic programs.
Theor. Comput. Sci., 2004

Unfolding-based Improvements on Fuzzy Logic Programs.
Proceedings of the Fourth Spanish Conference on Programming and Computer Languages, 2004

Improved Tupling for Optimizing Multi-paradigm Declarative Programs.
Proceedings of the Advances in Artificial Intelligence, 2004

2003
A narrowing-based instantiation rule for rewriting-based fold/unfold transformations.
Proceedings of the 12th International Workshop on Functional and Constraint Logic Programming, 2003

2002
Transformation Rules and Strategies for Functional-Logic Programs.
AI Commun., 2002

Automatic Optimization of Multi-paradigm Declarative Programs.
Proceedings of the Advances in Artificial Intelligence, 2002

2000
Using PE to Automate Program Composition.
Proceedings of the 9th International Workshop on Functional and Logic Programming, 2000

An Automatic Composition Algorithm for Functional Logic Programs.
Proceedings of the SOFSEM 2000: Theory and Practice of Informatics, 27th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 25, 2000

1999
Un Sistema de Transformación para Programas Multiparadigma.
Inteligencia Artif., 1999

A Transformation System for Lazy Functional Logic Programs.
Proceedings of the Functional and Logic Programming, 4th Fuji International Symposium, 1999

1997
Safe Folding/Unfolding with Conditional Narrowing.
Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997

1993
Parallel algorithm for table division in relational databases.
Microprocess. Microprogramming, 1993


  Loading...