Emma Segura,
Jennifer Grau-Sánchez,
David Sanchez-Pinsach,
Myriam De-la-Cruz,
Esther Duarte,
Josep Lluis Arcos,
& Antoni Rodríguez-Fornells
(In Press).Designing an app for home-based enriched Music-supported Therapy in the rehabilitation of patients with chronic stroke: a pilot feasibility study.Brain Injury.[BibTeX]
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]
Tommaso Flaminio,
Lluís Godo,
& Sara Ugolini
(2021).Canonical Extension of Possibility Measures to Boolean Algebras of Conditionals.Jirina Vejnarov{\\'{a}}and 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]
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]
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.ESHRE
.
[BibTeX]
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]
Dave 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]
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]
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]
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]
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]
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]
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]
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]
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]
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]
Esther Anna Corsi,
Tommaso Flaminio,
& Hykel Hosni
(2021).When Belief Functions and Lower Probabilities are Indistinguishable.A. Cano, J. De Bock, E. Miranda, & S. Moral (Eds.),Proceedings of the Twelveth International Symposium on Imprecise Probability: Theories and Applications(pp. 83--89).
PMLR.https://doi.org/https://proceedings.mlr.press/v147/corsi21a.html.[BibTeX]
[PDF]
2020
Jordi Ganzer,
Natalia Criado,
Maite Lopez-Sanchez,
Simon Parsons,
& Juan A. Rodríguez-Aguilar
(2020).A model to support collective reasoning: Formalization, analysis and computational assessment.arXiv preprint arXiv:2007.06850.[BibTeX]
[PDF]
Teddy Nurcahyadi,
& Christian Blum
(2020).A New Approach for Making Use of Negative Learning in Ant Colony Optimization.Marco Dorigo, Thomas Stützle, Maria J. Blesa, Christian Blum, Heiko Hamann, Mary Katherine Heinrich, & Volker Strobel (Eds.),Swarm Intelligence(pp. 16--28).
Springer International Publishing.[BibTeX]
Christian Blum,
Marta Verdaguer,
Hèctor Monclús,
& Manel Poch
(2020).A new optimization model for wastewater treatment planning with a temporal component.Process Safety and Environmental Protection, 136, 157 - 168.[BibTeX]
Marc Serramia,
Maite Lopez-Sanchez,
& Juan A. Rodríguez-Aguilar
(2020).A Qualitative Approach to Composing Value-Aligned Norm Systems.Proceedings of the 19th International Conference on Autonomous Agents and MultiAgent Systems(pp. 1233--1241).
[BibTeX]
[PDF]
Francisco Salas-Molina,
Juan A. Rodríguez-Aguilar,
& David Pla-Santamaria
(2020).A stochastic goal programming model to derive stable cash management policies.Journal of Global Optimization, 76, 333--346.[BibTeX]
[PDF]
Chu{-}Min Li,
Fan Xiao,
Mao Luo,
Felip Many{\`{a}},
Zhipeng L{\"{u}},
& Yu Li
(2020).Clause vivification by unit propagation in {CDCL}{SAT}solvers.Artificial Intelligence, 279.https://doi.org/10.1016/j.artint.2019.103197.[BibTeX]
[PDF]
Eva Armengol,
& {\`{A}}ngel Garc{í}a{-}Cerda{\~{n}}a
(2020).Decision Trees as a Tool for Data Analysis. Elections in Barcelona: A Case Study.Vicen{\\c{c}}Torra, Yasuo Narukawa, Jordi Nin, & N{\\'{u}}ria Agell (Eds.),Modeling Decisions for Artificial Intelligence - 17th International Conference, {MDAI}2020, Sant Cugat, Spain, September 2-4, 2020, Proceedings(pp. 261--272).
Springer.https://doi.org/10.1007/978-3-030-57524-3\_22.[BibTeX]
[PDF]
Maria Luisa Bonet,
& Jordi Levy
(2020).Equivalence Between Systems Stronger Than Resolution.Proc. of the 23rd Int. Conf. on Theory and Applications of Satisfiability Testing, SAT'20, Alghero, Italy, July 3-10, 2020(pp. 166--181).
https://doi.org/10.1007/978-3-030-51825-7\_13.[BibTeX]
[PDF]
Tommaso Flaminio,
& Sara Ugolini
(2020).Hyperstates of Involutive MTL-Algebras that Satisfy $(2x)^2=2(x^2)$.Shier Ju, Alessandra Palmigiano, & Minghui Ma (Eds.),Nonclassical Logics and Their Applications(pp. 1--14).
Springer Singapore.[BibTeX]
[PDF]
Anna Puig,
Inmaculada Rodríguez,
Josep Ll Arcos,
Juan A. Rodríguez-Aguilar,
Sergi Cebrián,
Anton Bogdanovych,
Núria Morera,
Antoni Palomo,
& Raquel Piqué
(2020).Lessons learned from supplementing archaeological museum exhibitions with virtual reality.Virtual Reality, 24, 343--358.[BibTeX]
[PDF]
Antoni Perello-Moragues,
Pablo Noriega,
Lucia Alexandra Popartan,
& Manel Poch
(2020).Modelling Policy Shift Advocacy.Mario Paolucci, Jaime Simão Sichman, & Harko Verhagen (Eds.),Multi-Agent-Based Simulation XX(pp. 55--68).
Springer International Publishing.https://doi.org/10.1007/978-3-030-60843-9_5.[BibTeX]
[PDF]
Bohan Li,
Xindi Zhang,
Shaowei Cai,
Jinkun Lin,
Yiyuan Wang,
& Christian Blum
(2020).NuCDS: An Efficient Local Search Algorithm for Minimum Connected Dominating Set.Proceedings of the Twenty-Nineth International Joint Conference on Artificial Intelligence, {IJCAI-20}
.
International Joint Conferences on Artificial Intelligence Organization.[BibTeX]
Francesc Esteva,
Lluís Godo,
Ricardo Oscar Rodríguez,
& Thomas Vetterlein
(2020).On Ruspini's Models of Similarity-Based Approximate Reasoning.Marie{-}Jeanne Lesot al. (Eds.),Information Processing and Management of Uncertainty in Knowledge-Based Systems - 18th International Conference, {IPMU}2020, Lisbon, Portugal, June 15-19, 2020, Proceedings, Part {I}(pp. 3--13).
Springer.https://doi.org/10.1007/978-3-030-50146-4\_1.[BibTeX]
[PDF]
Marko Djukanovic,
Christoph Berger,
Günther R. Raidl,
& Christian Blum
(2020).On Solving a Generalized Constrained Longest Common Subsequence Problem.Nicholas Olenev, Yuri Evtushenko, Michael Khachay, & Vlasta Malkova (Eds.),Optimization and Applications(pp. 55--70).
Springer International Publishing.[BibTeX]
[PDF]
Lluís Godo,
Martín Sócola-Ramos,
& Francesc Esteva
(2020).On the Logic of Left-Continuous t-Norms and Right-Continuous t-Conorms.Marie-Jeanne Lesot al. (Eds.),Information Processing and Management of Uncertainty in Knowledge-Based Systems - 18th International Conference, {IPMU}2020, Lisbon, Portugal, June 15-19, 2020, Proceedings, Part {III}(pp. 654--665).
Springer.https://doi.org/10.1007/978-3-030-50153-2\_48.[BibTeX]
[PDF]
Umberto Rivieccio,
Tommaso Flaminio,
& Thiago Nascimento
(2020).On the representation of (weak) nilpotent minimum algebras.29th IEEE International Conference on Fuzzy Systems, FUZZ-IEEE 2020, Glasgow, UK, July 19-24, 2020(pp. 1--8).
IEEE.https://doi.org/10.1109/FUZZ48607.2020.9177641.[BibTeX]
[PDF]
Matthias Horn,
Marko Djukanovic,
Christian Blum,
& Günther R. Raidl
(2020).On the Use of Decision Diagrams for Finding Repetition-Free Longest Common Subsequences.Nicholas Olenev, Yuri Evtushenko, Michael Khachay, & Vlasta Malkova (Eds.),Optimization and Applications(pp. 134--149).
Springer International Publishing.[BibTeX]
[PDF]
Nardine Osman,
Carles Sierra,
Ronald Chenu-Abente,
Qiang Shen,
& Fausto Giunchiglia
(2020).Open Social Systems.Nick Bassiliades, Georgios Chalkiadakis, & Dave Jonge (Eds.),Multi-Agent Systems and Agreement Technologies(pp. 132--142).
Springer International Publishing.[BibTeX]
[PDF]
(2020).Preface to the Special Issue on Matheuristics and Metaheuristics.International Transactions in Operational Research, 27, 5-8.https://doi.org/10.1111/itor.12702.[BibTeX]
[PDF]
Thiago Pedro Donadon Homem,
Paulo Eduardo Santos,
Anna Helena Reali Costa,
Reinaldo Augusto Costa Bianchi,
& Ram{\'{o}}n L{\'{o}}pez M{\'{a}}ntaras
(2020).Qualitative case-based reasoning and learning.Artif. Intell., 283, 103258.https://doi.org/10.1016/j.artint.2020.103258.[BibTeX]