RDF/XML JSON-LD N3/Turtle RDF/JSON

Moreno Valverde, Ginés Autor

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

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/7/2005

10.1016/j.entcs.2005.01.040

Número de citas: 1 (Web of Science) 1 (Scopus)
  • 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)

Tuning similarity-based fuzzy logic programs

  • Moreno, Gines
  • Riaza, Jose A.

JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING - 1/2025

10.1016/j.jlamp.2024.101020

Número de citas:
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: 1 (Scopus)
  • CiteScore: 6,9 (2023)
  • SJR: 0,877 (2023)
  • SNIP: 1,5 (2023)

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)
  • Cuartil SJR: Q3
  • Categorías SJR: Artificial Intelligence (Q3)

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/8/2009

10.1016/j.entcs.2009.07.063

Número de citas: 9 (Web of Science) 9 (Scopus)
  • 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)

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

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

Efficient unfolding of fuzzy connectives for multi-adjoint logic programs

  • Morcillo, P.J.
  • Moreno, G.

Studies in Computational Intelligence - 2018

10.1007/978-3-319-74681-4_5

  • Cuartil SJR: Q4
  • Categorías SJR: Artificial Intelligence (Q4)
  • ORCID
Open Access

A XPath debugger based on fuzzy chance degrees

  • 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/2012

10.1007/978-3-642-33618-8_91

Número de citas: 9 (Scopus)
  • CiteScore: 1,8 (2020)
  • SJR: 0,346 (2012)
  • SNIP: 0,781 (2012)

A fuzzy approach to cloud admission control for safe overbooking

  • Vázquez, C.
  • Tomás, L.
  • Moreno, G.
  • Tordsson, J.

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_22

  • ORCID

Using SAT/SMT Solvers for Efficiently Tuning Fuzzy Logic Programs

  • Riaza, Jose A.
  • Moreno, Gines
  • IEEE

2020 IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS (FUZZ-IEEE) - 2020

10.1109/fuzz48607.2020.9177798

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

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)
  • CiteScore: 1,8 (2020)
  • SJR: 0,271 (2019)
  • SNIP: 0,525 (2019)
  • Categorías SJR: Applied Mathematics; Artificial Intelligence; Software; Theoretical Computer Science

Thresholded Debugging of XPath Queries

  • Almendros-Jimenez, J.M.
  • Luna, A.
  • Moreno, G.

2015 IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS (FUZZ-IEEE 2015) - 25/08/2015

10.1109/fuzz-ieee.2015.7338027

Número de citas: 3 (Scopus)
  • CiteScore: 1,8 (2020)
  • SJR: 0,283 (2015)
  • SNIP: 0,519 (2015)
  • Categorías SJR: Applied Mathematics; Artificial Intelligence; Software; Theoretical Computer 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 <i>LatticeMaker</i> Tool

  • Antonio Guerrero, Juan
  • Mendieta, Felix
  • Moreno, Gines
  • Penabad, Jaime
  • Antonio Riaza, Jose
  • IEEE

2017 IEEE SYMPOSIUM SERIES ON COMPUTATIONAL INTELLIGENCE (SSCI) - 2017

10.1109/ssci.2017.8280961

Número de citas: 10 (Web of Science)
  • Cuartil JCR: Q4 (2017)
  • Impacto Normalizado por Categoría: 1,35 (2017)

Symbolic Unfolding of Multi-adjoint Logic Programs

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

TRENDS IN MATHEMATICS AND COMPUTATIONAL INTELLIGENCE - 2019

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

Número de citas: 6 (Web of Science)
  • Cuartil SJR: Q4
  • Categorías SJR: Artificial Intelligence (Q4)

Symbolic Similarity Relations for Tuning Fully Integrated Fuzzy Logic Programs

  • Moreno, Gines
  • Riaza, Jose A.
  • GutierrezBasulto, V
  • Kliegr, T
  • Soylu, A
  • Giese, M
  • Roman, D
... Ver más Contraer

RULES AND REASONING, RULEML+RR 2020 - 2020

10.1007/978-3-030-57977-7_11

Número de citas: 3 (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: 10 (Web of Science)
  • Cuartil JCR: Q4 (2017)
  • Impacto Normalizado por Categoría: 0,669 (2017)

Este autor no tiene patentes.

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

Scopus: 11

Web of Science: 13

Scopus: 14

Web of Science: 24

  • 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: 23/11/24 7:43
Próxima recolección programada: 30/11/24 3:00