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,
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]
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]
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]
P. Noriega,
H. Verhagen,
J. Padget,
& M. 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]
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]
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]
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]
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]
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
Ariadna Quattoni,
& Xavier Carreras
(2020).A comparison between CNNs and WFAs for Sequence Classification.Proceedings of SustaiNLP: Workshop on Simple and Efficient Natural Language Processing(pp. 159--163).
Association for Computational Linguistics.https://doi.org/10.18653/v1/2020.sustainlp-1.21.[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]
Reyhan Aydo{\u{g}}an,
Tim Baarslag,
Katsuhide Fujita,
Johnathan Mell,
Jonathan Gratch,
Dave de Jonge,
Yasser Mohammad,
Shinji Nakadai,
Satoshi Morinaga,
Hirotaka Osawa,
Claus Aranha,
& Catholijn M. Jonker
(2020).Challenges and Main Results of the Automated Negotiating Agents Competition (ANAC) 2019.Nick Bassiliades, Georgios Chalkiadakis, & Dave Jonge (Eds.),Multi-Agent Systems and Agreement Technologies(pp. 366--381).
Springer International Publishing.[BibTeX]
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]