Moreno Valverde, Ginés Autor
Efficient Reductants Calculi using Partial Evaluation Techniques with Thresholding
- Julian, Pascual
- Moreno, Gines
- Penabad, Jaime
Electronic Notes in Theoretical Computer Science - 16/07/2007
- Cuartil SJR: Q2
- CiteScore: 1,2 (2020)
- SJR: 0,425 (2007)
- SNIP: 0,617 (2007)
- Categorías SJR: 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
- Cuartil SJR: Q2
- CiteScore: 1,2 (2020)
- SJR: 0,428 (2009)
- SNIP: 0,721 (2009)
- Categorías SJR: 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
- Cuartil SJR: Q2
- Categorías SJR: 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
- Cuartil SJR: Q2
- CiteScore: 1,2 (2020)
- SJR: 0,348 (2005)
- SNIP: 0,63 (2005)
- Categorías SJR: 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
- Cuartil SJR: Q2
- Impacto Normalizado por Categoría: 0,599 (2012)
- CiteScore: 1,2 (2020)
- SJR: 0,409 (2012)
- SNIP: 0,645 (2012)
- Categorías SJR: 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
- Cuartil SJR: Q3
- Categorías SJR: 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
- Cuartil SJR: Q4
- Categorías SJR: 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
- Cuartil SJR: Q4
- Categorías SJR: 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
- Cuartil SJR: Q3
- Categorías SJR: 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
- Cuartil SJR: Q4
- Categorías SJR: 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
- Cuartil SJR: Q4
- Categorías SJR: 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
- Impacto Normalizado por Categoría: 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
- Impacto Normalizado por Categoría: 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
- Categorías SJR: Artificial Intelligence
- ORCID
Este autor no tiene patentes.
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)
- Categorías SJR: Applied Mathematics; Artificial Intelligence; Software; Theoretical Computer Science
- Scopus
- ORCID
Índice h
Scopus: 11
Web of Science: 13
Índice i10
Scopus: 14
Web of Science: 21
Perfiles de autor
-
ORCID
-
Web of Science ResearcherID
-
Scopus Author ID
-
Dialnet id
Proyectos de investigación en la UAL
-
Acrónimo UAL18-TIC-A002-B1Desde: 1 de octubre de 2019Hasta: 30 de septiembre de 2020Financiado por: Universidad de AlmeríaImporte de financiación: 7.500,00 EURRol: Colaborador