CA | ES | EN
Lógica y Razonamiento

La actividad de este grupo se centra en la modelización lógica y matemática del razonamiento, con atención especial a la lógica difusa matemática, los modelos de incertidumbre, la lógica para información incompleta y la argumentación computacional, y el diseño de algoritmos eficientes para la resolución de problemas de satisfacción y optimización por métodos basados en SAT, restricciones y metaheurísticas.

Jefe de grupo: 

Jordi Levy
Mehmet Anil Akbay
Contract Researcher
Phone Ext. 431866

Christian Blum
Scientific Researcher
Phone Ext. 431840

Eduardo Calò
PhD Student

Camilo José Chacon Sartori
PhD Student
Phone Ext. 431865

Vicent Costa
Tenured Scientist
Phone Ext. 431850

Pilar Dellunde
Adjunct Scientist

Gonçal E. Imaz
Tenured Scientist
Phone Ext. 431818

Raül Espejo Boix
PhD Student

Francesc Esteva
Adjunct Professor Ad Honorem
Phone Ext. 431827

Tommaso Flaminio
Tenured Scientist
Phone Ext. 431841

Daniel Gibert Llaurado
Contract Researcher

Lluís Godo
Research Professor
Phone Ext. 431857

Jordi Levy
Tenured Scientist
Phone Ext. 431860

Felip Manyà
Scientific Researcher
Phone Ext. 431854

María Vanina Martinez
Tenured Scientist
Phone Ext. 431817

Pedro Meseguer
Scientific Researcher
Phone Ext. 431862

Guillem Rodriguez Corominas
PhD Student
Phone Ext. 431865

Lluís Subirana
PhD Student

Sara Ugolini
Contract Researcher
Phone Ext. 431848

Amanda Vidal
Contract Researcher
Phone Ext. 431844

Elifnaz Yangin
PhD Student

In Press
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]
Vicent Costa,  Jose Maria Alonso-Moral,  Zoe Falomir,  & Pilar Dellunde (In Press). An art painting style explainable classifier grounded on logical and commonsense reasoning. Soft Computing. https://doi.org/10.1007/s00500-023-08258-x. [BibTeX]  [PDF]
Pilar Dellunde,  Vicent Costa,  & Daniel Rivas-Barragan (In Press). Belief Horn merging operators: characterization results and implementations. Fuzzy Sets and Systems. [BibTeX]
Francesc Esteva,  Joan Gispert,  & Lluís Godo (In Press). On the paraconsistent companions of involutive fuzzy logics that preserve non-falsity. Marie-Jeanne Lesot et_al (Eds.), Information Processing and Management of Uncertainty in Knowledge-Based Systems, Proceedings of the 20th International Conference (IPMU 2024) . Springer. [BibTeX]  [PDF]
Tommaso Flaminio,  Lluís Godo,  & Giuliano Rosella (In Press). Possibility of Conditionals and Conditional Possibilities: From a Triviality Result to Possibilistic Imaging. Proc. KR 2024 . [BibTeX]  [PDF]
2024
Tommaso Flaminio,  Lluís Godo,  Paula Menchón,  & Ricardo Oscar Rodríguez (2024). 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 (pp 179-216). Springer (Also as CoRR, abs/2110.02528. http://arxiv.org/abs/2110.02528). https://doi.org/10.1007/978-3-031-56595-3_7. [BibTeX]  [PDF]
Esther Anna Corsi,  Tommaso Flaminio,  & Hykel Hosni (2024). A logico-geometric comparison of coherence for non-additive uncertainty measures. Annals of Pure and Applied Logic, 175, 103342. https://doi.org/10.1016/j.apal.2023.103342. [BibTeX]
Yamil Soto,  Cristhian Ariel D. Deagustini,  Maria Vanina Martinez,  & Gerardo I. Simari (2024). A Mathematical Conceptualization of Bundle Sets in Defeasible Logic. Proc. of ACM SAC . [BibTeX]
Tommaso Flaminio,  & Lluís Godo (2024). Conditional Objects as Possibilistic Variables. Zied Bouraoui, & Srdjan Vesic (Eds.), Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 17th European Conference, {ECSQARU}2023, Arras, France, September 19-22, 2023, Proceedings (pp. 372--385). Springer. https://doi.org/10.1007/978-3-031-45608-4\_28. [BibTeX]  [PDF]
Tommaso Flaminio,  & Sara Ugolini (2024). Encoding de Finetti's coherence within Łukasiewicz logic and MV-algebras. Annals of Pure and Applied Logic, 175, 103337. https://doi.org/10.1016/j.apal.2023.103337. [BibTeX]
Pol Rodríguez-Farrés,  Rocco Ballester,  Carlos Ansótegui,  Jordi Levy,  & Jesus Cerquides (2024). Implementing 3-SAT Gadgets for Quantum Annealers with Random Instances. Leonardo Franco, Clélia Mulatier, Maciej Paszynski, Valeria V. Krzhizhanovskaya, Jack J. Dongarra, & Peter M. A. Sloot (Eds.), Computational Science -- ICCS 2024 (pp. 277--291). Springer Nature Switzerland. [BibTeX]  [PDF]
Vicent Costa,  Alger Sans Pinillos,  & David Casacuberta (2024). Injusticia epistémica para un análisis filosófico de las exposiciones digitales del arte visual. Euphyía, 17, 86-113. https://doi.org/10.33064/33euph6520. [BibTeX]
Diego Fraile Parra,  Vicent Costa,  & Pilar Dellunde (2024). LENs for Analyzing the Quality of Life of People with Intellectual Disability. T. R. Besold, A. Garcez, E. Jimenez-Ruiz, R. Confalonieri, & B. Wagner (Eds.), Neural-Symbolic Learning and Reasoning (pp. 165-174). Springer. https://doi.org/10.1007/978-3-031-71170-1_15. [BibTeX]
Daniel Grimaldi,  Maria Vanina Martinez,  & Ricardo O Rodriguez (2024). Moderated revision. International Journal of Approximate Reasoning, 166, 109126. https://doi.org/10.1016/j.ijar.2024.109126. [BibTeX]  [PDF]
Vicent Costa,  Pilar Dellunde,  & Diego Fraile Parra (2024). Neurosymbolic AI for studying the quality of life's dimensions of people with intellectual disability. Artificial Intelligence Research and Development - Proceedings of the 26th International Conference of the Catalan Association for Artificial Intelligence, CCIA 2024 (pp. 174-177). [BibTeX]  [PDF]
Francesc Esteva,  Joan Gispert,  & Lluís Godo (2024). Nilpotent Minimum logic preserving non-falsity and consistency operators. A. Alonso al. (Eds.), Actas XX Conf. de la Asociación Española para la Inteligencia Artificial, CAEPIA 2024 - ESTYLF 2024 (pp. 246-251). https://caepia24.aepia.org/inicio_files/XX%20Caepia_2024_Actas_General.pdf. [BibTeX]  [PDF]
Ilario Bonacina,  Maria Luisa Bonet,  & Jordi Levy (2024). Weighted, Circular and Semi-Algebraic Proofs. J. Artif. Intell. Res., 79, 447--482. https://doi.org/10.1613/JAIR.1.15075. [BibTeX]  [PDF]
2023
Gonzalo E. Imaz (2023). A first polynomial non-clausal class in many-valued logic. Fuzzy Sets Syst., 456, 1--37. https://doi.org/10.1016/J.FSS.2022.10.008. [BibTeX]
Esther Anna Corsi,  Tommaso Flaminio,  & Hykel Hosni (2023). A logico-geometric comparison of coherence for non-additive uncertainty measures. Annals of Pure and Applied Logic, 103342. https://doi.org/10.1016/j.apal.2023.103342. [BibTeX]
Tommaso Flaminio,  Lluis Godo,  Nicolás Madrid,  & Manuel Ojeda-Aciego (2023). A Logic to Reason About f-Indices of Inclusion over $\L_n$. Sebastia Massanet al. (Eds.), Fuzzy Logic and Technology, and Aggregation Operators. EUSFLAT 2023, AGOP 2023 (pp. 530--539). Springer Nature Switzerland. https://doi.org/10.1007/978-3-031-39965-7_44. [BibTeX]