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:  Jordi Levy
Mehmet Anil Akbay
PhD Student
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

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

Diego Fraile Parra
Masters Student

Lluís Godo
Research Professor
Phone Ext. 431857

Emine Selda Gündüz
Visiting Scientist

Jordi Levy
Tenured Scientist
Phone Ext. 431860

Francesco Manfucci
Masters Student

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

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,  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]
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]
2024
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]
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]
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]
Esther Anna Corsi,  Tommaso Flaminio,  Lluís Godo,  & Hykel Hosni (2023). A modal logic for uncertainty: a completeness theorem. 13th International Symposium on Imprecise Probabilities: Theories and Applications - ISIPTA 2023 (pp. 119-129). [BibTeX]  [PDF]
Didier Dubois,  Lluís Godo,  & Henri Prade (2023). An elementary belief function logic. Journal of Applied Non-Classical Logics, 33, 582-605. https://doi.org/10.1080/11663081.2023.2244366. [BibTeX]  [PDF]
Sergio Abriola,  Santiago Cifuentes,  Maria Vanina Martinez,  Nina Pardal,  & Edwin Pin (2023). An epistemic approach to model uncertainty in data-graphs. Int. J. Approx. Reason., 160, 108948. https://doi.org/10.1016/j.ijar.2023.108948. [BibTeX]
Damian Ariel Furman,  Pablo Torres,  Jose A. Rodriguez,  Diego Letzen,  Maria Vanina Martinez,  & Laura Alonso Alemany (2023). An Initial Exploration of How Argumentative Information Impacts Automatic Generation of Counter-Narratives Against Hate Speech. Oana Cocarascu, Sylvie Doutre, Jean{-}Guy Mailly, & Antonio Rago (Eds.), Proceedings of the First International Workshop on Argumentation and Applications co-located with 20th International Conference on Principles of Knowledge Representation and Reasoning {(KR}2023), Rhodes, Greece, September 2-8, 2023 (pp. 26--39). CEUR-WS.org. https://doi.org/https://ceur-ws.org/Vol-3472/paper2.pdf. [BibTeX]
(2023). Benny Kimelfeld and Maria Vanina Martinez and Renzo Angles (Eds.) - Proceedings of the 15th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2023), Santiago de Chile, Chile, May 22-26, 2023 . CEUR-WS.org. https://doi.org/https://ceur-ws.org/Vol-3409. [BibTeX]
Marta I. Tarrés-Puertas,  Vicent Costa,  Montserrat Pedreira Álvarez,  Gabriel Lemkow-Tovias,  Josep M. Rossell,  & Antonio David Dorado (2023). Child-Robot Interactions Using Educational Robots: An Ethical and Inclusive Perspective. Sensors, 23, 1675. https://doi.org/10.3390/S23031675. [BibTeX]
Giuliano Rosella,  Tommaso Flaminio,  & Stefano Bonzio (2023). Counterfactuals as modal conditionals, and their probability. Artificial Intelligence, 323, 103970. https://doi.org/10.1016/j.artint.2023.103970. [BibTeX]  [PDF]
Tommaso Flaminio,  & Sara Ugolini (2023). Encoding de Finetti's coherence within Łukasiewicz logic and MV-algebras. Annals of Pure and Applied Logic, 103337. https://doi.org/10.1016/j.apal.2023.103337. [BibTeX]  [PDF]
Eduardo Calò,  & Jordi Levy (2023). General Boolean Formula Minimization with QBF Solvers. Ismael Sanz, Raquel Ros, & Jordi Nin (Eds.), Artificial Intelligence Research and Development - Proceedings of the 25th International Conference of the Catalan Association for Artificial Intelligence, CCIA 2023, Món Sant Benet, Spain, 25-27 October 2023 (pp. 347--358). {IOS}Press. https://doi.org/10.3233/FAIA230705. [BibTeX]  [PDF]
Eduardo Calò,  Jordi Levy,  Albert Gatt,  & Kees Deemter (2023). Is Shortest Always Best? The Role of Brevity in Logic-to-Text Generation. Alexis Palmer, & José Camacho-Collados (Eds.), Proceedings of the The 12th Joint Conference on Lexical and Computational Semantics, *SEM@ACL 2023, Toronto, Canada, July 13-14, 2023 (pp. 180--192). Association for Computational Linguistics. https://doi.org/10.18653/V1/2023.STARSEM-1.17. [BibTeX]  [PDF]
Alger Sans Pinillos,  & Vicent Costa (2023). Más allá de los datos: la transformación digital del museo tradicional. Daimon, 90, 81-94. https://doi.org/10.6018/daimon.563231. [BibTeX]