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
Dedekind-MacNeille completion and Cartesian product of multi-adjoint lattices
- Morcillo, Pedro J.
- Moreno, Gines
- Penabad, Jaime
- Vazquez, Carlos
International Journal of Computer Mathematics - 2012
- Cuartil SJR: Q2
- Factor Impacto JCR: 0,542 (2012)
- Impacto JCR a 5 años: 0,561
- Categorías JCR: MATHEMATICS, APPLIED
- Categorías SJR: Computer Science Applications (Q2); Applied Mathematics (Q3); Computational Theory and Mathematics (Q3)
- ORCID
- Web of Science
Building a fuzzy logic programming tool
Proc. of VII Jornadas sobre Programación y Lenguajes, PROLE - 2007
- ORCID
Beyond multi-adjoint logic programming
- Moreno, Gines
- Penabad, Jaime
- Vazquez, Carlos
International Journal of Computer Mathematics - 2/09/2015
- Cuartil SJR: Q2
- Factor Impacto JCR: 0,577 (2015)
- Impacto JCR a 5 años: 0,64
- Categorías JCR: MATHEMATICS, APPLIED
- Categorías SJR: Computer Science Applications (Q2); Applied Mathematics (Q3); Computational Theory and Mathematics (Q3)
- ORCID
- Web of Science
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
An improved reductant calculus using fuzzy partial evaluation techniques
- Julian, Pascual
- Moreno, Gines
- Penabad, Jaime
Fuzzy Sets and Systems - 16/01/2009
- Cuartil SJR: Q1
- Factor Impacto JCR: 2,138 (2009)
- CiteScore: 7 (2020)
- SJR: 1,232 (2009)
- SNIP: 1,96 (2009)
- Impacto JCR a 5 años: 2,551
- Categorías JCR: MATHEMATICS, APPLIED
- Categorías SJR: Artificial Intelligence (Q1); Logic (Q1)
- Scopus
- ORCID
- Web of Science
A narrowing-based instantiation rule for rewriting-based fold/unfold transformations
- Moreno, G.
Electronic Notes in Theoretical Computer Science - 2003
- Cuartil SJR: Q3
- Categorías SJR: Computer Science (miscellaneous) (Q3); Theoretical Computer Science (Q3)
- 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
A hybrid programming scheme combining fuzzy-logic and functional-logic resources
- Moreno, Gines
- Pascual, Vicente
Fuzzy Sets and Systems - 16/05/2009
- Cuartil SJR: Q1
- Factor Impacto JCR: 2,138 (2009)
- Impacto JCR a 5 años: 2,551
- Categorías JCR: MATHEMATICS, APPLIED
- Categorías SJR: Artificial Intelligence (Q1); Logic (Q1)
- ORCID
- Web of Science
Towards categorical fuzzy logic programming
- Eklund, P.
- Galán, M.Á.
- Helgesson, R.
- Kortelainen, J.
- Moreno, G.
- Vaźquez, C.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 2013
- ORCID
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
Similarity-based strict equality in a fully integrated fuzzy logic language
- Julian-Iranzo, Pascual
- Moreno, Gines
- Vazquez, Carlos
- Bassiliades, N
- Gottlob, G
- Sadri, F
- Paschke, A
- Roman, D
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 1/1/2015
- CiteScore: 1,8 (2020)
- SJR: 0,369 (2015)
- SNIP: 0,708 (2015)
- Scopus
- ORCID
- Web of Science
Similarity-Based Equality with Lazy Evaluation
- Moreno, Gines
- Hullermeir, E
- Kruse, R
- Hoffmann, F
Communications in Computer and Information Science - 2010
- ORCID
- Web of Science
Safe folding/unfolding with conditional narrowing
- Alpuente, M.
- Falaschi, M.
- Moreno, G.
- Vidal, G.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 1997
- ORCID
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
On the declarative semantics of multi-adjoint logic programs
- Julian, P.
- Moreno, G.
- Penabad, J.
- Cabestany, J
- Prieto, A
- Sandoval, F
- Corchado, JM
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 20/8/2009
- CiteScore: 1,8 (2020)
- SJR: 0,302 (2009)
- SNIP: 0,586 (2009)
- Scopus
- 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
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
Improving multi-adjoint logic programs by unfolding fuzzy connective definitions
- Morcillo, Pedro J.
- Moreno, Gines
- Rojas, I
- Joya, G
- Catala, A
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 2015
- ORCID
- Web of Science
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
Unfolding fuzzy logic programs
Proc. of the Fourth International Conference on Intelligent Systems Design and Applications, ISDA - 2004
- ORCID
Thresholded debugging of XPath queries
- Almendros-Jimenez, J.M.
- Luna, A.
- Moreno, G.
IEEE International Conference on Fuzzy Systems - 25/08/2015
10.1109/fuzz-ieee.2015.7338027
- CiteScore: 1,8 (2020)
- SJR: 0,283 (2015)
- SNIP: 0,519 (2015)
- Categorías SJR: Applied Mathematics; Artificial Intelligence; Software; Theoretical Computer Science
- Scopus
- ORCID
- Web of Science
The Fuzzy Logic Programming Environment FLOPER
Proc. of 15th International Symposium on Formal Methods (FM’08), Posters and Research Tools, May - 2008
- ORCID
Testing properties of fuzzy connectives and truth degrees with the latticemaker tool
- Antonio Guerrero, Juan
- Mendieta, Felix
- Moreno, Gines
- Penabad, Jaime
- Antonio Riaza, Jose
- IEEE
2017 IEEE Symposium Series on Computational Intelligence, SSCI 2017 - Proceedings - 2018
- Cuartil JCR: Q4 (2018)
- Impacto Normalizado por Categoría: 1,35 (2018)
- ORCID
- Web of Science
Symbolic Execution and Thresholding for Efficiently Tuning Fuzzy Logic Programs
- Moreno, Gines
- Penabad, Jaime
- Riaza, Jose A.
- Vidal, German
- Hermenegildo, MV
- LopezGarcia, P
LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, LOPSTR 2016 - 2017
- Cuartil JCR: Q4 (2017)
- Impacto Normalizado por Categoría: 0,669 (2017)
- ORCID
- Web of Science
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
Similarity-based Unification Embedded into Narrowing
UNIF07 - 2007
- ORCID
Reducing Noisy-Neighbor Impact with a Fuzzy Affinity-Aware Scheduler
- Tomas, Luis
- Tordsson, Johan
- Vazquez, Carlos
- Moreno, Gines
- IEEE
2015 INTERNATIONAL CONFERENCE ON CLOUD AND AUTONOMIC COMPUTING (ICCAC) - 2015
- ORCID
- Web of Science
Programming with fuzzy logic rules by using the FLOPER tool
- Morcillo, Pedro J.
- Moreno, Gines
- Bassiliades, N
- Governatori, G
- Paschke, A
International Workshop on Rules and Rule Markup Languages for the Semantic Web - 2008
- ORCID
- Web of Science
Este autor no tiene patentes.
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
Transformation-based strategies for lazy functional logic programs
1999
- ORCID
Towards a Categorical Description of Fuzzy Logic Programming
2013
- ORCID
The Transformation System synth
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
Í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