Moreno Valverde, Ginés Autor

Dedekind-MacNeille completion and Cartesian product of multi-adjoint lattices

  • Morcillo, Pedro J.
  • Moreno, Gines
  • Penabad, Jaime
  • Vazquez, Carlos

International Journal of Computer Mathematics - 2012

10.1080/00207160.2012.689826

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

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

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

Fuzzy logic programming in action with floper

Journal of Software Engineering and Applications - 2014

  • ORCID

Beyond multi-adjoint logic programming

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

International Journal of Computer Mathematics - 2/09/2015

10.1080/00207160.2014.975218

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

Fuzzy XPath through Fuzzy Logic Programming

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

New Generation Computing - 13/4/2015

10.1007/s00354-015-0201-y

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

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)

Efficient Unfolding of Fuzzy Connectives for Multi-adjoint Logic Programs⋆

ESCIM 2015 - 2015

  • ORCID

Tuning Fuzzy Logic Programs with Symbolic Execution

arXiv preprint arXiv:1608.04688 - 2016

  • 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

An automatic composition algorithm for functional logic programs

  • Alpuente, M
  • Falaschi, M
  • Moreno, G
  • Vidal, G
  • Hlavac, V
  • Jeffery, KG
  • Wiedermann, J
... Ver más Contraer

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

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

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)

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

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)

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)

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

A transformation system for lazy functional logic programs

  • Alpuente, M
  • Falaschi, M
  • Moreno, G
  • Vidal, G
  • Middledorp, A
  • Sato, T

International Symposium on Functional and Logic Programming - 1999

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

Automatic optimization of multi-paradigm declarative programs

  • Moreno, G
  • Garijo, FJ
  • Riquelme, JC
  • Toro, M

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science) - 2002

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

Improved tupling for optimizing multi-paradigm declarative programs

  • Gonzalez, S
  • Moreno, G
  • Lemaitre, C
  • Reyes, CA
  • Gonzalez, JA

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science) - 2004

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

Unfolding fuzzy logic programs

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

  • ORCID

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)

Similarity-based Unification Embedded into Narrowing

UNIF07 - 2007

  • 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

The Fuzzy Logic Programming Environment FLOPER

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

  • ORCID

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)

Floper, a fuzzy logic programming environment for research

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

  • ORCID

Este autor no tiene patentes.

The Transformation System synth

1999

  • ORCID

Transformation-based strategies for lazy functional logic programs

1999

  • ORCID

Towards a Categorical Description of Fuzzy Logic Programming

2013

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