Publications
In Press
Tommaso Flaminio,  & Lluís Godo (In Press). A fuzzy probability logic for compound conditionals. XX Spanish Congress on Fuzzy Logic and Technologies (ESTYLF 20/21) . [BibTeX]  [PDF]
Tommaso Flaminio,  Lluís Godo,  & Sara Ugolini (In Press). Canonical Extension of Possibility Measures to Boolean Algebras of Conditionals. Proc. ECSQARU 2021 . [BibTeX]
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]
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]
Pilar Dellunde,  Lluís Godo,  & Amanda Vidal (In Press). On probabilistic logical argumentation based on conditional probability. Proc. CCIA 2021 . [BibTeX]
Marcelo Coniglio,  Francesc Esteva,  Tommaso Flaminio,  & Lluís Godo (In Press). On the expressive power of Lukasiewicz’s square operator. Journal of Logic and Computation. [BibTeX]
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]
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]
Jaume Agustí-Cullell,  & Marco Schorlemmer (2021). A Humanist Perspective on Artificial Intelligence. Comprendre, 23, 99--125. [BibTeX]
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]
Á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]
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]
Borja Sánchez-López,  & Jesus Cerquides (2021). Dual Stochastic Natural Gradient Descent and convergence of interior half-space gradient approximations. [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,  Harko Verhagen,  Julian Padget,  & Mark d'Inverno (2021). Ethical Online AI Systems through Conscientious Design. IEEE Internet Computing. [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 in Diagrammatic Reasoning: the Case of Hasse Diagrams. Proc. of the 12th Int. Conf. on the Theory and Application of Diagrams (Diagrams 2021), September 28--30 2021 . [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]
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. https://doi.org/10.1093/logcom/exab029. [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. in-press). [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]
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]
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]
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]
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]
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]
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,  & Lluis 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]
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]
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]
Nieves Montes (2021). Value Engineering for Autonomous Agents -- Position Paper. [BibTeX]  [PDF]
Nieves Montes,  & Carles Sierra (2021). Value-Guided Synthesis of Parametric Normative Systems. Proceedings of the 20th International Conference on Autonomous Agents and MultiAgent Systems (pp. 907–915). International Foundation for Autonomous Agents and Multiagent Systems. https://doi.org/https://dl.acm.org/doi/10.5555/3463952.3464060. [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]
Marko Djukanovic,  Günther R. Raidl,  & Christian Blum (2020). Anytime algorithms for the longest common palindromic subsequence problem. Computers & Operations Research, 114, article number 104827. https://doi.org/10.1016/j.cor.2019.104827. [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]
Jerónimo Hernández-González,  & Jesús Cerquides (2020). A Robust Solution to Variational Importance Sampling of Minimum Variance. Entropy, 22, 1405. https://doi.org/10.3390/e22121405. [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]
Manel Rodríguez Soto,  Maite López-Sánchez,  & Juan A. Rodríguez-Aguilar (2020). A Structural Solution to Sequential Moral Dilemmas. Proceedings of the 19th International Conference on Autonomous Agents and MultiAgent Systems (pp. 1152--1160). [BibTeX]  [PDF]
Amanda Vidal,  Francesc Esteva,  & Lluís Godo (2020). Axiomatizing logics of fuzzy preferences using graded modalities. Fuzzy Sets and Systems, 401, 163-188. https://doi.org/10.1016/j.fss.2020.01.002. [BibTeX]  [PDF]
Pedro Pinacho-Davidson,  & Christian Blum (2020). BARRAKUDA: A Hybrid Evolutionary Algorithm for Minimum Capacitated Dominating Set Problem. Mathematics, 8. https://doi.org/10.3390/math8111858. [BibTeX]  [PDF]
Tommaso Flaminio,  Lluís Godo,  & Hykel Hosni (2020). Boolean algebras of conditionals, probability and logic. Artificial Intelligence, 286, 103347. https://doi.org/10.1016/j.artint.2020.103347. [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]
Francesc Esteva,  Aldo Figallo-Orellano,  Tommaso Flaminio,  & Lluís Godo (2020). Degree-preserving companion of Nelson logic expanded with a consistency operator. Anais do I Workshop Brasileiro de Lógica (pp. 41--48). SBC. https://doi.org/10.5753/wbl.2020.11457. [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]
Oguz Mulayim,  & Josep Lluis Arcos (2020). Fast anytime retrieval with confidence in large-scale temporal case bases. Knowledge-Based Systems, 206, 106374. https://doi.org/10.1016/j.knosys.2020.106374. [BibTeX]
Marco Gori,  Ram{\'{o}}n L{\'{o}}pez M{\'{a}}ntaras,  & Carlo Strapparava (2020). Festschrift in honor of Oliviero Stock - - Preface. Ann. Math. Artif. Intell., 88, 401--403. https://doi.org/10.1007/s10472-019-09686-y. [BibTeX]  [PDF]
Marko Djukanovic,  Günther R. Raidl,  & Christian Blum (2020). Finding Longest Common Subsequences: New anytime A* search results. Applied Soft Computing, 95, 106499. https://doi.org/10.1016/j.asoc.2020.106499. [BibTeX]
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]
Christian Blum (2020). Minimum common string partition: on solving large-scale problem instances. International Transactions in Operational Research, 27, 91--111. https://doi.org/10.1111/itor.12603. [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]
Filippo Bistaffa,  Juan A. Rodríguez-Aguilar,  & Jesús Cerquides (2020). Predicting Requests in Large-Scale Online P2P Ridesharing. arXiv preprint arXiv:2009.02997. [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]
Gabriela Ochoa,  Katherine Mary Malan,  & Christian Blum (2020). Search Trajectory Networks of Population-Based Algorithms in Continuous Spaces. Pedro A. Castillo, Juan Luis Jim{\\'{e}}nez Laredo, & Francisco Fern{\\'{a}}ndez Vega (Eds.), Applications of Evolutionary Computation - 23rd European Conference, EvoApplications 2020 (pp. 70--85). Springer. https://doi.org/10.1007/978-3-030-43722-0\_5. [BibTeX]  [PDF]
Dhananjay Thiruvady,  Christian Blum,  & Andreas T. Ernst (2020). Solution Merging in Matheuristics for Resource Constrained Job Scheduling. Algorithms, 13. https://doi.org/10.3390/a13100256. [BibTeX]  [PDF]
Felip Many{\`{a}},  Santiago Negrete,  Carme Roig,  & Joan Ramon Soler (2020). Solving the Team Composition Problem in a Classroom. Fundamenta Informaticae, 174, 83--101. https://doi.org/10.3233/FI-2020-1933. [BibTeX]  [PDF]
Dave de Jonge,  & Dongmo Zhang (2020). Strategic negotiations for extensive-form games. Autonomous Agents and Multi-Agent Systems, 34. https://doi.org/10.1007/s10458-019-09424-y. [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]
Jesús Vega,  M. Ceballos,  Josep Puyol-Gruart,  Pere García,  B. Cobo,  & F. J. Carrera (2020). TES X-ray pulse identification using CNNs. ADASS XXX . [BibTeX]  [PDF]
Thomas Bläsius,  Tobias Friedrich,  Andreas Göbel,  Jordi Levy,  & Ralf Rothenberger (2020). The Impact of Heterogeneity and Geometry on the Proof Complexity of Random Satisfiability. CoRR, abs/2004.07319. https://doi.org/https://arxiv.org/abs/2004.07319. [BibTeX]  [PDF]
Tommaso Flaminio (2020). Three Characterizations of Strict Coherence on Infinite-Valued Events. The Review of Symbolic Logic, 1--18. https://doi.org/10.1017/S1755020319000546. [BibTeX]  [PDF]
Zoe Falomir,  & Enric Plaza (2020). Towards a model of creative understanding: deconstructing and recreating conceptual blends using image schemas and qualitative spatial descriptors. Annals of Mathematics and Artificial Intelligence, 88, 457-477. https://doi.org/10.1007/s10472-019-09619-9. [BibTeX]
Marta Poblet,  & Carles Sierra (2020). Understanding Help as a Commons. International Journal of the Commons, 14, 281--493. https://doi.org/http://doi.org/10.5334/ijc.1029. [BibTeX]  [PDF]
Antoni Perello-Moragues,  & Pablo Noriega (2020). Using Agent-Based Simulation to Understand the Role of Values in Policy-Making. Harko Verhagen, Melania Borit, Giangiacomo Bravo, & Nanda Wijermans (Eds.), Advances in Social Simulation (pp. 355--369). Springer International Publishing. [BibTeX]  [PDF]
Paula Chocron,  & Marco Schorlemmer (2020). Vocabulary Alignment in Openly Specified Interactions. Journal of Artificial Intelligence Research, 68, 69--107. https://doi.org/10.1613/jair.1.11497. [BibTeX]
2019
Mariela Morveli Espinoza,  J.C. Nieves,  A. Possebom,  Josep Puyol-Gruart,  & C.A. Tacla (2019). An argumentation-based approach for identifying and dealing with incompatibilities among procedural goals. International Journal of Approximate Reasoning, 105, 1 - 26. https://doi.org/10.1016/j.ijar.2018.10.015. [BibTeX]
Antoni Perello-Moragues,  & Pablo Noriega (2019). {A Playground for the Value Alignment Problem}. Lourdes Martínez-Villaseñor, Ildar Batyrshin, Antonio Marín-Hernandez, & Hiram Ponce (Eds.), {Advances in Soft Computing. MICAI 2019. Lecture Notes in Computer Science, vol 11835} (pp. 414--429). Springer International Publishing. [BibTeX]  [PDF]