In Press
Filippo Bistaffa,  Georgios Chalkiadakis,  & Alessandro Farinelli (In Press). Efficient Coalition Structure Generation via Approximately Equivalent Induced Subgraph Games. IEEE Transactions on Cybernetics. [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]
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]  [PDF]
Marc Serramia,  Maite López-Sánchez,  & Juan A. Rodríguez-Aguilar (In Press). Value-aligned AI: Lessons learnt from value-aligned norm selection. Philosophy and Technology. [BibTeX]  [PDF]
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. [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. [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. [BibTeX]  [PDF]
Filippo Bistaffa (2021). A Concise Function Representation for Faster Exact {MPE}and Constrained Optimisation in Graphical Models. CoRR, abs/2108.03899. [BibTeX]  [PDF]
Teddy Nurcahyadi,  & Christian Blum (2021). Adding Negative Learning to Ant Colony Optimization:A Comprehensive Study. Mathematics, 9. [BibTeX]  [PDF]
Tommaso Flaminio,  & Lluís Godo (2021). A fuzzy probability logic for compound conditionals. XX Spanish Congress on Fuzzy Logic and Technologies (ESTYLF 20/21), Actas CAEPIA 20/21 (pp. 256-261). [BibTeX]  [PDF]
Samir Balbal,  Salim Bouamama,  & Christian Blum (2021). A Greedy Heuristic for Maximizing the Lifetime of Wireless Sensor Networks Based on Disjoint Weighted Dominating Sets. Algorithms, 14. [BibTeX]  [PDF]
Dave de Jonge,  Filippo Bistaffa,  & Jordi Levy (2021). A Heuristic Algorithm for Multi-Agent Vehicle Routing with Automated Negotiation. Frank Dignum, Alessio Lomuscio, Ulle Endriss, & Ann Now{\\'{e}} (Eds.), {AAMAS}'21: 20th International Conference on Autonomous Agents and Multiagent Systems, Virtual Event, United Kingdom, May 3-7, 2021 (pp. 404--412). {ACM}. [BibTeX]  [PDF]
Jaume Agustí-Cullell,  & Marco Schorlemmer (2021). A Humanist Perspective on Artificial Intelligence. Comprendre, 23, 99--125. [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]
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. [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. [BibTeX]  [PDF]
Salim Bouamama,  & Christian Blum (2021). An Improved Greedy Heuristic for the Minimum Positive Influence Dominating Set Problem in Social Networks. Algorithms, 14. [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. [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. [BibTeX]  [PDF]
Marco Schorlemmer,  & Enric Plaza (2021). A Uniform Model of Computational Conceptual Blending. Cognitive Systems Research, 65, 118--137. [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. [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. [BibTeX]  [PDF]
Emma Segura,  Jennifer Grau-Sánchez,  David Sanchez-Pinsach,  Myriam De-la-Cruz,  Esther Duarte,  Josep Lluis Arcos,  & Antoni Rodríguez-Fornells (2021). Designing an app for home-based enriched Music-supported Therapy in the rehabilitation of patients with chronic stroke: a pilot feasibility study. Brain Injury, 35, 1585-1597. [BibTeX]
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]
Nieves Montes,  Nardine Osman,  & Carles Sierra (2021). Enabling Game-Theoretical Analysis of Social Rules. IOS Press. [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. [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]
P. Noriega,  H. Verhagen,  J. Padget,  & M. d'Inverno (2021). Ethical Online AI Systems Through Conscientious Design. IEEE Internet Computing, 25, 58-64. [BibTeX]  [PDF]
Dave de Jonge,  & Dongmo Zhang (2021). GDL as a unifying domain description language for declarative automated negotiation. Autonomous Agents and Multi-Agent Systems, 35. [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. [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]
Carlos Ansótegui,  Felip Manyà,  Jesus Ojeda,  Josep M. Salvia,  & Eduard Torres (2021). Incomplete MaxSAT Approaches for Combinatorial Testing. CoRR, abs/2105.12552. [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 . [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, 31, 1226-1265. [BibTeX]  [PDF]
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. [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]
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. [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. [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]
Amanda Vidal (2021). Non axiomatizability of Modal Lukasiewicz Logic. [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. [BibTeX]  [PDF]
Pilar Dellunde,  Lluís Godo,  & Amanda Vidal (2021). On probabilistic logical argumentation based on conditional probability. M. Villaret al. (Eds.), Artificial Intelligence Research and Development - CCIA 2021, Lleida, Spain, October 20-22, 2021, Proceedings (pp. 7--16). IOS Press. [BibTeX]
Tommaso Flaminio (2021). On standard completeness and finite model property for a probabilistic logic on Łukasiewicz events. Int. J. Approx. Reason., 131, 136--150. [BibTeX]  [PDF]
Borja Sánchez-López,  & Jesus Cerquides (2021). On the Convergence of Stochastic Process Convergence Proofs. Mathematics, 9. [BibTeX]  [PDF]
Borja Sánchez-López,  & Jesus Cerquides (2021). On the Convergence of Stochastic Process Convergence Proofs. Mathematics, 9. [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]
Amanda Vidal (2021). On transitive modal many-valued logics. Fuzzy Sets and Systems, 407, 97-114. [BibTeX]
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. [BibTeX]
Jesus Cerquides (2021). Parametrization invariant interpretation of priors and posteriors. arXiv:2105.08304 [cs, math, stat]. [BibTeX]
Jesús Giráldez-Cru,  & Jordi Levy (2021). Popularity-similarity random SAT formulas. Artificial Intelligence, 299, 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.\_3. [BibTeX]  [PDF]
Stefano Bonzio,  & Andrea Loi (2021). Probability over Płonka sums of Boolean algebras: States, metrics and topology. International Journal of Approximate Reasoning, 136, 14-35. [BibTeX]  [PDF]
Josep Puyol-Gruart,  Pere Garcia Calvés,  Jesús Vega,  Maria Teresa Ceballos,  Bea Cobo,  & Francisco J. Carrera (2021). Pulse Identification Using SVM. Artificial Intelligence Research and Development, 339 (pp. 221--224). [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. [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.\_22. [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. [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. [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. [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. [BibTeX]  [PDF]
(2021). Theory and Applications of Satisfiability Testing - {SAT}2021 - 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings . Springer. [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. [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. [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. [BibTeX]  [PDF]
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. [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]
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. [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. [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]
Ricardo Oscar Rodriguez,  & Amanda Vidal (2020). Axiomatization of crisp Godel modal logic. [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. [BibTeX]  [PDF]
Pedro Pinacho-Davidson,  & Christian Blum (2020). BARRAKUDA: A Hybrid Evolutionary Algorithm for Minimum Capacitated Dominating Set Problem. Mathematics, 8. [BibTeX]  [PDF]
Tommaso Flaminio,  Lluís Godo,  & Hykel Hosni (2020). Boolean algebras of conditionals, probability and logic. Artificial Intelligence, 286, 103347. [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. [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.\_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. [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).\_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. [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. [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. [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. [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. [BibTeX]  [PDF]