CA | ES | EN
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. [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. [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. [BibTeX]  [PDF]
Athina Georgara,  Raman Kazhamiakin,  Ornella Mich,  Alessio Palmero Approsio,  Jean-Christoph Pazzaglia,  Juan A. Rodríguez-Aguilar,  & Carles Sierra (2023). The AI4Citizen pilot: Pipelining AI-based technologies to support school-work alternation programmes. Applied Intelligence. [BibTeX]  [PDF]
Pablo Noriega,  & Enric Plaza (2023). The Use of Agent-based Simulation of Public Policy Design to Study the Value Alignment Problem. Proc. AIGEL 2022 Artificial Intelligence Governance Ethics and Law Workshop 2022 . CEUR-WS. [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 . [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. [BibTeX]
Jesús Vega,  M. T. Ceballos,  B. Cobo,  F. J. Carrera,  Pere Garcia Calvés,  & Josep Puyol-Gruart (2022). Event Detection and Reconstruction Using Neural Networks in TES Devices: a Case Study for Athena/X-IFU. Publications of the Astronomical Society of the Pacific, 134, 024504. [BibTeX]  [PDF]
Dave de Jonge,  Filippo Bistaffa,  & Jordi Levy (2022). Multi-Objective Vehicle Routing with Automated Negotiation. Applied Intelligence, 52, 16916-16939. [BibTeX]  [PDF]
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. [BibTeX]
Thiago Freitas Dos Santos,  Nardine Osman,  & Marco Schorlemmer (2021). Learning for Detecting Norm Violation in Online Communities. International Workshop on Coordination, Organizations, Institutions, Norms and Ethics for Governance of Multi-Agent Systems (COINE), co-located with AAMAS 2021 . [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]
Jon Perez,  Jose Luis Flores,  Christian Blum,  Jesus Cerquides,  & Alex Abuin (2021). Optimization Techniques and Formal Verification for the Software Design of Boolean Algebra Based Safety-Critical Systems. IEEE Transactions on Industrial Informatics, 1-1. [BibTeX]
Josep Puyol-Gruart,  Pere Garcia Calvés,  Jesús Vega,  Maria Teresa Ceballos,  Bea Cobo,  & Francisco J. Carrera (2021). Pulse Identification Using SVM. Artificial Intelligence Research and Development, 339 (pp. 221--224). [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]
Athina Georgara,  Carles Sierra,  & Juan A. Rodríguez-Aguilar (2020). TAIP: an anytime algorithm for allocating student teams to internship programs. arXiv preprint arXiv:2005.09331. [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]