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

Christian Blum
Scientific Researcher
Phone Ext. 214

Stefano Bonzio
Contract Researcher
Phone Ext. 225

Vicent Costa
PhD Student
Phone Ext. 303

Pilar Dellunde
Adjunct Scientist
Phone Ext. 239

Gonzalo Escalada-Imaz
Tenured Scientist
Phone Ext. 212

Francesc Esteva
Adjunct Professor Ad Honorem
Phone Ext. 219

Daniel Fernandez Martinez
Masters Student
Phone Ext. 272

Tommaso Flaminio
Tenured Scientist
Phone Ext. 233

Lluís Godo
Research Professor
Phone Ext. 217

Jordi Levy
Tenured Scientist
Phone Ext. 240

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

Felip Manyà
Tenured Scientist
Phone Ext. 248

Maria Paula Menchon
Visiting Scientist
Phone Ext. 225

Pedro Meseguer
Scientific Researcher
Phone Ext. 237

Teddy Nurcahyadi
PhD Student
Phone Ext. 234

Joan Ramon Soler
PhD Student
Phone Ext. 204

Guillem Rodriguez Corominas
Contract Engineer
Phone Ext. 204

Sara Ugolini
Contract Researcher
Phone Ext. 213

Amanda Vidal
Contract Researcher
Phone Ext. 252

In Press
Pilar Dellunde,  Lluís Godo,  & Amanda Vidal (In Press). On probabilistic logical argumentation based on conditional probability. Proc. CCIA 2021 . [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]
2021
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]
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]
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{\\'{a}}and 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]
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]
Stefano Bonzio,  Gustavo Cevolani,  & Tommaso Flaminio (2021). How to Believe Long Conjunctions of Beliefs: Probability, Quasi-Dogmatism and Contextualism. Erkenntnis. https://doi.org/10.1007/s10670-021-00389-7. [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. https://doi.org/https://arxiv.org/abs/2105.12552. [BibTeX]  [PDF]
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. https://doi.org/10.1093/logcom/exab029. [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]
Amanda Vidal (2021). Non axiomatizability of Modal Lukasiewicz Logic. [BibTeX]  [PDF]