Daniel Pardo Navarro,
Mehmet Oguz Mulayim,
Bernat Pérez,
Xavier Marín,
Laia Ocaña,
& Manuel Castillo
(In Press).NIR Spectroscopy and AI to Predict Time and Weight During Cheese Ripening From the Rind.Proceedings of the XIII Congreso Nacional CyTA-CESIA 2026
.
[BibTeX]
2026
Ilario Bonacina,
Jordi Levy,
& Ion Mikel Liberal
(2026).Beyond Core-Guided MaxSAT.Alexey Ignatiev, & Stefan Szeider (Eds.),29th International Conference on Theory and Applications of Satisfiability Testing, SAT 2026(pp. 9:1--9:18).
Schloss Dagstuhl -- Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.SAT.2026.9.[BibTeX]
[PDF]
Pablo Noriega,
& Enric Plaza
(2026).Four Settings and a Proposal for the Exploration of Value Alignment in AI.Daniel López-Castro, Manuel Cebral-Loureda, & Pablo Jiménez-Schlegl (Eds.),Regulating Autonomy (pp 261-290).SPRINGER NATURE.https://doi.org/10.1007/978-3-032-13063-1_13.[BibTeX]
[PDF]
2025
Ilario Bonacina,
& Jordi Levy
(2025).An Algebraic Approach to MaxCSP.Jeremias Berg, & Jakob Nordström (Eds.),28th International Conference on Theory and Applications of Satisfiability Testing, SAT 2025, Glasgow, Scotland, August 12-15, 2025(pp. 6:1--6:17).
Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPICS.SAT.2025.6.[BibTeX]
[PDF]
Pablo Noriega,
& Pompeu Casanovas
(2025).{From the Pascal Wager to Value Engineering: A Glance at AI Risks and How to Address Them}.Value Engineering in Artificial Intelligence: Second International Workshop, VALE 2024, Santiago de Compostela, Spain, October 19–24, 2024, Revised Selected Papers(pp. 257–275).
Springer-Verlag.https://doi.org/10.1007/978-3-031-85463-7_16.[BibTeX]
[PDF]
Pol Rodríguez-Farrés,
Rocco Ballester,
Carlos Ansótegui,
Jordi Levy,
& Jesus Cerquides
(2024).Implementing 3-SAT Gadgets for Quantum Annealers with Random Instances.Leonardo Franco, Clélia Mulatier, Maciej Paszynski, Valeria V. Krzhizhanovskaya, Jack J. Dongarra, & Peter M. A. Sloot (Eds.),Computational Science -- ICCS 2024(pp. 277--291).
Springer Nature Switzerland.[BibTeX]
[PDF]
Pablo Noriega,
& Enric Plaza
(2024).On Autonomy, Governance, and Values: An AGV Approach to Value Engineering.Nardine Osman, & Luc Steels (Eds.),Value Engineering in Artificial Intelligence(pp. 165--179).
Springer Nature Switzerland.[BibTeX]
[PDF]
Ilario Bonacina,
Maria Luisa Bonet,
& Jordi Levy
(2024).Weighted, Circular and Semi-Algebraic Proofs (Abstract Reprint).Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, {IJCAI}2024, Jeju, South Korea, August 3-9, 2024(pp. 8475).
ijcai.org.https://doi.org/10.24963/ijcai.2024/947.[BibTeX]
[PDF]
2023
Francisco Salas-Molina,
Juan A. Rodríguez-Aguilar,
& Montserrat Guillén
(2023).A multidimensional review of the cash management problem.Financial Innovation, 9.[BibTeX]
[PDF]
Francisco Salas-Molina,
David Pla-Santamaria,
& Juan A. Rodríguez-Aguilar
(2023).An analytic derivation of the efficient frontier in biobjective cash management and its implications for policies.Annals of Operations Research.[BibTeX]
[PDF]
Dimitra Bourou,
Marco Schorlemmer,
& Enric Plaza
(2023).An Image-Schematic Analysis of Hasse and Euler Diagrams.Maria M. Hedblom, & Oliver Kutz (Eds.),Proceedings of The Seventh Image Schema Day co-located with The 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023), Rhodes, Greece, September 2nd, 2023
.
CEUR-WS.org.https://ceur-ws.org/Vol-3511/paper\_05.pdf.[BibTeX]
Jon Perez-Cerrolaza,
Jaume Abella,
Markus Borg,
Carlo Donzella,
Jesús Cerquides,
Francisco J. Cazorla,
Cristofer Englund,
Markus Tauber,
George Nikolakopoulos,
& Jose Luis Flores
(2023).Artificial Intelligence for Safety-Critical Systems in Industrial and Transportation Domains: A Survey.ACM Computing Surveys.https://doi.org/10.1145/3626314.[BibTeX]
[PDF]