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

Moreno Valverde, Ginés Author

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

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

Cite count: 1 (Web of Science) 1 (Scopus)
  • SJR Quartile: Q2
  • CiteScore: 1.2 (2020)
  • SJR: 0.348 (2005
  • SNIP: 0.63 (2005
  • SJR Categories: 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

Cite count:
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

Cite count: 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

Cite count: 2 (Web of Science)
  • SJR Quartile: Q3
  • SJR Categories: 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

Cite count: 9 (Web of Science) 9 (Scopus)
  • 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)

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

  • SJR Quartile: Q4
  • SJR Categories: 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

Cite count: 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

Cite count: 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

Cite count: 3 (Scopus)
  • CiteScore: 1.8 (2020)
  • SJR: 0.271 (2019
  • SNIP: 0.525 (2019
  • SJR Categories: 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

Cite count: 3 (Scopus)
  • CiteScore: 1.8 (2020)
  • SJR: 0.283 (2015
  • SNIP: 0.519 (2015
  • SJR Categories: 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

Cite count: 10 (Web of Science)
  • JCR Quartile: Q4 (2017)
  • Category normalized Impact: 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

Cite count: 6 (Web of Science)
  • SJR Quartile: Q4
  • SJR Categories: 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
... View more Collapse

RULES AND REASONING, RULEML+RR 2020 - 2020

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

Cite count: 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

Cite count: 10 (Web of Science)
  • JCR Quartile: Q4 (2017)
  • Category normalized Impact: 0.669 (2017)

This author has no patents.

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

Last data update: 11/23/24 7:43 AM
Next scheduled update: 11/30/24 3:00 AM