CA | ES | EN
Lògica i raonament

L'activitat d'aquest grup se centra en la modelització lògica i matemàtica del raonament, amb atenció especial a la lògica difusa matemàtica, els models d'incertesa, la lògica per a informació incompleta i l'argumentació computacional, i el disseny d'algorismes eficients per a la resolució de problemes de satisfacció i optimització per mètodes basats en SAT, restriccions i metaheurístiques.

Cap de departament: 

Pedro Meseguer
Christian Blum
Scientific Researcher
Phone Ext. 431840

Eduardo Calò
PhD Student

Camilo José Chacon Sartori
PhD Student
Phone Ext. 431865

Jordi Coll Caballero
Contract Researcher
Phone Ext. 431843

Vicent Costa
Contract Researcher
Phone Ext. 431850

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

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. http://arxiv.org/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]
Tommaso Flaminio,  Angelo Gilio,  Lluís Godo,  & Giuseppe Sanfilippo (In Press). On conditional probabilities and their canonical extensions to Boolean algebras of compound conditionals. International Journal of Approximate Reasoning. https://doi.org/10.1016/j.ijar.2023.108943. [BibTeX]  [PDF]
2022
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. https://doi.org/10.1145/3512290.3528785. [BibTeX]
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. https://doi.org/10.1016/j.ijar.2022.09.005. [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. https://doi.org/10.1007/978-3-031-18843-5_9. [BibTeX]  [PDF]
Salim Bouamama,  Christian Blum,  & Pedro Pinacho-Davidson (2022). A Population-Based Iterated Greedy Algorithm for Maximizing Sensor Network Lifetime. Sensors, 22. https://doi.org/10.3390/s22051804. [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. https://doi.org/10.1007/s44196-022-00098-1. [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. https://doi.org/10.3233/AIC-210178. [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. https://doi.org/10.1007/978-3-031-08974-9_47. [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). https://doi.org/10.24963/kr.2022/15. [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. https://doi.org/10.1016/j.asoc.2022.108844. [BibTeX]  [PDF]
Dave de Jonge,  Filippo Bistaffa,  & Jordi Levy (2022). Multi-Objective Vehicle Routing with Automated Negotiation. Applied Intelligence, 52, 16916-16939. https://doi.org/10.1007/s10489-022-03329-2. [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. https://doi.org/10.1145/3512290.3528795. [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. https://doi.org/10.3233/FI-222110. [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. https://doi.org/10.1016/j.fss.2021.11.013. [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. https://doi.org/10.1093/logcom/exab064. [BibTeX]  [PDF]
Christian Blum,  Tome Eftimov,  & Peter Koro{\v{s}}ec (2022). Preface. Natural Computing, 21, 127-130. https://doi.org/10.1007/s11047-021-09859-x. [BibTeX]  [PDF]
Tommaso Flaminio,  & Umberto Rivieccio (2022). Prelinearity in (quasi-)Nelson logic. Fuzzy Sets and Systems, 445, 66-89. https://doi.org/10.1016/j.fss.2022.03.021. [BibTeX]