Logic & Reasoning

The activity of this group is centered around the logical and mathematical modelling of reasoning, with special attention to mathematical fuzzy logic, uncertainty models, logics for incomplete information and computational argumentation, and the design of efficient algorithms for solving satisfaction and optimization problems by methods based on SAT, constraints and metaheuristics.

Head of the Group:  Pedro Meseguer
Mehmet Anil Akbay
PhD Student
Phone Ext. 431866

Christian Blum
Scientific Researcher
Phone Ext. 431840

Stefano Bonzio
Contract Researcher
Phone Ext. 225

Camilo José Chacon Sartori
PhD Student
Phone Ext. 431865

Vicent Costa
PhD Student
Phone Ext. 303

Sebastian Ricardo Cristancho Sierra
Masters Student
Phone Ext. 431869

Sandro Marcio da Silva Preto
Visiting Scientist
Phone Ext. 431843

Pilar Dellunde
Adjunct Scientist
Phone Ext. 431850

Gonzalo Escalada-Imaz
Tenured Scientist
Phone Ext. 431818

Francesc Esteva
Adjunct Professor Ad Honorem
Phone Ext. 431827

Daniel Fernandez Martinez
Masters Student
Phone Ext. 272

Tommaso Flaminio
Tenured Scientist
Phone Ext. 431841

Lluís Godo
Research Professor
Phone Ext. 431857

Roger Xavier Lera Leri
Contract Engineer
Phone Ext. 431834

Jordi Levy
Tenured Scientist
Phone Ext. 431860

Albert López I Serrano
Masters Student
Phone Ext. 205

Felip Manyà
Tenured Scientist
Phone Ext. 431854

Pedro Meseguer
Scientific Researcher
Phone Ext. 431862

Teddy Nurcahyadi
PhD Student
Phone Ext. 431864

Guillem Rodriguez Corominas
Contract Engineer
Phone Ext. 204

Roberto Maria Rosati
PhD Student
Phone Ext. 431865

Sara Ugolini
Contract Researcher
Phone Ext. 431848

Amanda Vidal
Contract Researcher
Phone Ext. 431844

In Press
Tommaso Flaminio,  Angelo Gilio,  Lluís Godo,  & Giuseppe Sanfilippo (In Press). Compound conditionals as random quantities and Boolean algebras. Principles of Knowledge Representation and Reasoning - 19th International Conference, KR 2022, Haifa, Israel . [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. https://doi.org/10.1093/logcom/exab064. [BibTeX]  [PDF]
Ricardo Rodriguez,  Olym Tuyt,  Francesc Esteva,  & Lluís Godo (In Press). Simplified Kripke semantics for K45-like Godel modal logics and its axiomatic extensions. Studia Logica. https://doi.org/10.1007/s11225-022-09987-0. [BibTeX]  [PDF]
Tomas Trescak,  Roger Lera-Leri,  Filippo Bistaffa,  & Juan A. Rodríguez-Aguilar (2022). Agent-Assisted Life-Long Education and Learning. Proceedings of the 21st International Conference on Autonomous Agents and MultiAgent Systems . International Foundation for Autonomous Agents and Multiagent Systems. [BibTeX]  [PDF]
Dave de Jonge,  Filippo Bistaffa,  & Jordi Levy (2022). Multi-Objective Vehicle Routing with Automated Negotiation. Applied Intelligence. https://doi.org/10.1007/s10489-022-03329-2. [BibTeX]  [PDF]
Roger Lera-Leri,  Filippo Bistaffa,  Marc Serramia,  Maite López-Sánchez,  & Juan A. Rodríguez-Aguilar (2022). Towards Pluralistic Value Alignment: Aggregating Value Systems through ℓₚ-Regression. Proceedings of the 21st International Conference on Autonomous Agents and MultiAgent Systems . International Foundation for Autonomous Agents and Multiagent Systems. [BibTeX]  [PDF]
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]
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]
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. https://doi.org/10.3390/a14060170. [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}. https://doi.org/https://dl.acm.org/doi/10.5555/3463952.3464004. [BibTeX]  [PDF]
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. 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]
Salim Bouamama,  & Christian Blum (2021). An Improved Greedy Heuristic for the Minimum Positive Influence Dominating Set Problem in Social Networks. Algorithms, 14. https://doi.org/10.3390/a14030079. [BibTeX]  [PDF]
Mehmet Anil Akbay,  & Christian Blum (2021). Application of CMSA to the Minimum Positive Influence Dominating Set Problem. [BibTeX]
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]
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]
Chu-Min Li,  Zhenxing Xu,  Jordi Coll,  Felip Manyà,  Djamal Habet,  & Kun He (2021). {Combining Clause Learning and Branch and Bound for MaxSAT}. {27th International Conference on Principles and Practice of Constraint Programming (CP 2021)} . https://doi.org/10.4230/LIPIcs.CP.2021.38. [BibTeX]  [PDF]