CA | ES | EN
GOAL 09: Industry, Innovation & Infrastructure
GOAL 09: Industry, Innovation & Infrastructure
2024
Thiago Nardine Osman,  & Marco Schorlemmer (2024). Is This a Violation? Learning and Understanding Norm Violations in Online Communities. Artificial Intelligence, 327. https://doi.org/10.1016/j.artint.2023.104058. [BibTeX]
Ilario Bonacina,  Maria Luisa Bonet,  & Jordi Levy (2024). Weighted, Circular and Semi-Algebraic Proofs. J. Artif. Intell. Res., 79, 447--482. https://doi.org/10.1613/JAIR.1.15075. [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://doi.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,  & 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. https://doi.org/https://ceur-ws.org/Vol-3531/SPaper_10.pdf. [BibTeX]  [PDF]
2022
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]
Pompeu Casanovas,  & Pablo Noriega (2022). Dilemmas in Legal Governance. JOAL, 10, 1-.20. https://doi.org/https://ojs.law.cornell.edu/index.php/joal/article/view/122. [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]
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. https://doi.org/10.1088/1538-3873/ac5159. [BibTeX]  [PDF]
Dave de Jonge,  Filippo Bistaffa,  & Jordi Levy (2022). Multi-Objective Vehicle Routing with Automated Negotiation. Applied Intelligence, 52, 16916-16939. https://doi.org/10.1007/s10489-022-03329-2. [BibTeX]  [PDF]
Manfred Schmidt-Schauss,  Temur Kutsia,  Jordi Levy,  Mateu Villaret,  & Yunus D. K. Kutz (2022). Nominal Unification and Matching of Higher Order Expressions with Recursive Let. Fundam. Informaticae, 185, 247--283. https://doi.org/10.3233/FI-222110. [BibTeX]  [PDF]
Carlos Ansótegui,  Maria Luisa Bonet,  & Jordi Levy (2022). Scale-Free Random SAT Instances. Algorithms, 15, 219. https://doi.org/10.3390/a15060219. [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. https://doi.org/10.3233/FAIA220322. [BibTeX]