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

Moreno Valverde, Ginés Author

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)

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

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

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

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

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

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

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)

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

Cite count: 8 (Web of Science)
  • SJR Quartile: Q2
  • SJR Categories: 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
... 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)
  • JCR Quartile: Q4 (2017)
  • Category normalized Impact: 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
... 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)
  • 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
... View more Collapse

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

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

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

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

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

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

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

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

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

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

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

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

Cite count: 3 (Web of Science) 4 (Scopus)
  • Category normalized Impact: 0.546 (2016)
  • SJR Categories: 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

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

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

Cite count: 2 (Web of Science)
  • JCR Quartile: Q4 (2015)
  • Category normalized Impact: 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
... View more Collapse

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

Cite count: 2 (Scopus)
  • CiteScore: 1.8 (2020)
  • SJR: 0.228 (2018
  • SNIP: 0.544 (2018
  • SJR Categories: 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

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

Cite count: 1 (Web of Science) 6 (Scopus)
  • CiteScore: 1.8 (2020)
  • SJR: 0.27 (2017
  • SNIP: 0.561 (2017
  • SJR Categories: Applied Mathematics; Artificial Intelligence; Software; Theoretical Computer Science

This author has no patents.

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

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)

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

Last data update: 6/29/24 9:22 AM
Next scheduled update: 7/6/24 3:00 AM