Moreno Valverde, Ginés Autor

XII Spanish Conference on Programming and Computer Languages (PROLE 2012)

Electronic Communications of the EASST - 2012

  • ORCID

Using Partial Evaluation to Automate Program Composition

  • ORCID

Un Sistema de Transformación para Programas Multiparadigma.

Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial - 1999

  • ORCID
Open Access

Unfolding-based improvements on fuzzy logic programs

  • Julian, Pascual
  • Moreno, Gines
  • Penabad, Jaime

Electronic Notes in Theoretical Computer Science - 20/07/2005

10.1016/j.entcs.2005.01.040

Número de citas: 1 (Web of Science) 1 (Scopus)
Open Access

Tuning fuzzy SPARQL queries

  • Jesús M. Almendros-Jiménez
  • Antonio Becerra-Terón
  • Ginés Moreno
  • José A. Riaza

International Journal of Approximate Reasoning - 1/7/2024

10.1016/j.ijar.2024.109209

Número de citas:

Tuning Fuzzy Logic Programs with Symbolic Execution

arXiv preprint arXiv:1608.04688 - 2016

  • ORCID

Transformation Rules and Strategies for Functional-Logic Programs

  • Moreno, G

AI Communications - 2002

Número de citas: 2 (Web of Science)

Towards an XQuery-based implementation of Fuzzy XPath (Work in Progress)

XIV Jornadas sobre Programación y Lenguajes

  • ORCID
Open Access

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

10.1016/j.entcs.2009.07.063

Número de citas: 9 (Web of Science) 9 (Scopus)
Open Access

Thresholded semantic framework for a fully integrated fuzzy logic language

  • Julian-Iranzo, Pascual
  • Moreno, Gines
  • Penabad, Jaime

Journal of Logical and Algebraic Methods in Programming - 1/12/2017

10.1016/j.jlamp.2017.08.002

Número de citas: 14 (Web of Science) 11 (Scopus)

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

10.1007/978-3-319-03200-9_12

  • ORCID

Symbolic unfolding of multi-adjoint logic programs

  • Moreno, G.
  • Penabad, J.
  • Riaza, J.A.

Studies in Computational Intelligence - 2019

10.1007/978-3-030-00485-9_5

Número de citas: 6 (Web of Science)
Open Access

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
... Ver más Contraer

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 1/1/2015

10.1007/978-3-319-21542-6_13

Número de citas: 2 (Web of Science) 2 (Scopus)

Similarity-Based Equality with Lazy Evaluation

  • Moreno, Gines
  • Hullermeir, E
  • Kruse, R
  • Hoffmann, F

Communications in Computer and Information Science - 2010

10.1007/978-3-642-14055-6_12

Número de citas: 2 (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

10.1007/bfb0026999

  • 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

Número de citas: 5 (Web of Science)
Open Access

On the declarative semantics of multi-adjoint logic programs

  • Julian, P.
  • Moreno, G.
  • Penabad, J.
  • Cabestany, J
  • Prieto, A
  • Sandoval, F
  • Corchado, JM
... Ver más Contraer

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 20/8/2009

10.1007/978-3-642-02478-8_32

Número de citas: 12 (Web of Science) 15 (Scopus)

On similarity-based unfolding

  • Moreno, Gines
  • Penabad, Jaime
  • Antonio Riaza, Jose
  • Moral, S
  • Pivert, O
  • Sanchez, D
  • Marin, N
... Ver más Contraer

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 2017

10.1007/978-3-319-67582-4_32

Número de citas: 1 (Web of Science)
Open Access

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

10.1007/978-3-540-73400-0_4

Número de citas: 4 (Web of Science) 6 (Scopus)

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

10.1007/978-3-319-19258-1_42

Número de citas: 1 (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

Número de citas: 1 (Web of Science) 3 (Scopus)

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

10.1109/ssci.2017.8280961

Número de citas: 10 (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

10.1007/978-3-319-63139-4_8

Número de citas: 7 (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

10.1109/ssci.2018.8628871

  • 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

10.1109/iccac.2015.14

Número de citas: 11 (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

10.1007/978-3-540-88808-6-14

Número de citas: 22 (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

Número de citas: 3 (Scopus)

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
... Ver más Contraer

NAVIGATION-JOURNAL OF THE INSTITUTE OF NAVIGATION - 12/2018

10.1002/navi.267

Número de citas: 17 (Web of Science)

Scopus: 11

Web of Science: 13

Scopus: 14

Web of Science: 21

  • Acrónimo UAL18-TIC-A002-B1
    Desde: 1 de octubre de 2019
    Hasta: 30 de septiembre de 2020
    Financiado por: Universidad de Almería
    Importe de financiación: 7.500,00 EUR
    Rol: Colaborador
Última actualización de los datos: 11/05/24 9:42
Próxima recolección programada: 18/05/24 3:00