Marcelo Coniglio,
Francesc Esteva,
Joan Gispert,
& Lluís Godo
(In Press).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.Springer.[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]
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]
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]
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]
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]
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]
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]
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]
Borja Sánchez-López,
& Jesus Cerquides
(2019).Convergent Stochastic Almost Natural Gradient Descent.Artificial Intelligence Research and Development- Proceedings of the 22nd International Conference of the Catalan Association for Artificial Intelligence, 319, 54-63.[BibTeX]
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]
Tommaso Flaminio,
Lluís Godo,
& Ricardo Oscar Rodriguez
(2019).Godel algebras with operators and their logics.ManyVal 2019 - Book of Abstracts(pp. 44-45).
[BibTeX]
[PDF]
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]
[PDF]
Marcelo Coniglio,
Francesc Esteva,
Joan Gispert,
& Lluís Godo
(2019).On paraconsistent extensions of degree-preserving G\"odel logics with an involution.ManyVal 2019 - Book of Abstracts(pp. 37-38).
[BibTeX]
[PDF]
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]