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

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]
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]
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]
Vicent Costa,  Jose Maria Alonso-Moral,  Zoe Falomir,  & Pilar Dellunde (2023). An art painting style explainable classifier grounded on logical and commonsense reasoning. Soft Computing, In press. https://doi.org/10.1007/s00500-023-08258-x. [BibTeX]
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]
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]
Tommaso Flaminio,  Angelo Gilio,  Lluis Godo,  & Giuseppe Sanfilippo (2023). On conditional probabilities and their canonical extensions to Boolean algebras of compound conditionals. International Journal of Approximate Reasoning, 159, 108943. https://doi.org/10.1016/j.ijar.2023.108943. [BibTeX]  [PDF]
Sergio Abriola,  Maria Vanina Martinez,  Nina Pardal,  Santiago Cifuentes,  & Edwin Pin Baque (2023). On the Complexity of Finding Set Repairs for Data-Graphs. J. Artif. Intell. Res., 76, 721--759. https://doi.org/10.1613/jair.1.13994. [BibTeX]  [PDF]
Gaston E. Zanitti,  Yamil Soto,  Valentin Iovene,  Maria Vanina Martinez,  Ricardo Oscar Rodriguez,  Gerardo I. Simari,  & Demian Wassermann (2023). Scalable Query Answering Under Uncertainty to Neuroscientific Ontological Knowledge: The NeuroLang Approach. Neuroinformatics, 21, 407--425. https://doi.org/10.1007/s12021-022-09612-4. [BibTeX]  [PDF]
Gonzalo E. Imaz (2023). The possibilistic horn non-clausal knowledge bases. Int. J. Approx. Reason., 152, 357--389. https://doi.org/10.1016/J.IJAR.2022.11.002. [BibTeX]  [PDF]