Moreno Valverde, Ginés Author

A fuzzy approach to cloud admission control for safe overbooking (High-level Work)

XIV Jornadas sobre Programación y Lenguajes

  • ORCID

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

Cite count: 12 (Web of Science)

A Fuzzy Logic Programming Environment for Managing Similarity and Truth Degrees (Tool System)

XIV Jornadas sobre Programación y Lenguajes

  • ORCID

A hybrid programming scheme combining fuzzy-logic and functional-logic resources

  • Moreno, Gines
  • Pascual, Vicente

Fuzzy Sets and Systems - 16/05/2009

10.1016/j.fss.2008.11.028

Cite count: 8 (Web of Science)

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

Cite count:

A narrowing-based instantiation rule for rewriting-based fold/unfold transformations

  • Moreno, G.

Electronic Notes in Theoretical Computer Science - 2003

10.1016/s1571-0661(04)80698-4

  • ORCID

An improved reductant calculus using fuzzy partial evaluation techniques

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

Fuzzy Sets and Systems - 16/01/2009

10.1016/j.fss.2008.05.006

Cite count: 17 (Web of Science) 21 (Scopus)

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

Beyond multi-adjoint logic programming

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

International Journal of Computer Mathematics - 2/09/2015

10.1080/00207160.2014.975218

Cite count: 9 (Web of Science)

Building a fuzzy logic programming tool

Proc. of VII Jornadas sobre Programación y Lenguajes, PROLE - 2007

  • ORCID
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
... View more Collapse

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

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

Cite count: 16 (Web of Science) 21 (Scopus)

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

An automatic composition algorithm for functional logic programs

  • Alpuente, M
  • Falaschi, M
  • Moreno, G
  • Vidal, G
  • Hlavac, V
  • Jeffery, KG
  • Wiedermann, J
... View more Collapse

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

Cite count: 7 (Web of Science)
Open Access

Annotating "fuzzy chance degrees" when debugging 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) - 17/7/2013

10.1007/978-3-642-38682-4_33

Cite count: 14 (Web of Science) 16 (Scopus)

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
... View more Collapse

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

Cite count: 7 (Web of Science)

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

Cite count: 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
... View more Collapse

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

Cite count: 11 (Web of Science) 12 (Scopus)

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
... View more Collapse

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

Cite count: 21 (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
... View more Collapse

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

Cite count: 3 (Web of Science) 4 (Scopus)

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

Cite count: 11 (Web of Science)

Similarity-based Unification Embedded into Narrowing

UNIF07 - 2007

  • 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

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: 7 (Web of Science)

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

Cite count: 10 (Web of Science)

The Fuzzy Logic Programming Environment FLOPER

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

  • ORCID

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

Cite count: 1 (Web of Science) 3 (Scopus)

Unfolding fuzzy logic programs

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

  • 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

This author has no patents.

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
... View more Collapse

NAVIGATION-JOURNAL OF THE INSTITUTE OF NAVIGATION - 12/2018

10.1002/navi.267

Cite count: 17 (Web of Science)

The Transformation System synth

1999

  • ORCID

Towards a Categorical Description of Fuzzy Logic Programming

2013

  • ORCID

Transformation-based strategies for lazy functional logic programs

1999

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

Scopus: 11

Web of Science: 13

Scopus: 14

Web of Science: 21

Last data update: 6/1/24 9:32 AM
Next scheduled update: 6/8/24 3:00 AM