Jesús Giráldez Crú
Email: Solicitar correo
Perfil en ORCID: 0000-0001-8963-6299

Grupo de Investigación: TIC-186 Soft Computing y Sistemas de Información Inteligentes
Departamento/Unidad: Ciencias de la Computación e Inteligencia Artificial
Situación profesional: Investigador Contratado (Ramón y Cajal)

Participa en los siguientes proyectos/ayudas en la US:

• Proyecto de investigación:
  • Herramientas Lógicas y Algebraicas para el Análisis de Sistemas Basados en Conocimiento. Aplicaciones (PID2019-109152GB-I00 - Equipo Trabajo (Solicitud))
  
  

Cobertura de la base de datos de proyectos, véase aqui

Publicaciones:

Capítulos en Libros

Almagro Blanco, Pedro, Giráldez, Jesús:
On the Temperature of SAT Formulas. Pag. 46-55. En: Artificial Intelligence Research and Development. Ios Press. 2021. ISBN 978-1-64368-210-5

Bofill, Miquel, Giráldez, Jesús, Suy, Josep, Villaret, Mateu:
A Study on Implied Constraints in a MaxSAT Approach to B2B Problems. Pag. 183-192. En: Artificial Intelligence Research and Development. IOS Press, United Kingdom. 2019. ISBN 978-1-64368-014-9

Elffers, Jan, Giráldez, Jesús, Nordström, Jakob, Vinyals, Marc:
Using Combinatorial Benchmarks to Probe the Reasoning Power of Pseudo-Boolean Solvers. Pag. 75-93. En: Lecture Notes in Computer Science, vol 10929. Springer. 2018. ISBN 978-3-319-94143-1

Vinyals, Marc, Elffers, Jan, Giráldez, Jesús, Gotch, Stephan, Nordström, Jakob:
In Between Resolution and Cutting Planes: A Study of Proof Systems for Pseudo-Boolean SAT Solving. Pag. 292-310. En: Lecture Notes in Computer Science, vol 10929. Springer. 2018. ISBN 978-3-319-94143-1

Giráldez, Jesús, Lee, Jimmy H.m., Meseguer, Pedro:
Iterative AWC for Distributed SAT. Pag. 56-65. En: Frontiers in Artificial Intelligence and Applications. Volume 300: Recent Advances in Artificial Intelligence Research and Development. Ios Press. 2017. ISBN 978-1-61499-805-1

Baud Berthier, Guillaume, Giráldez, Jesús, Simon, Laurent:
On the Community Structure of Bounded Model Checking SAT Problems. Pag. 65-82. En: Lecture Notes in Computer Science, vol 10491. Springer. 2017. ISBN 978-3-319-66262-6

Giráldez, Jesús, Meseguer, Pedro:
ABT with Clause Learning for Distributed SAT. Pag. 183-193. En: Advances in Artificial Intelligence LNAI 9868. Springer. 2016. ISBN 978-3-319-44635-6

Adrian, Kemo, Chocron, Paula, Confalonieri, Roberto, Ferrer, Xavier, Giráldez, Jesús:
Link Prediction in Evolutionary Graphs - The Case Study of the CCIA Network. Pag. 187-196. En: Frontiers in Artificial Intelligence and Applications. Volume 288: Artificial Intelligence Research and Development. Ios Press. 2016. ISBN 978-1-61499-695-8

Giráldez, Jesús, Martin Sanchez, Guillermo, Meseguer, Pedro:
Connecting ABT with a SAT Solver. Pag. 179-184. En: Frontiers in Artificial Intelligence and Applications. Volume 284: STAIRS 2016. Ios Press. 2016. ISBN 978-1-61499-681-1

Ansótegui, Carlos, Bonet, Maria Luisa, Giráldez, Jesús, Levy, Jordi:
On the Classification of Industrial SAT Families. Pag. 163-172. En: Frontiers in Artificial Intelligence and Applications. Volume 277: Artificial Intelligence Research and Development. Ios Press. 2015. ISBN 978-1-61499-577-7

Ansótegui, Carlos, Giráldez, Jesús, Levy, Jordi, Simon, Laurent:
Using Community Structure to Detect Relevant Learnt Clauses. Pag. 238-254. En: Lecture Notes in Computer Science, vol 9340. Springer. 2015. ISBN 978-3-319-24317-7

Ansótegui, Carlos, Bonet, Maria Luisa, Giráldez, Jesús, Levy, Jordi:
The Fractal Dimension of SAT Formulas. Pag. 107-121. En: Lecture Notes in Computer Science, vol 8562. Springer. 2014. ISBN 978-3-319-08586-9

Ansótegui, Carlos, Giráldez, Jesús, Levy, Jordi:
The Community Structure of SAT Formulas. Pag. 410-423. En: Lecture Notes in Computer Science, vol 7317. Springer. 2012. ISBN 978-3-642-31611-1

Publicaciones en Revistas

Giráldez, Jesús, Chica, Manuel, Cordón García, Oscar:
An integrative decision making mechanism for consumers' brand selection using 2-tuple fuzzy linguistic perceptions and decision heuristics. En: International Journal of Fuzzy Systems. 2023. Vol. 25. Pag. 59-79. https://doi.org/10.1007/s40815-022-01385-x

Bofill, Miquel, Coll, Jordi, Giráldez, Jesús, Suy, Josep, Villaret, Mateu:
The Impact of Implied Constraints on MaxSAT B2B Instances. En: International Journal of Computational Intelligence Systems. 2022. Vol. 15. Núm. 1. 10.1007/s44196-022-00121-5

Almagro Blanco, Pedro, Giráldez, Jesús:
Characterizing the Temperature of SAT Formulas. En: International Journal of Computational Intelligence Systems. 2022. Vol. 15. Núm. 1. 10.1007/s44196-022-00122-4

Bofill, Miquel, Coll, Jordi, Garcia, Marc, Giráldez, Jesús, Pesant, Gilles, et. al.:
Constraint Solving Approaches to the Business-to-Business Meeting Scheduling Problem. En: Journal of Artificial Intelligence Research. 2022. Vol. 74. Pag. 263-301. 10.1613/jair.1.12670

Giráldez, Jesús, Zarco Fernández, Carmen, Cordón García, Oscar:
Analyzing the extremization of opinions in a general framework of bounded confidence and repulsion. En: Information Sciences. 2022. Vol. 609. Pag. 1256-1270. https://doi.org/10.1016/j.ins.2022.07.164

Giráldez, Jesús, Levy, Jordi:
Popularity-similarity random SAT formulas. En: Artificial Intelligence. 2021. Vol. 299. 10.1016/j.artint.2021.103537

Giráldez, Jesús, Chica, Manuel, Cordón García, Oscar:
A Framework of Opinion Dynamics using 2-Tuple Fuzzy Linguistic Variables. En: Knowledge-Based Systems. 2021. Vol. 233. https://doi.org/10.1016/j.knosys.2021.107559

Giráldez, Jesús, Chica, Manuel, Cordón García, Oscar, Herrera Triguero, Francisco:
Modeling Agent-based Consumers Decision-making with 2-tuple Fuzzy Linguistic Perceptions. En: International Journal of Intelligent Systems. 2020. Vol. 35. Núm. 2. Pag. 283-299. https://doi.org/10.1002/int.22211

Ansótegui, Carlos, Bonet, María Luisa, Giráldez, Jesús, Levy, Jordi:
Community Structure in Industrial SAT Instances. En: Journal of Artificial Intelligence Research. 2019. Vol. 66. Pag. 443-472. https://doi.org/10.1613/jair.1.11741

Giráldez, Jesús:
Beyond the structure of SAT formulas. En: Constraints. 2017. Vol. 22. Núm. 1. Pag. 95-96. 10.1007/s10601-016-9260-z

Ansótegui, Carlos, Bonet, Maria Luisa, Giráldez, Jesús, Levy, Jordi:
Structure features for SAT instances classification. En: Journal of Applied Logic. 2017. Vol. 23. Pag. 27-39. 10.1016/j.jal.2016.11.004

Giráldez, Jesús, Levy, Jordi:
Generating SAT instances with community structure. En: Artificial Intelligence. 2016. Vol. 238. Pag. 119-134. 10.1016/j.artint.2016.06.001

Aranda Corral, Gonzalo A., Borrego Diaz, Joaquin, Giráldez, Jesús:
Agent-mediated shared conceptualizations in tagging services. En: Multimedia Tools and Applications. 2013. Vol. 65. Núm. 1. Pag. 5-28. 10.1007/s11042-012-1146-5

Aportaciones a Congresos

Garzón, Iván, Mesejo, Pablo, Giráldez, Jesús:
On the Performance of Deep Generative Models of Realistic SAT Instances. Comunicación en congreso. 25th International Conference on Theory and Applications of Satisfiability Testing. Haifa, Israel. 2022

Giráldez, Jesús, Chica, Manuel, Cordón García, Oscar:
The effects of mass communication in a fuzzy linguistic framework of opinion dynamics. Comunicación en congreso. 2022 IEEE International Conference on Fuzzy Systems. Padua (Italia). 2022

Giráldez, Jesús, Chica, Manuel, Cordón García, Oscar:
2-tuple fuzzy linguistic perceptions and probabilistic awareness-based heuristics for modeling consumer purchase behaviors. Comunicación en congreso. 29th IEEE International Conference on Fuzzy Systems. - Glasgow. 2020

Elffers, Jan, Giráldez, Jesús, Gotch, Stephan, Nordström, Jakob, Simon, Laurent:
Seeking Practical CDCL Insights from Theoretical SAT Benchmarks. Comunicación en congreso. Ijcai 2018. Estocolmo, Suecia. 2018

Giráldez, Jesús, Levy, Jordi:
Locality in Random SAT Instances. Comunicación en congreso. Ijcai 2017. Melbourne, Australia. 2017

Giráldez, Jesús, Levy, Jordi:
A Modularity-Based Random SAT Instances Generator. Comunicación en congreso. Ijcai 2015. Buenos Aires, Argentina. 2015

Aranda Corral, Gonzalo A., Borrego Diaz, Joaquin, Giráldez, Jesús:
On the Complexity of Shared Conceptualizations. Ponencia en Congreso. 11th International Conference on Artificial Intelligence and Soft Computing. Cz¿stochowa,Poland. 2012