Moreno Valverde, Ginés Autor

Open Access

Efficient Reductants Calculi using Partial Evaluation Techniques with Thresholding

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

Electronic Notes in Theoretical Computer Science - 16/07/2007

10.1016/j.entcs.2007.05.039

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

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)
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

Fuzzy logic programming for implementing a flexible XPath-based query language

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

Electronic Notes in Theoretical Computer Science - 5/5/2012

10.1016/j.entcs.2011.12.002

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

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

Electronic Communications of the EASST - 2012

  • 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:

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

  • 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

  • ORCID

Tuning Fuzzy Logic Programs with Symbolic Execution

arXiv preprint arXiv:1608.04688 - 2016

  • ORCID

Efficient thresholded tabulation for fuzzy query answering

  • Julian, Pascual
  • Medina, Jesus
  • Moreno, Gines
  • Ojeda-Aciego, Manuel
  • BouchonMeunier, B
  • Magdalena, L
  • OjedaAciego, M
  • Verdegay, JL
  • Yager, RR
... Ver más Contraer

Studies in Fuzziness and Soft Computing - 8/2/2010

10.1007/978-3-642-10728-3_7

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

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)

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

  • ORCID
Open Access

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

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

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

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

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

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

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

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

10.1007/978-3-030-20518-8_40

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

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)

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

10.1007/11611257_39

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

Similarity-based Unification Embedded into Narrowing

UNIF07 - 2007

  • ORCID

Unfolding fuzzy logic programs

Proc. of the Fourth International Conference on Intelligent Systems Design and Applications, ISDA - 2004

  • ORCID

Combining tabulation and thresholding techniques for executing multi-adjoint logic programs

Proc. of the 12th Intl Conf on Information Processing and Management of Uncertainty in Knowledge-based Systems (IPMU 2008), Málaga, Spain - 2008

  • ORCID

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

Dedekind-MacNeille completion and multiadjoint lattices

Proc. of International Conference on Computational and Mathematical Methods in Science and Engineering (CMMSE’11) - 2011

  • ORCID

The Fuzzy Logic Programming Environment FLOPER

Proc. of 15th International Symposium on Formal Methods (FM’08), Posters and Research Tools, May - 2008

  • ORCID

Floper, a fuzzy logic programming environment for research

Proceedings of the Spanish Conference on Programming and Computer Languages, PROLE 2008 - 2008

  • ORCID

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

Modeling interpretive steps into the FLOPER environment

  • Morcillo, P.J.
  • Moreno, G.
  • Penabad, J.
  • Vázquez, C.

Proceedings of the 2010 International Conference on Artificial Intelligence, ICAI 2010 - 2010

  • ORCID

On cost estimations for executing fuzzy logic programs

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

Proceedings of the 2009 International Conference on Artificial Intelligence, ICAI 2009 - 2009

  • ORCID

Este autor no tiene patentes.

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

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)

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)

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