Moreno Valverde, Ginés Author
Transformation Rules and Strategies for Functional-Logic Programs
- Moreno, G
AI Communications - 2002
- SJR Quartile: Q3
- SJR Categories: Artificial Intelligence (Q3)
- ORCID
- Web of Science
A fuzzy logic programming environment for managing similarity and truth degrees
- Julian-Iranzo, Pascual
- Moreno, Gines
- Penabad, Jaime
- Vazquez, Carlos
arXiv preprint arXiv:1501.02034 - 2015
- SJR Categories: Software
- ORCID
- Web of Science
Tuning Fuzzy Logic Programs with Symbolic Execution
arXiv preprint arXiv:1608.04688 - 2016
- ORCID
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
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
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
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
Formal Properties of Needed Narrowing with Similarity Relations
- Moreno, Gines
- Pascual, Vicente
Electronic Notes in Theoretical Computer Science - 16/07/2007
- SJR Quartile: Q2
- SJR Categories: Computer Science (miscellaneous) (Q2); Theoretical Computer Science (Q3)
- 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
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
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
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
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
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
Annotating "fuzzy chance degrees" when debugging 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) - 17/7/2013
- Category normalized Impact: 1.909 (2013)
- CiteScore: 1.8 (2020)
- SJR: 0.36 (2013
- SNIP: 0.775 (2013
- 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
Fuzzy Xpath queries in Xquery
- 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/1/2014
- Category normalized Impact: 1.121 (2014)
- CiteScore: 1.8 (2020)
- SJR: 0.354 (2014
- SNIP: 0.753 (2014
- Scopus
- ORCID
- Web of Science
A fuzzy extension of SPARQL based on fuzzy sets and aggregators
- Almendros-Jiménez J.
- Becerra-Terón A.
- Moreno G.
IEEE International Conference on Fuzzy Systems - 23/8/2017
10.1109/fuzz-ieee.2017.8015411
- CiteScore: 1.8 (2020)
- SJR: 0.27 (2017
- SNIP: 0.561 (2017
- SJR Categories: Applied Mathematics; Artificial Intelligence; Software; Theoretical Computer Science
- Scopus
- ORCID
- Web of Science
Improving completeness in multi-adjoint logic computations via general reductants
- Morcillo, P.J.
- Moreno, G.
IEEE SSCI 2011 - Symposium Series on Computational Intelligence - FOCI 2011: 2011 IEEE Symposium on Foundations of Computational Intelligence - 2011
- SJR Categories: Artificial Intelligence; Computational Theory and Mathematics
- ORCID
A transformation system for lazy functional logic programs
- Alpuente, M
- Falaschi, M
- Moreno, G
- Vidal, G
- Middledorp, A
- Sato, T
International Symposium on Functional and Logic Programming - 1999
- ORCID
- Web of Science
Modeling interpretive steps in fuzzy logic computations
- Morcillo, Pedro J.
- Moreno, Gines
- DiGesu, V
- Pal, SK
- Petrosino, A
International Workshop on Fuzzy Logic and Applications - 2009
- 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
Automatic optimization of multi-paradigm declarative programs
- Moreno, G
- Garijo, FJ
- Riquelme, JC
- Toro, M
Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science) - 2002
- ORCID
- Web of Science
Improved tupling for optimizing multi-paradigm declarative programs
- Gonzalez, S
- Moreno, G
- Lemaitre, C
- Reyes, CA
- Gonzalez, JA
Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science) - 2004
- ORCID
- Web of Science
A Safe and Effective Tuning Technique for Similarity-Based Fuzzy Logic Programs
- Moreno, G.
- Riaza, J.A.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 2021
- ORCID
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
- JCR Quartile: Q4 (2017)
- Category normalized Impact: 0.669 (2017)
- ORCID
- Web of Science
This author has no patents.
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
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
Towards a Categorical Description of Fuzzy Logic Programming
2013
- ORCID
The Transformation System synth
1999
- 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