CA | ES | EN
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

Camilo José Chacon Sartori
PhD Student
Phone Ext. 431865

Jordi Coll Caballero
Contract Researcher
Phone Ext. 431843

Vicent Costa
Contract Researcher
Phone Ext. 431820

Pilar Dellunde
Adjunct Scientist
Phone Ext. 431850

Gonzalo Escalada-Imaz
Tenured Scientist
Phone Ext. 431818

Francesc Esteva
Adjunct Professor Ad Honorem
Phone Ext. 431827

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

Felip Manyà
Tenured Scientist
Phone Ext. 431854

María Vanina Martinez Posse
Contract Researcher
Phone Ext. 431817

Pedro Meseguer
Scientific Researcher
Phone Ext. 431862

Michele Pra Baldi
Contract Researcher

Jaume Reixach i Perez
Masters Student

Guillem Rodriguez Corominas
PhD Student
Phone Ext. 431865

Sara Ugolini
Contract Researcher
Phone Ext. 431848

Amanda Vidal
Contract Researcher
Phone Ext. 431844

Elifnaz Yangin
Masters Student

In Press
Tommaso Flaminio,  Lluís Godo,  Paula Menchón,  & Ricardo Oscar Rodríguez (In Press). Algebras and relational frames for Gödel modal logic and some of its extensions. M. Coniglio, E. Koubychkina, & D. Zaitsev (Eds.), Many-valued Semantics and Modal Logics: Essays in Honour of Yuriy Vasilievich Ivlev. Springer (Also as CoRR, abs/2110.02528. [BibTeX]  [PDF]
Tommaso Flaminio,  Lluís Godo,  Sara Ugolini,  & Francesc Esteva (In Press). An approach to inconsistency-tolerant reasoning about probability based on Łukasiewicz logic. H. Antunes, A. Rodrigues, & A. Roque (Eds.), Volume in Honour of Walter Carnielli. Springer. [BibTeX]  [PDF]
Enrico Liscio,  Roger Lera-Leri,  Filippo Bistaffa,  Roel I. J. Dobbe,  Catholijn M. Jonker,  Maite López-Sánchez,  Juan A. Rodríguez-Aguilar,  & Pradeep K. Murukannaiah (2023). Value Inference in Sociotechnical Systems. Proceedings of the 22nd International Conference on Autonomous Agents and Multiagent Systems (pp. In Press). [BibTeX]  [PDF]
Albert L\'{o}pez Serrano,  & Christian Blum (2022). A Biased Random Key Genetic Algorithm Applied to Target Set Selection in Viral Marketing. Proceedings of the Genetic and Evolutionary Computation Conference (pp. 241–250). Association for Computing Machinery. [BibTeX]
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]
Juan C. L. Teze,  Lluís Godo,  & Gerardo I. Simari (2022). An Approach to Improve Argumentation-Based Epistemic Planning with Contextual Preferences. International Journal of Approximate Reasoning, 151, 130-163. [BibTeX]  [PDF]
Tommaso Flaminio,  Lluís Godo,  & Sara Ugolini (2022). An Approach to Inconsistency-Tolerant Reasoning About Probability Based on Łukasiewicz Logic. F. Dupin al. (Eds.), SUM 2022 (pp. 124–-138). Springer. [BibTeX]  [PDF]
Salim Bouamama,  Christian Blum,  & Pedro Pinacho-Davidson (2022). A Population-Based Iterated Greedy Algorithm for Maximizing Sensor Network Lifetime. Sensors, 22. [BibTeX]  [PDF]
Marko Djukanovic,  Dragan Matic,  Christian Blum,  & Aleksandar Kartelj (2022). Application of A{\$}{\$}^*{\$}{\$}to the Generalized Constrained Longest Common Subsequence Problem with Many Pattern Strings. Moun{\\^i}m El Yacoubi, Eric Granger, Pong Chi Yuen, Umapada Pal, & Nicole Vincent (Eds.), Pattern Recognition and Artificial Intelligence (pp. 53--64). Springer International Publishing. [BibTeX]
Mehmet An{\i}l Akbay,  Albert López Serrano,  & Christian Blum (2022). A Self-Adaptive Variant of CMSA: Application to the Minimum Positive Influence Dominating Set Problem. International Journal of Computational Intelligence Systems, 15, 44. [BibTeX]  [PDF]
Chu-Min Li,  Zhenxing Xu,  Jordi Coll,  Felip Manyà,  Djamal Habet,  & Kun He (2022). Boosting branch-and-bound MaxSAT solvers with clause learning. AI Communications, 35, 131-151. [BibTeX]
Tommaso Flaminio,  Angelo Gilio,  Lluís Godo,  & Giuseppe Sanfilippo (2022). Canonical Extensions of Conditional Probabilities and Compound Conditionals. Davide Ciucci al. (Eds.), 17th Intl. Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2022) (pp. 584--597). Springer International Publishing. [BibTeX]  [PDF]
Tommaso Flaminio,  Angelo Gilio,  Lluís Godo,  & Giuseppe Sanfilippo (2022). Compound Conditionals as Random Quantities and Boolean Algebras. Gabriele Kern{-}Isberner, Gerhard Lakemeyer, & Thomas Meyer (Eds.), Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, {KR}2022, Haifa, Israel. July 31 - August 5, 2022 (pp. 141-151). [BibTeX]  [PDF]
Marko Djukanović,  Aleksandar Kartelj,  Dragan Matić,  Milana Grbić,  Christian Blum,  & Günther R. Raidl (2022). Graph search and variable neighborhood search for finding constrained longest common subsequences in artificial and real gene sequences. Applied Soft Computing, 122, 108844. [BibTeX]  [PDF]
Dave de Jonge,  Filippo Bistaffa,  & Jordi Levy (2022). Multi-Objective Vehicle Routing with Automated Negotiation. Applied Intelligence, 52, 16916-16939. [BibTeX]  [PDF]
Guillem Rodríguez Corominas,  Christian Blum,  & Maria J. Blesa (2022). Negative Learning Ant Colony Optimization for Network Alignment. Proceedings of the Genetic and Evolutionary Computation Conference (pp. 278–286). Association for Computing Machinery. [BibTeX]
Manfred Schmidt-Schauss,  Temur Kutsia,  Jordi Levy,  Mateu Villaret,  & Yunus D. K. Kutz (2022). Nominal Unification and Matching of Higher Order Expressions with Recursive Let. Fundam. Informaticae, 185, 247--283. [BibTeX]  [PDF]
Marco Cerami,  & Francesc Esteva (2022). On decidability of concept satisfiability in Description Logic with product semantics. Fuzzy Sets and Systems, 445, 1-21. [BibTeX]  [PDF]
Marcelo Coniglio,  Francesc Esteva,  Tommaso Flaminio,  & Lluís Godo (2022). On the expressive power of Lukasiewicz’s square operator. Journal of Logic and Computation, 32, 767-807. [BibTeX]  [PDF]
Christian Blum,  Tome Eftimov,  & Peter Koro{\v{s}}ec (2022). Preface. Natural Computing, 21, 127-130. [BibTeX]  [PDF]