Moreno Valverde, Ginés Author
Efficient Reductants Calculi using Partial Evaluation Techniques with Thresholding
- Julian, Pascual
- Moreno, Gines
- Penabad, Jaime
Electronic Notes in Theoretical Computer Science - 16/07/2007
- SJR Quartile: Q2
- CiteScore: 1.2 (2020)
- SJR: 0.425 (2007
- SNIP: 0.617 (2007
- SJR Categories: Computer Science (miscellaneous) (Q2); Theoretical Computer Science (Q3)
- Scopus
- ORCID
- Web of Science
Thresholded Tabulation in a Fuzzy Logic Setting
- Julian, Pascual
- Medina, Jesus
- Moreno, Gines
- Ojeda-Aciego, Manuel
Electronic Notes in Theoretical Computer Science - 4/08/2009
- SJR Quartile: Q2
- CiteScore: 1.2 (2020)
- SJR: 0.428 (2009
- SNIP: 0.721 (2009
- SJR Categories: Computer Science (miscellaneous) (Q2); Theoretical Computer Science (Q3)
- Scopus
- ORCID
- Web of Science
Optimizing fuzzy logic programs by unfolding, aggregation and folding
- Guerrero, Juan Antonio
- Moreno, Gines
Electronic Notes in Theoretical Computer Science - 20/11/2008
- SJR Quartile: Q2
- SJR Categories: Computer Science (miscellaneous) (Q2); Theoretical Computer Science (Q3)
- ORCID
- Web of Science
Unfolding-based improvements on fuzzy logic programs
- Julian, Pascual
- Moreno, Gines
- Penabad, Jaime
Electronic Notes in Theoretical Computer Science - 20/07/2005
- SJR Quartile: Q2
- CiteScore: 1.2 (2020)
- SJR: 0.348 (2005
- SNIP: 0.63 (2005
- SJR Categories: Computer Science (miscellaneous) (Q2); Theoretical Computer Science (Q3)
- Scopus
- ORCID
- Web of Science
Fuzzy logic programming for implementing a flexible XPath-based query language
- Almendros-Jiménez, J.M.
- Luna, A.
- Moreno, G.
Electronic Notes in Theoretical Computer Science - 5/5/2012
- SJR Quartile: Q2
- Category normalized Impact: 0.599 (2012)
- CiteScore: 1.2 (2020)
- SJR: 0.409 (2012
- SNIP: 0.645 (2012
- SJR Categories: Computer Science (miscellaneous) (Q2); Theoretical Computer Science (Q3)
- Scopus
- ORCID
- Web of Science
XII Spanish Conference on Programming and Computer Languages (PROLE 2012)
Electronic Communications of the EASST - 2012
- SJR Quartile: Q3
- SJR Categories: Software (Q3); Computational Theory and Mathematics (Q4)
- ORCID
Analyzing fuzzy logic computations with Fuzzy XPath
- Almendros-Jiménez J.
- Luna A.
- Moreno G.
- Vázquez C.
Electronic Communications of the EASST - 1/1/2013
10.14279/tuj.eceasst.64.990.984
- SJR Quartile: Q4
- SJR Categories: Computational Theory and Mathematics (Q4); Software (Q4)
- Scopus
- ORCID
Automatic proving of fuzzy formulae with fuzzy logic programming and SMT
- Bofill, M.
- Moreno, G.
- Vázquez, C.
- Villaret, M.
Electronic Communications of the EASST - 2013
10.14279/tuj.eceasst.64.991.974
- SJR Quartile: Q4
- SJR Categories: Computational Theory and Mathematics (Q4); Software (Q4)
- ORCID
String-based multi-adjoint lattices for tracing fuzzy logic computations
- Morcillo, P.J.
- Moreno, G.
- Penabad, J.
- Vázquez, C.
Electronic Communications of the EASST - 2012
10.14279/tuj.eceasst.55.820.818
- SJR Quartile: Q3
- SJR Categories: Software (Q3); Computational Theory and Mathematics (Q4)
- ORCID
Efficient thresholded tabulation for fuzzy query answering
- Julian, Pascual
- Medina, Jesus
- Moreno, Gines
- Ojeda-Aciego, Manuel
- BouchonMeunier, B
- Magdalena, L
- OjedaAciego, M
- Verdegay, JL
- Yager, RR
Studies in Fuzziness and Soft Computing - 8/2/2010
- CiteScore: 1.1 (2020)
- SJR: 0.169 (2010
- SNIP: 0.3 (2010
- Scopus
- ORCID
- Web of Science
Symbolic unfolding of multi-adjoint logic programs
- Moreno, G.
- Penabad, J.
- Riaza, J.A.
Studies in Computational Intelligence - 2019
- SJR Quartile: Q4
- SJR Categories: Artificial Intelligence (Q4)
- ORCID
- Web of Science
Efficient unfolding of fuzzy connectives for multi-adjoint logic programs
- Morcillo, P.J.
- Moreno, G.
Studies in Computational Intelligence - 2018
- SJR Quartile: Q4
- SJR Categories: Artificial Intelligence (Q4)
- ORCID
Dynamic filtering of ranked answers when evaluating fuzzy XPath queries
- Almendros-Jiménez, J.M.
- Luna Tedesqui, A.
- Moreno, G.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 1/1/2014
- Category normalized Impact: 0.692 (2014)
- CiteScore: 1.8 (2020)
- SJR: 0.354 (2014
- SNIP: 0.753 (2014
- Scopus
- ORCID
- Web of Science
Measuring the interpretive cost in fuzzy logic computations
- Julian, Pascual
- Moreno, Gines
- Penabad, Jaime
- Masulli, F
- Mitra, S
- Pasi, G
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 1/1/2007
- CiteScore: 1.8 (2020)
- SJR: 0.293 (2007
- SNIP: 0.522 (2007
- Scopus
- ORCID
- Web of Science
Programming with fuzzy logic and mathematical functions
- Moreno, G
- Pascual, V
- Bloch, I
- Petrosino, A
- Tettamanzi, AGB
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 2006
- ORCID
- Web of Science
A flexible XPath-based query language implemented with fuzzy logic programming
- Almendros-Jiménez, J.M.
- Luna, A.
- Moreno, G.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 1/12/2011
- Category normalized Impact: 2.652 (2011)
- CiteScore: 1.8 (2020)
- SJR: 0.338 (2011
- SNIP: 0.773 (2011
- Scopus
- ORCID
- Web of Science
An Online Tool for Unfolding Symbolic Fuzzy Logic Programs
- Moreno, Gines
- Antonio Riaza, Jose
- Rojas, I
- Joya, G
- Catala, A
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 2019
- ORCID
- Web of Science
On similarity-based unfolding
- Moreno, Gines
- Penabad, Jaime
- Antonio Riaza, Jose
- Moral, S
- Pivert, O
- Sanchez, D
- Marin, N
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 2017
- ORCID
- Web of Science
Building a fuzzy transformation system
- Moreno, G
- Wiedermann, J
- Tel, G
- Pokorny, J
- Bielikova, M
- Stuller, J
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 2006
- ORCID
- Web of Science
Similarity-based Unification Embedded into Narrowing
UNIF07 - 2007
- ORCID
Unfolding fuzzy logic programs
Proc. of the Fourth International Conference on Intelligent Systems Design and Applications, ISDA - 2004
- ORCID
Combining tabulation and thresholding techniques for executing multi-adjoint logic programs
Proc. of the 12th Intl Conf on Information Processing and Management of Uncertainty in Knowledge-based Systems (IPMU 2008), Málaga, Spain - 2008
- ORCID
Using floper for running/debugging fuzzy logic programs
Proc. of the 12th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU’2008), L. Magdalena, M. Ojeda-Aciego and J. Verdegay, Ed. Málaga - 2008
- ORCID
Dedekind-MacNeille completion and multiadjoint lattices
Proc. of International Conference on Computational and Mathematical Methods in Science and Engineering (CMMSE’11) - 2011
- ORCID
The Fuzzy Logic Programming Environment FLOPER
Proc. of 15th International Symposium on Formal Methods (FM’08), Posters and Research Tools, May - 2008
- ORCID
Floper, a fuzzy logic programming environment for research
Proceedings of the Spanish Conference on Programming and Computer Languages, PROLE 2008 - 2008
- ORCID
Smart Design of Similarity Relations for Fuzzy Logic Programming Environments
- Guerrero, J.A.
- Moreno, G.
- Riaza, J.A.
- Sánchez, J.
Proceedings of the 2018 IEEE Symposium Series on Computational Intelligence, SSCI 2018 - 2019
- ORCID
Modeling interpretive steps into the FLOPER environment
- Morcillo, P.J.
- Moreno, G.
- Penabad, J.
- Vázquez, C.
Proceedings of the 2010 International Conference on Artificial Intelligence, ICAI 2010 - 2010
- SJR Categories: Artificial Intelligence
- ORCID
This author has no patents.
Towards a Categorical Description of Fuzzy Logic Programming
2013
- ORCID
The Transformation System synth
1999
- ORCID
Transformation-based strategies for lazy functional logic programs
1999
- ORCID
Impact analysis of SBAS authentication
- Fernandez-Hernandez, Ignacio
- Chatre, Eric
- Dalla Chiara, Andrea
- Da Broi, Giacomo
- Pozzobon, Oscar
- Fidalgo, Javier
- Odriozola, Miguel
- Moreno, Gines
- Sturaro, Silvia
- Caparra, Gianluca
- Laurenti, Nicola
- Rijmen, Vincent
NAVIGATION-JOURNAL OF THE INSTITUTE OF NAVIGATION - 12/2018
Tuning Fuzzy SPARQL Queries in a Fuzzy Logic Programming Environment
- Almendros-Jimenez J.
- Becerra-Teron A.
- Moreno G.
- Riaza J.
2019 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE) - 1/06/2019
10.1109/fuzz-ieee.2019.8858958
- CiteScore: 1.8 (2020)
- SJR: 0.271 (2019
- SNIP: 0.525 (2019
- SJR Categories: Applied Mathematics; Artificial Intelligence; Software; Theoretical Computer Science
- Scopus
- ORCID
h index
Scopus: 11
Web of Science: 13
i10 index
Scopus: 14
Web of Science: 21
Author profiles
-
ORCID
-
Web of Science ResearcherID
-
Scopus Author ID
-
Dialnet id
Research projects at UAL
-
Acronym UAL18-TIC-A002-B1Since: October 1, 2019Until: September 30, 2020Funded by: Universidad de AlmeríaFunding / grant amount: 7,500.00 EURRole: Colaborador