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

Moreno Valverde, Ginés Autor

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)

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

10.4204/eptcs.173.6

Número de citas: 12 (Web of Science)
  • Categorías SJR: Software

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

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

  • Cuartil SJR: Q4
  • Categorías SJR: 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

Número de citas:
  • Cuartil SJR: Q4
  • Categorías SJR: Computational Theory and Mathematics (Q4); Software (Q4)

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

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

10.1016/j.entcs.2007.05.036

Número de citas: 3 (Web of Science)
  • Cuartil SJR: Q2
  • Categorías SJR: Computer Science (miscellaneous) (Q2); Theoretical Computer Science (Q3)
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)
  • 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)

Optimizing fuzzy logic programs by unfolding, aggregation and folding

  • Guerrero, Juan Antonio
  • Moreno, Gines

Electronic Notes in Theoretical Computer Science - 20/11/2008

10.1016/j.entcs.2008.10.032

Número de citas: 8 (Web of Science)
  • Cuartil SJR: Q2
  • Categorías SJR: Computer Science (miscellaneous) (Q2); Theoretical Computer Science (Q3)

An online tool for tuning fuzzy logic programs

  • Moreno, Gines
  • Riaza, Jose A.
  • Costantini, S
  • Franconi, E
  • VanWoensel, W
  • Kontchakov, R
  • Sadri, F
  • Roman, D
... 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-61252-2_13

Número de citas: 7 (Web of Science)
  • Cuartil JCR: Q4 (2017)
  • Impacto Normalizado por Categoría: 0,844 (2017)
Open Access

A declarative semantics for a fuzzy logic language managing similarities and truth degrees

  • Julian-Iranzo, Pascual
  • Moreno, Gines
  • Penabad, Jaime
  • Vazquez, Carlos
  • Alferes, JJ
  • Bertossi, L
  • Governatori, G
  • Fodor, P
  • 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/2016

10.1007/978-3-319-42019-6_5

Número de citas: 8 (Web of Science) 10 (Scopus)
  • CiteScore: 1,8 (2020)
  • SJR: 0,339 (2016)
  • SNIP: 0,676 (2016)
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)
  • CiteScore: 1,8 (2020)
  • SJR: 0,369 (2015)
  • SNIP: 0,708 (2015)

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)

Fuzzy sets for a declarative description of multi-adjoint logic programming

  • Moreno, Gines
  • Penabad, Jaime
  • Vazquez, Carlos
  • Cornelis, C
  • Kryszkiewicz, M
  • Slezak, D
  • Ruiz, EM
  • Bello, R
  • Shang, L
... Ver más Contraer

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

10.1007/978-3-319-08644-6_7

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

An unfolding-based preprocess for reinforcing thresholds in fuzzy tabulation

  • Julian-Iranzo, Pascual
  • Medina-Moreno, Jesus
  • Morcillo, Pedro J.
  • Moreno, Gines
  • Ojeda-Aciego, Manuel
  • Rojas, I
  • Joya, G
  • Gabestany, J
... Ver más Contraer

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 17/7/2013

10.1007/978-3-642-38679-4_65

Número de citas: 11 (Web of Science) 12 (Scopus)
  • CiteScore: 1,8 (2020)
  • SJR: 0,36 (2013)
  • SNIP: 0,775 (2013)

Declarative traces into fuzzy computed answers

  • Morcillo, Pedro-Jose
  • Moreno, Gines
  • Penabad, Jaime
  • Vazquez, Carlos
  • Bassiliades, N
  • Governatori, G
  • Paschke, A
... Ver más Contraer

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

10.1007/978-3-642-22546-8_14

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

A static preprocess for improving fuzzy thresholded tabulation

  • Julian, P.
  • Medina, J.
  • Morcillo, P. J.
  • Moreno, G.
  • Ojeda-Aciego, M.
  • Cabestany, J
  • Rojas, I
  • Joya, G
... Ver más Contraer

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

10.1007/978-3-642-21498-1_54

Número de citas: 3 (Web of Science) 4 (Scopus)
  • CiteScore: 1,8 (2020)
  • SJR: 0,338 (2011)
  • SNIP: 0,773 (2011)

Fuzzy computed answers collecting proof information

  • Morcillo, Pedro J.
  • Moreno, Gines
  • Penabad, Jaime
  • Vazquez, Carlos
  • Cabestany, J
  • Rojas, I
  • Joya, G
... Ver más Contraer

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

10.1007/978-3-642-21498-1_56

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

A practical management of fuzzy truth-degrees using FLOPER

  • Morcillo, Pedro J.
  • Moreno, Gines
  • Penabad, Jaime
  • Vazquez, Carlos
  • Dean, M
  • Hall, J
  • Rotolo, A
  • Tabet, S
... Ver más Contraer

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

10.1007/978-3-642-16289-3-4

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

Fuzzy logic rules modeling similarity-based strict equality

  • Moreno, Gines
  • Penabad, Jaime
  • Vazquez, Carlos
  • IEEE

2014 Federated Conference on Computer Science and Information Systems, FedCSIS 2014 - 2014

10.15439/2014f387

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

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)

Debugging while interpreting fuzzy XPath queries

  • Almendros-Jiménez, J.M.
  • Luna, A.
  • Moreno, G.

2016 IEEE International Conference on Fuzzy Systems, FUZZ-IEEE 2016 - 7/07/2016

10.1109/fuzz-ieee.2016.7737692

Número de citas: 3 (Web of Science) 4 (Scopus)
  • Impacto Normalizado por Categoría: 0,546 (2016)
  • Categorías SJR: Aerospace Engineering; Control and Optimization

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)
  • Cuartil JCR: Q4 (2018)
  • Impacto Normalizado por Categoría: 1,35 (2018)

Designing a software tool for fuzzy logic programming

  • Abietar, Jose M.
  • Morcillo, Pedro J.
  • Moreno, Gines
  • Simos, TE
  • Maroulis, G

AIP Conference Proceedings - 2007

10.1063/1.2835940

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

Designing Lattices of Truth Degrees for Fuzzy Logic Programming Environments

  • Antonio Guerrero, Juan
  • del Senor Martinez, Maria
  • Moreno, Gines
  • Vazquez, Carlos
  • IEEE

Computational Intelligence, 2015 IEEE Symposium Series on - 2015

10.1109/ssci.2015.145

Número de citas: 2 (Web of Science)
  • Cuartil JCR: Q4 (2015)
  • Impacto Normalizado por Categoría: 0,143 (2015)

A cloud scheduler assisted by a fuzzy affinity-aware engine

  • Vazquez, Carlos
  • Moreno, Gines
  • Tomas, Luis
  • Tordsson, Johan
  • Yazici, A
  • Pal, NR
  • Kaymak, U
  • Martin, T
  • Ishibuchi, H
  • Lin, CT
  • Sousa, JMC
  • Tutmez, B
... Ver más Contraer

IEEE International Conference on Fuzzy Systems - 2015

10.1109/fuzz-ieee.2015.7337931

Fasill: Fuzzy correct answers and soundness?

  • Julián-Iranzo, P.
  • Moreno, G.
  • Penabad, J.

IEEE International Conference on Fuzzy Systems - 12/07/2018

10.1109/fuzz-ieee.2018.8491504

Número de citas: 2 (Scopus)
  • CiteScore: 1,8 (2020)
  • SJR: 0,228 (2018)
  • SNIP: 0,544 (2018)
  • Categorías SJR: Applied Mathematics; Artificial Intelligence; Software; Theoretical Computer Science

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

Número de citas: 1 (Web of Science) 6 (Scopus)
  • CiteScore: 1,8 (2020)
  • SJR: 0,27 (2017)
  • SNIP: 0,561 (2017)
  • Categorías SJR: Applied Mathematics; Artificial Intelligence; Software; Theoretical Computer 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)
  • CiteScore: 1,8 (2020)
  • SJR: 0,271 (2019)
  • SNIP: 0,525 (2019)
  • Categorías SJR: Applied Mathematics; Artificial Intelligence; Software; Theoretical Computer Science

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)

Towards a Categorical Description of Fuzzy Logic Programming

2013

  • ORCID

The Transformation System synth

1999

  • ORCID

Transformation-based strategies for lazy functional logic programs

1999

  • ORCID

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: 22/06/24 9:34
Próxima recolección programada: 29/06/24 3:00