Publications
In Press
Tommaso Flaminio,  Angelo Gilio,  Lluís Godo,  & Giuseppe Sanfilippo (In Press). Canonical extensions of conditional probabilities and compound conditionals. 17th Intl. Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2022), Milan, Italy . [BibTeX]
Tommaso Flaminio,  Angelo Gilio,  Lluís Godo,  & Giuseppe Sanfilippo (In Press). Compound conditionals as random quantities and Boolean algebras. Principles of Knowledge Representation and Reasoning - 19th International Conference, KR 2022, Haifa, Israel . [BibTeX]
Filippo Bistaffa,  Georgios Chalkiadakis,  & Alessandro Farinelli (In Press). Efficient Coalition Structure Generation via Approximately Equivalent Induced Subgraph Games. IEEE Transactions on Cybernetics. https://doi.org/10.1109/TCYB.2020.3040622. [BibTeX]  [PDF]
Nardine Osman,  Ronald Chenu-Abente,  Qiang Shen,  Carles Sierra,  & Fausto Giunchiglia (In Press). Empowering Users in Online Open Communities. SN Computer Science. [BibTeX]  [PDF]
Tommaso Flaminio,  Lluís Godo,  Paula Menchón,  & Ricardo Oscar Rodriguez (In Press). Rotations of G\"odel algebras with modal operators. 17th Intl. Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2022), Milan, Italy . [BibTeX]
Ricardo Rodriguez,  Olym Tuyt,  Francesc Esteva,  & Lluís Godo (In Press). Simplified Kripke semantics for K45-like Godel modal logics and its axiomatic extensions. Studia Logica. https://doi.org/10.1007/s11225-022-09987-0. [BibTeX]  [PDF]
Marc Serramia,  Maite López-Sánchez,  & Juan A. Rodríguez-Aguilar (In Press). Value-aligned AI: Lessons learnt from value-aligned norm selection. Digital Society. [BibTeX]  [PDF]
2022
Tomas Trescak,  Roger Lera-Leri,  Filippo Bistaffa,  & Juan A. Rodríguez-Aguilar (2022). Agent-Assisted Life-Long Education and Learning. Proceedings of the 21st International Conference on Autonomous Agents and MultiAgent Systems . International Foundation for Autonomous Agents and Multiagent Systems. [BibTeX]  [PDF]
Dave de Jonge (2022). An Analysis of the Linear Bilateral {ANAC}Domains Using the {M}i{CRO}Benchmark Strategy. IJCAI 2022, Vienna, Austria . [BibTeX]  [PDF]
Athina Georgara,  Juan A. Rodríguez-Aguilar,  Carles Sierra,  Ornella Mich,  Raman Kazhamiakin,  Alessio P. Approsio,  & Jean-Christophe Pazzaglia (2022). An Anytime Heuristic Algorithm for Allocating Many Teams to Many Tasks. Proceedings of the 21st International Conference on Autonomous Agents and MultiAgent Systems . International Foundation for Autonomous Agents and Multiagent Systems. [BibTeX]  [PDF]
Athina Georgara,  Juan A. Rodríguez-Aguilar,  & Carles Sierra (2022). Building Contrastive Explanations for Multi-Agent Team Formation. Proceedings of the 21st International Conference on Autonomous Agents and MultiAgent Systems . International Foundation for Autonomous Agents and Multiagent Systems. [BibTeX]  [PDF]
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,  & Dongmo Zhang (2022). {GDL}as a Unifying Domain Description Language for Declarative Automated Negotiation. 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. 1935--1937). International Foundation for Autonomous Agents and Multiagent Systems {(IFAAMAS)}. https://doi.org/10.5555/3535850.3536158. [BibTeX]  [PDF]
Rodríguez Soto,  Marc Serramia,  Maite López-Sánchez,  & Juan A. Rodríguez-Aguilar<code> (2022). Instilling moral value alignment by means of multi-objective reinforcement learning. Ethics and Information Technology, 24. https://doi.org/10.1007/s10676-022-09635-0. [BibTeX]  [PDF]
Dave de Jonge,  Filippo Bistaffa,  & Jordi Levy (2022). Multi-Objective Vehicle Routing with Automated Negotiation. Applied Intelligence. https://doi.org/10.1007/s10489-022-03329-2. [BibTeX]  [PDF]
Marcelo Coniglio,  Francesc Esteva,  Tommaso Flaminio,  & Lluís Godo (2022). On the expressive power of Lukasiewicz’s square operator. Journal of Logic and Computation, 32, 767-807. https://doi.org/10.1093/logcom/exab064. [BibTeX]  [PDF]
Roger Lera-Leri,  Filippo Bistaffa,  Marc Serramia,  Maite López-Sánchez,  & Juan A. Rodríguez-Aguilar (2022). Towards Pluralistic Value Alignment: Aggregating Value Systems through ℓₚ-Regression. Proceedings of the 21st International Conference on Autonomous Agents and MultiAgent Systems . International Foundation for Autonomous Agents and Multiagent Systems. [BibTeX]  [PDF]
Errikos Streviniotis,  Athina Georgara,  & Georgios Chalkiadakis (2022). ε−MC nets: A Compact Representation Scheme for Large Cooperative Game Settings. 15th International Conference on Knowledge Science, Engineering and Management (KSEM 2022), Singapore, August 6-8, 2022 . Springer-Verlag. [BibTeX]  [PDF]
2021
Dimitra Bourou,  Marco Schorlemmer,  & Enric Plaza (2021). A Cognitively-Inspired Model for Making Sense of Hasse Diagrams. Proc. of the 23rd International Conference of the Catalan Association for Artificial Intelligence (CCIA 2021), October 20-22, Lleida, Catalonia, Spain . [BibTeX]
Christian Blum,  & Gabriela Ochoa (2021). A comparative analysis of two matheuristics by means of merged local optima networks. European Journal of Operational Research. https://doi.org/10.1016/j.ejor.2020.08.008. [BibTeX]
Filippo Bistaffa,  Christian Blum,  Jesús Cerquides,  Alessandro Farinelli,  & Juan A. Rodríguez-Aguilar (2021). A Computational Approach to Quantify the Benefits of Ridesharing for Policy Makers and Travellers. IEEE Transactions on Intelligent Transportation Systems, 22, 119-130. https://doi.org/10.1109/TITS.2019.2954982. [BibTeX]  [PDF]
Jesus Cerquides,  Oguz Mulayim,  Jerónimo Hernández-González,  Amudha Ravi Shankar,  & Jose Luis Fernandez-Marquez (2021). A Conceptual Probabilistic Framework for Annotation Aggregation of Citizen Science Data. Mathematics, 9. https://doi.org/10.3390/math9080875. [BibTeX]  [PDF]
Filippo Bistaffa (2021). A Concise Function Representation for Faster Exact {MPE}and Constrained Optimisation in Graphical Models. CoRR, abs/2108.03899. https://doi.org/https://arxiv.org/abs/2108.03899. [BibTeX]  [PDF]
Teddy Nurcahyadi,  & Christian Blum (2021). Adding Negative Learning to Ant Colony Optimization:A Comprehensive Study. Mathematics, 9. https://doi.org/10.3390/math9040361. [BibTeX]  [PDF]
Jesus Cerquides (2021). A First Approach to Closeness Distributions. Mathematics, 9. https://doi.org/10.3390/math9233112. [BibTeX]  [PDF]
Tommaso Flaminio,  & Lluís Godo (2021). A fuzzy probability logic for compound conditionals. XX Spanish Congress on Fuzzy Logic and Technologies (ESTYLF 20/21), Actas CAEPIA 20/21 (pp. 256-261). [BibTeX]  [PDF]
Samir Balbal,  Salim Bouamama,  & Christian Blum (2021). A Greedy Heuristic for Maximizing the Lifetime of Wireless Sensor Networks Based on Disjoint Weighted Dominating Sets. Algorithms, 14. https://doi.org/10.3390/a14060170. [BibTeX]  [PDF]
Dave de Jonge,  Filippo Bistaffa,  & Jordi Levy (2021). A Heuristic Algorithm for Multi-Agent Vehicle Routing with Automated Negotiation. Frank Dignum, Alessio Lomuscio, Ulle Endriss, & Ann Now{\\'{e}} (Eds.), {AAMAS}'21: 20th International Conference on Autonomous Agents and Multiagent Systems, Virtual Event, United Kingdom, May 3-7, 2021 (pp. 404--412). {ACM}. https://doi.org/https://dl.acm.org/doi/10.5555/3463952.3464004. [BibTeX]  [PDF]
Jaume Agustí-Cullell,  & Marco Schorlemmer (2021). A Humanist Perspective on Artificial Intelligence. Comprendre, 23, 99--125. [BibTeX]
Carles Sierra (2021). AI's Responsible Agency. . [BibTeX]
Tommaso Flaminio,  Lluís Godo,  Paula Menchón,  & Ricardo Oscar Rodríguez (2021). Algebras and relational frames for Godel modal logic and some of its extensions. CoRR, abs/2110.02528. [BibTeX]  [PDF]
Juan Carlos Teze,  & Lluís Godo (2021). An Architecture for Argumentation-based Epistemic Planning: A First Approach with Contextual Preferences. IEEE Intelligent Systems, 36, 43-51. https://doi.org/10.1109/MIS.2020.3028833. [BibTeX]  [PDF]
Marko Djukanovic,  Christoph Berger,  Günther R. Raidl,  & Christian Blum (2021). An A⁎ search algorithm for the constrained longest common subsequence problem. Information Processing Letters, 166, 106041. https://doi.org/10.1016/j.ipl.2020.106041. [BibTeX]  [PDF]
Salim Bouamama,  & Christian Blum (2021). An Improved Greedy Heuristic for the Minimum Positive Influence Dominating Set Problem in Social Networks. Algorithms, 14. https://doi.org/10.3390/a14030079. [BibTeX]  [PDF]
Mehmet Anil Akbay,  & Christian Blum (2021). Application of CMSA to the Minimum Positive Influence Dominating Set Problem. [BibTeX]
Ángeles Manjarrés,  Celia Fernández-Aller,  Maite López-Sánchez,  Juan A. Rodríguez-Aguilar,  & Manuel Sierra Castañer (2021). Artificial Intelligence for a Fair, Just, and Equitable World. IEEE Technology and Society Magazine, 40, 19-24. https://doi.org/10.1109/MTS.2021.3056292. [BibTeX]  [PDF]
Francesc Esteva,  Lluís Godo,  & Sandra Sandri (2021). A similarity-based three-valued modal logic approach to reason with prototypes and counterexamples. MJ. Lesot, & C. Marsala (Eds.), Fuzzy Approaches for Soft Computing and Approximate Reasoning: Theories and Applications (pp 45-59). Springer. https://doi.org/10.1007/978-3-030-54341-9_5. [BibTeX]  [PDF]
Marco Schorlemmer,  & Enric Plaza (2021). A Uniform Model of Computational Conceptual Blending. Cognitive Systems Research, 65, 118--137. https://doi.org/10.1016/j.cogsys.2020.10.003. [BibTeX]  [PDF]
Tommaso Flaminio,  Lluís Godo,  & Sara Ugolini (2021). Canonical Extension of Possibility Measures to Boolean Algebras of Conditionals. Jirina Vejnarová, & Nic Wilson (Eds.), Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 16th European Conference, ECSQARU 2021, Prague, Czech Republic, September 21-24, 2021, Proceedings (pp. 543--556). Springer. https://doi.org/10.1007/978-3-030-86772-0_39. [BibTeX]  [PDF]
Chu-Min Li,  Zhenxing Xu,  Jordi Coll,  Felip Manyà,  Djamal Habet,  & Kun He (2021). {Combining Clause Learning and Branch and Bound for MaxSAT}. {27th International Conference on Principles and Practice of Constraint Programming (CP 2021)} . https://doi.org/10.4230/LIPIcs.CP.2021.38. [BibTeX]  [PDF]
Marcelo Coniglio,  Francesc Esteva,  Joan Gispert,  & Lluís Godo (2021). Degree-preserving Gödel logics with an involution: intermediate logics and (ideal) paraconsistency. O. Arielli, & A. Zamansky (Eds.), Arnon Avron on Semantics and Proof Theory of Non-Classical Logics (pp 107--139). Springer. https://doi.org/10.1007/978-3-030-71258-7_6. [BibTeX]  [PDF]
Emma Segura,  Jennifer Grau-Sánchez,  David Sanchez-Pinsach,  Myriam De-la-Cruz,  Esther Duarte,  Josep Lluis Arcos,  & Antoni Rodríguez-Fornells (2021). Designing an app for home-based enriched Music-supported Therapy in the rehabilitation of patients with chronic stroke: a pilot feasibility study. Brain Injury, 35, 1585-1597. https://doi.org/10.1080/02699052.2021.1975819. [BibTeX]
Núria Correa,  Jesús Cerquides,  Josep Lluis Arcos,  & Rita Vassena (2021). Development and validation of an Artificial Intelligence algorithm that matches a clinician ability to select the best follitropin dose for ovarian stimulation. Human Reproduction, 36. https://doi.org/10.1093/humrep/deab130.636. [BibTeX]
Borja Sánchez-López,  & Jesus Cerquides (2021). Dual Stochastic Natural Gradient Descent and convergence of interior half-space gradient approximations. [BibTeX]  [PDF]
Nieves Montes,  Nardine Osman,  & Carles Sierra (2021). Enabling Game-Theoretical Analysis of Social Rules. IOS Press. https://doi.org/10.3233/FAIA210120. [BibTeX]  [PDF]
Jennifer Grau-Sánchez,  Emma Segura,  David Sanchez-Pinsach,  Preeti Raghavan,  Thomas F. Münte,  Anna Marie Palumbo,  Alan Turry,  Esther Duarte,  Särkämö Särkämö,  Jesus Cerquides,  Josep Lluis Arcos,  & Antoni Rodriguez-Fornells (2021). Enriched Music-supported Therapy for chronic stroke patients: a study protocol of a randomised controlled trial. BMC Neurology, 21. https://doi.org/10.1186/s12883-020-02019-1. [BibTeX]  [PDF]
Emma Segura,  Jennifer Grau-Sánchez,  David Sanchez-Pinsach,  Esther Duarte,  Josep Lluis Arcos,  & Antoni Rodríguez-Fornells (2021). Enriched music-supported therapy in the improvement of motor function and quality of life of chronic stroke patients: a pilot study. NeuroMusic VII . [BibTeX]
Pablo Noriega,  & Txetxu Ausìn (2021). Ethical, Legal, Economic and Social Implications. Sara Degli Esposti, & Carles Sierra (Eds.), White Paper on Artificial Intelligence, Robotics and Data Science (pp 120-141). Consejo Superior de Investigaciones Científicas (España). [BibTeX]  [PDF]
Pablo Noriega,  Harko Verhagen,  Julian Padget,  & Mark d'Inverno (2021). Ethical Online AI Systems Through Conscientious Design. IEEE Internet Computing, 25, 58-64. https://doi.org/10.1109/MIC.2021.3098324. [BibTeX]  [PDF]
Chu-Min Li,  Felip Manyà,  Joan Ramon Soler,  & Amanda Vidal (2021). From Non-Clausal to Clausal MinSAT. https://doi.org/10.3233/FAIA210113. [BibTeX]  [PDF]
Dave de Jonge,  & Dongmo Zhang (2021). GDL as a unifying domain description language for declarative automated negotiation. Autonomous Agents and Multi-Agent Systems, 35. https://doi.org/10.1007/s10458-020-09491-6. [BibTeX]  [PDF]
Manel Rodríguez Soto,  Maite López-Sánchez,  & Juan A. Rodríguez-Aguilar (2021). Guaranteeing the Learning of Ethical Behaviour through Multi-Objective Reinforcement Learning. . Adaptive and Learning Agents Workshop at AAMAS 2021 (ALA 2021). [BibTeX]  [PDF]
Stefano Bonzio,  Gustavo Cevolani,  & Tommaso Flaminio (2021). How to Believe Long Conjunctions of Beliefs: Probability, Quasi-Dogmatism and Contextualism. Erkenntnis. https://doi.org/10.1007/s10670-021-00389-7. [BibTeX]  [PDF]
Dimitra Bourou,  Marco Schorlemmer,  & Enric Plaza (2021). Image Schemas and Conceptual Blending in Diagrammatic Reasoning: the Case of Hasse Diagrams. Amrita Basu, Gem Stapleton, Sven Linker, Catherine Legg, Emmanuel Manalo, & Petrucio Viana (Eds.), Diagrammatic Representation and Inference. 12th International Conference, Diagrams 2021, Virtual, September 28–30, 2021, Proceedings (pp. 297-314). [BibTeX]
Maite Lopez-Sanchez,  Marc Serramia,  & Juan A Rodríguez-Aguilar (2021). Improving on-line debates by aggregating citizen support. Artificial Intelligence Research and Development. IOS Press. [BibTeX]  [PDF]
Carlos Ansótegui,  Felip Manyà,  Jesus Ojeda,  Josep M. Salvia,  & Eduard Torres (2021). Incomplete MaxSAT Approaches for Combinatorial Testing. CoRR, abs/2105.12552. https://doi.org/https://arxiv.org/abs/2105.12552. [BibTeX]  [PDF]
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 . https://doi.org/https://arxiv.org/abs/2104.14911. [BibTeX]
Núria Correa,  Rita Vassena,  Jesus Cerquides,  & Josep Lluis Arcos (2021). Limits of conventional Machine Learning methods to predict pregnancy and multiple pregnancy after embryo transfer. Ada Valls, & Mateu Villaret (Eds.), Frontiers in Artificial Intelligence and Applications (pp In Press). IOS Press. [BibTeX]
Francesc Esteva,  Aldo Figallo-Orellano,  Tommaso Flaminio,  & Lluís Godo (2021). Logics of formal inconsistency based on distributive involutive residuated lattices. Journal of Logic and Computation, 31, 1226-1265. https://doi.org/10.1093/logcom/exab029. [BibTeX]  [PDF]
Chu Min Li,  & Felip Manyà (2021). MaxSAT, Hard and Soft Constraints. Handbook of satisfiability, second edition (pp 903--927). IOS Press. [BibTeX]  [PDF]
Ariadna Quattoni,  & Xavier Carreras (2021). Minimizing Annotation Effort via Max-Volume Spectral Sampling. Findings of the Association for Computational Linguistics: EMNLP 2021 (pp. To appear). Association for Computational Linguistics. [BibTeX]  [PDF]
Antoni Perello-Moragues,  Manel Poch,  David Sauri,  Lucia Alexandra Popartan,  & Pablo Noriega (2021). Modelling Domestic Water Use in Metropolitan Areas Using Socio-Cognitive Agents. Water, 13. https://doi.org/10.3390/w13081024. [BibTeX]  [PDF]
Dimitra Bourou,  Marco Schorlemmer,  & Enric Plaza (2021). Modelling the Sense-Making of Diagrams Using Image Schemas. Proc. of the 43rd Annual Meeting of the Cognitive Science Society (CogSci 2021), 26--29 July 2021, Vienna, Austria (pp. 1105-1111). [BibTeX]  [PDF]
Manel Rodríguez Soto,  Maite López-Sánchez,  & Juan A. Rodríguez-Aguilar (2021). Multi-Objective Reinforcement Learning for Designing Ethical Environments. Proceedings of the 30th International Joint Conference on Artificial Intelligence, (IJCAI-21) (pp. 545-551). [BibTeX]  [PDF]
Albert López Serrano,  Teddy Nurcahyadi,  Salim Bouamama,  & Christian Blum (2021). Negative Learning Ant Colony Optimization for the Minimum Positive Influence Dominating Set Problem. Proceedings of the Genetic and Evolutionary Computation Conference Companion (pp. 1974–1977). Association for Computing Machinery. https://doi.org/10.1145/3449726.3463130. [BibTeX]
Teddy Nurcahyadi,  & Christian Blum (2021). Negative Learning in Ant Colony Optimization: Application to the Multi Dimensional Knapsack Problem. 2021 5th International Conference on Intelligent Systems, Metaheuristics & Swarm Intelligence (pp. 22–27). Association for Computing Machinery. https://doi.org/10.1145/3461598.3461602. [BibTeX]
Manfred Schmidt-Schauß,  Temur Kutsia,  Jordi Levy,  Mateu Villaret,  & Yunus Kutz (2021). Nominal Unification and Matching of Higher Order Expressions with Recursive Let. [BibTeX]  [PDF]
Amanda Vidal (2021). Non axiomatizability of Modal Lukasiewicz Logic. [BibTeX]  [PDF]
Rodolfo Ertola-Biraben,  Francesc Esteva,  & Lluís Godo (2021). On distributive join semilattices. D. Fazio, A. Ledda, & F. Paoli (Eds.), Algebraic Perspectives on Substructural Logics (pp 21-40). Springer, Cham. https://doi.org/10.1007/978-3-030-52163-9_3. [BibTeX]  [PDF]
Pilar Dellunde,  Lluís Godo,  & Amanda Vidal (2021). On probabilistic logical argumentation based on conditional probability. M. Villaret al. (Eds.), Artificial Intelligence Research and Development - CCIA 2021, Lleida, Spain, October 20-22, 2021, Proceedings (pp. 7--16). IOS Press. https://doi.org/10.3233/FAIA210111. [BibTeX]
Tommaso Flaminio (2021). On standard completeness and finite model property for a probabilistic logic on Łukasiewicz events. Int. J. Approx. Reason., 131, 136--150. https://doi.org/10.1016/j.ijar.2020.12.023. [BibTeX]  [PDF]
Borja Sánchez-López,  & Jesus Cerquides (2021). On the Convergence of Stochastic Process Convergence Proofs. Mathematics, 9. https://doi.org/10.3390/math9131470. [BibTeX]  [PDF]
Borja Sánchez-López,  & Jesus Cerquides (2021). On the Convergence of Stochastic Process Convergence Proofs. Mathematics, 9. https://doi.org/10.3390/math9131470. [BibTeX]  [PDF]
Christian Blum (2021). On the Design of Matheuristics that make Use of Learning. . [BibTeX]
Marc Serramia,  Maite López-Sánchez,  Stefano Moretti,  & Juan A. Rodríguez-Aguilar (2021). On the dominant set selection problem and its application to value alignment. Autonomous Agents and Multi-agent Systems, 35. [BibTeX]  [PDF]
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]
Tommaso Flaminio,  Lluís Godo,  Paula Menchón,  & Ricardo Rodriguez (2021). On the role of Dunn and Fisher Servi axioms in relational frames for Godel modal logics. Third International Conference on Non-Classical Modal and Predicate Logics (NCMPL 2021) - Book of Abstracts (pp. 52-54). Ruhr University Bochum. [BibTeX]  [PDF]
Christian Blum (2021). On the Use of Learning in Hybrid Algorithms Combining Metaheuristics with Exact Techniques. . [BibTeX]
Antoni Perello-Moragues,  Pablo Noriega,  Lucia Alexandra Popartan,  & Manel Poch (2021). On Three Ethical Aspects Involved in Using Agent-Based Social Simulation for Policy-Making. Petra Ahrweiler, & Martin Neumann (Eds.), Advances in Social Simulation (pp. 415--427). Springer International Publishing. [BibTeX]  [PDF]
Amanda Vidal (2021). On transitive modal many-valued logics. Fuzzy Sets and Systems, 407, 97-114. https://doi.org/10.1016/j.fss.2020.01.011. [BibTeX]
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. https://doi.org/10.1109/TII.2021.3074394. [BibTeX]
Jesus Cerquides (2021). Parametrization invariant interpretation of priors and posteriors. arXiv:2105.08304 [cs, math, stat]. https://doi.org/http://arxiv.org/abs/2105.08304. [BibTeX]
Jesús Giráldez-Cru,  & Jordi Levy (2021). Popularity-similarity random SAT formulas. Artificial Intelligence, 299, 103537. https://doi.org/10.1016/j.artint.2021.103537. [BibTeX]
Pilar Dellunde,  Lluís Godo,  & Amanda Vidal (2021). Probabilistic argumentation: an approach based on conditional probability -- a preliminary report--. Wolfgang Faber, Gerhard Friedrich, Martin Gebser, & Michael Morak (Eds.), Logics in Artificial Intelligence - 17th European Conference, {JELIA} 2021, Virtual Event, May 17-20, 2021, Proceedings (pp. 25--32). Springer. https://doi.org/10.1007/978-3-030-75775-5\_3. [BibTeX]  [PDF]
Stefano Bonzio,  & Andrea Loi (2021). Probability over Płonka sums of Boolean algebras: States, metrics and topology. International Journal of Approximate Reasoning, 136, 14-35. https://doi.org/10.1016/j.ijar.2021.05.003. [BibTeX]  [PDF]
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]
Carlos Ansótegui,  & Jordi Levy (2021). Reducing SAT to Max2SAT. Zhi-Hua Zhou (Eds.), Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, {IJCAI-21} (pp. 1367--1373). International Joint Conferences on Artificial Intelligence Organization. https://doi.org/10.24963/ijcai.2021/189. [BibTeX]  [PDF]
Esther Anna Corsi,  Tommaso Flaminio,  & Hykel Hosni (2021). Scoring Rules for Belief Functions and Imprecise Probabilities: A Comparison. Jirina Vejnarová, & Nic Wilson (Eds.), Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 16th European Conference, ECSQARU 2021, Prague, Czech Republic, September 21-24, 2021, Proceedings (pp. 301--313). Springer. https://doi.org/10.1007/978-3-030-86772-0_22. [BibTeX]  [PDF]
Gabriela Ochoa,  Katherine M. Malan,  & Christian Blum (2021). Search trajectory networks: A tool for analysing and visualising the behaviour of metaheuristics. Applied Soft Computing, 109, 107492. https://doi.org/10.1016/j.asoc.2021.107492. [BibTeX]
Baxter E.J.,  Adhikari S.,  Vega-Ferrero J.,  Cui W.,  Chang C.,  Jain B.,  & Knebe A. (2021). Shocks in the stacked Sunyaev-Zel'dovich profiles of clusters - I. Analysis with the Three Hundred simulations. Monthly Notices of the Royal Astronomical Society, 508, 1777 – 1787. https://doi.org/10.1093/mnras/stab2720. [BibTeX]  [PDF]
Ignacio D. Lopez-Miguel,  Borja Fern\'{a}ndez Adiego,  Jean-Charles Tournier,  Enrique Blanco Vi\~{n}uela,  & Juan A. Rodriguez-Aguilar (2021). Simplification of Numeric Variables for PLC Model Checking. Proceedings of the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design (pp. 10–20). Association for Computing Machinery. https://doi.org/10.1145/3487212.3487334. [BibTeX]
Jesús Cerquides,  Juan A. Rodríguez-Aguilar,  Rémi Emonet,  & Gauthier Picard (2021). Solving Highly Cyclic Distributed Optimization Problems Without Busting the Bank: A Decimation-based Approach. Logic Journal of the IGPL, 29, 72-95. https://doi.org/10.1093/jigpal/jzaa069. [BibTeX]
Christian Blum,  Marko Djukanovic,  Alberto Santini,  Hua Jiang,  Chu-Min Li,  Felip Manyà,  & Günter R. Raidl (2021). Solving Longest Common Subsequence Problems via a Transformation to the Maximum Clique Problem. Computers & Operations Research, article number 105089. https://doi.org/10.1016/j.cor.2020.105089. [BibTeX]
Francesc Esteva,  Aldo Figallo-Orellano,  Tommaso Flaminio,  & Lluís Godo (2021). Some Categorical Equivalences for Nelson Algebras with Consistency Operators. Joint Proceedings of the 19th World Congress of the International Fuzzy Systems Association (IFSA), the 12th Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT), and the 11th International Summer School on Aggregation Operators (AGOP) (pp. 420-426). Atlantis Press. https://doi.org/10.2991/asum.k.210827.056. [BibTeX]  [PDF]
(2021). Theory and Applications of Satisfiability Testing - {SAT}2021 - 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings . Springer. https://doi.org/10.1007/978-3-030-80223-3. [BibTeX]
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]
Adri{\'{a}}n Torres{-}Mart{í}n,  Jer{\'{o}}nimo Hern{\'{a}}ndez{-}Gonz{\'{a}}lez,  & Jes{\'{u}}s Cerquides (2021). Validation on Real Data of an Extended Embryo-Uterine Probabilistic Graphical Model for Embryo Selection. Mateu Villaret, Teresa Alsinet, C{\\`{e}}sar Fern{\\'{a}}ndez, & A{\\"{\\i}}da Valls (Eds.), Artificial Intelligence Research and Development - Proceedings of the 23rd International Conference of the Catalan Association for Artificial Intelligence, {CCIA}2021, Virtual Event, 20-22 October, 2021 (pp. 225--234). {IOS}Press. https://doi.org/10.3233/FAIA210139. [BibTeX]  [PDF]
Nieves Montes,  & Carles Sierra (2021). Value-Alignment Equilibrium in Multiagent Systems. Fredrik Heintz, Michela Milano, & Barry O'Sullivan (Eds.), Trustworthy AI - Integrating Learning, Optimization and Reasoning (pp 189--204). Springer International Publishing. https://doi.org/10.1007/978-3-030-73959-1_17. [BibTeX]  [PDF]
Carles Sierra (2021). Value engineering. . [BibTeX]
Nieves Montes (2021). Value Engineering for Autonomous Agents -- Position Paper. [BibTeX]  [PDF]