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]
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]
Eduardo Calò,
& Jordi Levy
(2023).General Boolean Formula Minimization with QBF Solvers.Ismael Sanz, Raquel Ros, & Jordi Nin (Eds.),Artificial Intelligence Research and Development - Proceedings of the 25th International Conference of the Catalan Association for Artificial Intelligence, CCIA 2023, Món Sant Benet, Spain, 25-27 October 2023(pp. 347--358).
{IOS}Press.https://doi.org/10.3233/FAIA230705.[BibTeX]
[PDF]
Joel Arweiler,
Cihan Ates,
Jesus Cerquides,
Rainer Koch,
& Hans-Jörg Bauer
(2023).Similarity-Based Framework for Unsupervised Domain Adaptation: Peer Reviewing Policy for Pseudo-Labeling.Machine Learning and Knowledge Extraction, 5, 1474--1492.https://doi.org/10.3390/make5040074.[BibTeX]
[PDF]
Thomas Bläsius,
Tobias Friedrich,
Andreas Göbel,
Jordi Levy,
& Ralf Rothenberger
(2023).The impact of heterogeneity and geometry on the proof complexity of random satisfiability.Random Struct. Algorithms, 63, 885--941.https://doi.org/10.1002/RSA.21168.[BibTeX]
[PDF]
Pablo Noriega,
Harko Verhagen,
Julian Padget,
& Mark d'Inverno
(2022).Design Heuristics for Ethical Online Institutions.Nirav Ajmeri, Andreasa Morris Martin, & Bastin Tony Roy Savarimuthu (Eds.),Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XV(pp. 213--230).
Springer International Publishing.[BibTeX]
[PDF]
Dimitra Bourou,
Marco Schorlemmer,
& Enric Plaza
(2022).Embodied Sense-Making of Diagrams as Conceptual Blending with Image Schemas.Maria M. Hedblom, & Oliver Kutz (Eds.),Proceedings of the Sixth Image Schema Day, Jönköping, Sweden, March 24-25th, 2022
.
CEUR-WS.org.[BibTeX]
[PDF]
Thiago Freitas Dos Santos,
Nardine Osman,
& Marco Schorlemmer
(2022).Ensemble and Incremental Learning for Norm Violation Detection.Piotr Faliszewski, Viviana Mascardi, Catherine Pelachaud, & Matthew E. Taylor (Eds.),21st International Conference on Autonomous Agents and Multiagent Systems, {AAMAS}2022, Auckland, New Zealand, May 9-13, 2022(pp. 427--435).
International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS).https://doi.org/10.5555/3535850.3535899.[BibTeX]
Dimitra Bourou,
Marco Schorlemmer,
& Enric Plaza
(2022).Euler vs Hasse Diagrams for Reasoning About Sets: A Cognitive Approach.Valeria Giardino, Sven Linker, Richard Burns, Francesco Bellucci, Jean-Michel Boucheix, & Petrucio Viana (Eds.),Diagrammatic Representation and Inference - 13th International Conference, Diagrams 2022, Rome, Italy, September 14-16, 2022, Proceedings(pp. 151--167).
Springer.https://doi.org/10.1007/978-3-031-15146-0_13.[BibTeX]