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
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]
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]
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]
Ignacio Huitzil,
Marco Schorlemmer,
Nardine Osman,
Pere Garcia Calvés,
Josep Coll,
& Xavier Coll
(2022).Towards Automated Compliance Checking of Building Regulations: smartNorms4BIM.Atia Cortés, Francisco Grimaldo, & Tommaso Flaminio (Eds.),Artificial Intelligence Research and Development. Proceedings of the 24th International Conference of the Catalan Association for Artificial Intelligence (CCIA 2022)(pp. 95--104).
IOS Press.https://doi.org/10.3233/FAIA220322.[BibTeX]
Francisco Salas-Molina,
Juan A. Rodríguez-Aguilar,
David Pla-Santamaria,
& Ana García-Bernabeu
(2021).On the formal foundations of cash management systems.Operational Research, 1081--1095.[BibTeX]
[PDF]
Athina Georgara,
Juan A. Rodríguez-Aguilar,
& Carles Sierra
(2021).Towards a Competence-Based Approach to Allocate Teams to Tasks.Proceedings of the 20th International Conference on Autonomous Agents and MultiAgent Systems(pp. 1504–1506).
International Foundation for Autonomous Agents and Multiagent Systems.[BibTeX]
[PDF]
Francisco Salas-Molina,
Juan A. Rodríguez-Aguilar,
& David Pla-Santamaria
(2019).Characterizing compromise solutions for investors with uncertain risk preferences.Operational Research, 19, 661--677.[BibTeX]
[PDF]