Marcelo Coniglio,
Francesc Esteva,
Joan Gispert,
& Lluís Godo
(In Press).Degree-preserving Gödel logics with an involution: intermediate logics and (ideal) paraconsistency.[BibTeX]
[PDF]
Jesús Cerquides,
Rémi Emonet,
Gauthier Picard,
& Juan A. Rodríguez-Aguilar
(In Press).SOLVING HIGHLY CYCLIC DISTRIBUTED OPTIMIZATION PROBLEMS WITHOUT BUSTING THE BANK: A DECIMATION-BASED APPROACH.Logic Journal of the IGPL.[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]
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]
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]
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]
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, Susana M. Vieira, Marek Z. Reformat, Jo{\\~{a}}o Paulo Carvalho, Anna Wilbik, Bernadette Bouchon{-}Meunier, & Ronald R. Yager (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, Susana M. Vieira, Marek Z. Reformat, Jo{\\~{a}}o Paulo Carvalho, Anna Wilbik, Bernadette Bouchon{-}Meunier, & Ronald R. Yager (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]
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]
(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]
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]
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]
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]
Tommaso Flaminio,
Lluís Godo,
& Ricardo Oscar Rodriguez
(2019).A Representation Theorem for Finite Godel Algebras with Operators.11th conference of the European Society for Fuzzy Logic and Technology, EUSFLAT-2019 (Book of Abstracts)(pp. 51).
[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]
Jordi Ganzer-Ripoll,
Natalia Criado,
Maite Lopez-Sanchez,
Simon Parsons,
& Juan A. Rodríguez-Aguilar
(2019).Combining social choice theory and argumentation: Enabling collective decision making.Group Decision and Negotiation, 28, 127--173.[BibTeX]
[PDF]
David Sanchez-Pinsach,
Oguz Mulayim,
Jennifer Grau-Sánchez,
Emma Segura,
Berta Juan-Corbella,
Josep Lluis Arcos,
Jesus Cerquides,
Monique Messaggi-Sartor,
Esther Duarte,
& Antoni Rodriguez-Fornells
(2019).Design of an AI Platform to Support Home-Based Self-Training Music Interventions for Chronic Stroke Patients.Jordi Sabater-Mir, Vicenç Torra, Isabel Aguilo, & Manuel González-Hidalgo (Eds.),Frontiers in Artificial Intelligence and Applications (pp 170--175).IOS Press.https://doi.org/10.3233/FAIA190120.[BibTeX]
Dhananjay Thiruvady,
Christian Blum,
& Andreas T. Ernst
(2019).Maximising the Net Present Value of Project Schedules Using CMSA and Parallel ACO.International Workshop on Hybrid Metaheuristics (HM 2019)(pp. 16-30).
Springer.https://doi.org/10.1007/978-3-030-05983-5_2.[BibTeX]
Antoni Perello-Moragues,
Pablo Noriega,
& Manel Poch
(2019).Modelling Contingent Technology Adoption in Farming Irrigation Communities.Journal of Artificial Societies and Social Simulation, 22, 1.https://doi.org/10.18564/jasss.4100.[BibTeX]
Francisco Salas-Molina,
Juan A. Rodríguez-Aguilar,
David Pla-Santamaria,
& Ana García-Bernabeu
(2019).On the formal foundations of cash management systems.Operational Research, 1--15.[BibTeX]
[PDF]
Inmaculada Rodriguez,
Anna Puig,
Juan A. Rodríguez-Aguilar,
Josep Lluis Arcos,
Sergi Cebrián,
Anton Bogdanovych,
Núria Morera,
Raquel Piqué,
& Antoni Palomo
(2019).On the Relationship between Subjective and Objective Measures of Virtual Reality Experiences: a Case Study of a Serious Game.International Symposium on Gamification and Games for Learning (GamiLearn 2019)
.
CEUR-WS.org.[BibTeX]
Carlos Ansótegui,
Maria Luisa Bonet,
& Jordi Levy
(2019).Phase Transition in Realistic Random {SAT}Models.Jordi Sabater{-}Mir, Vicenç Torra, Isabel Aguiló, & Manuel González Hidalgo (Eds.),Artificial Intelligence Research and Development - Proceedings of the 22nd International Conference of the Catalan Association for Artificial Intelligence, {CCIA}2019, Mallorca, Spain, 23-25 October 2019(pp. 213--222).
{IOS}Press.https://doi.org/10.3233/FAIA190126.[BibTeX]
[PDF]
Marcelo Coniglio,
Francesc Esteva,
Tommaso Flaminio,
& Lluís Godo
(2019).Prime numbers and implication free reducts of MVn-chains.SYSMICS 2019 - Syntax meets Semantics(pp. 66-69).
Institute for Logic, Language and Computation, University of Amsterdam.[BibTeX]
[PDF]
Marcelo Coniglio,
Francesc Esteva,
Tommaso Flaminio,
& Lluís Godo
(2019).Prime numbers and implication free reducts of MVn-chains.SYSMICS 2019 - Syntax meets Semantics(pp. 66-69).
Institute for Logic, Language and Computation, University of Amsterdam.[BibTeX]
Divansh Arora,
Parikshit Maini,
Christian Blum,
& Pedro Pinacho Davidson
(2019).Route Planning for Cooperative Air-Ground Robots with Fuel Constraints: An Approach based on CMSA.Genetic and Evolutionary Computation Conference (GECCO 2019)(pp. 207-214).
ACM Press.https://doi.org/10.1145/3321707.3321820.[BibTeX]
Dave Jonge,
Tim Baarslag,
Reyhan Aydoğan,
Catholijn Jonker,
Katsuhide Fujita,
& Takayuki Ito
(2019).The Challenge of Negotiation in the Game of Diplomacy.Marin Lujak (Eds.),Agreement Technologies 2018, Revised Selected Papers(pp. 100-114).
Springer International Publishing.[BibTeX]
Tommaso Flaminio
(2019).Towards a Standard Completeness for a Probabilistic Logic on Infinite-Valued Events.Gabriele Kern{-}Isberner, & Zoran Ognjanovic (Eds.),Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 15th European Conference, {ECSQARU}2019, Belgrade, Serbia, September 18-20, 2019, Proceedings(pp. 397--407).
Springer.https://doi.org/10.1007/978-3-030-29765-7\_33.[BibTeX]
Sergi Cebrián,
Núria Morera,
Joan Anton Barceló,
Igor Bogdanovic,
Oriol López-Bultó,
Ivan Campana,
Antoni Palomo,
Raquel Piqué,
Jordi Revelles,
Xavier Terradas,
Josep Lluis Arcos,
Juan A. Rodríguez-Aguilar,
Anton Bogdanovych,
Simeon Simoff,
Tomas Trescak,
Inmaculada Rodriguez,
& Anna Puig
(2018).Beyond the Virtual Reconstruction of an Archaeological Settlement.Computer Applications and Quantitative Methods in Archaeology (CAA) international conference
.
[BibTeX]
José Luis Fernández-Martínez,
Maite Lopez-Sanchez,
Juan A. Rodríguez-Aguilar,
Dionisio Sánchez Rubio,
& Berenice Zambrano Nemegyei
(2018).Co-Designing Participatory Tools for a New Age: A Proposal for Combining Collective and Artificial Intelligences.International Journal of Public Administration in the Digital Age (IJPADA), 5, 1--17.[BibTeX]
[PDF]
Pietro Codara,
Francesc Esteva,
Lluís Godo,
& Diego Valota
(2018).Connecting systems of mathematical fuzzy logic with fuzzy concept lattices.IPMU 2018(pp. 275-286).
[BibTeX]
[PDF]
Jesús Cerquides,
Rémi Emonet,
Gauthier Picard,
& Juan A. Rodríguez-Aguilar
(2018).DeciMaxSum: Décimer pour résoudre des DCOP cycliques plus efficacement.26emes Journées Francophones sur les Systèmes Multi-Agents (JSFMA 2018)
.
[BibTeX]
Jesus Cerquides,
Rémi Emonet,
Gauthier Picard,
& Juan A. Rodríguez-Aguilar
(2018).Decimaxsum: Décimer pour résoudre des dcop cycliques plus efficacement. In Journées Francophones sur les Systèmes Multi-Agents.
.
[BibTeX]
Jesús Cerquides,
Rémi Emonet,
Gauthier Picard,
& Juan A. Rodríguez-Aguilar
(2018).DeciMaxSum: Using decimation to improve max-sum on cyclic DCOPs.Artificial Intelligence Research and Development (pp 27-36).IOS Press.[BibTeX]