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

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

Gonçal E. 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à
Scientific Researcher
Phone Ext. 431854

María Vanina Martinez
Contract Researcher
Phone Ext. 431817

Pedro Meseguer
Scientific Researcher
Phone Ext. 431862

Jaume Reixach i Perez
Contract Engineer

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]
Tommaso Flaminio,  & Lluís Godo (In Press). Conditional Objects as Possibilistic Variables. The 17th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty - ECSQARU 2023 . [BibTeX]
2023
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. 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]
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]
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]
Damian Ariel Furman,  Pablo Torres,  Jose A. Rodriguez,  Diego Letzen,  Maria Vanina Martinez,  & Laura Alonso Alemany (2023). Which Argumentative Aspects of Hate Speech in Social Media can be reliably identified?. CoRR, abs/2306.02978. https://doi.org/10.48550/arXiv.2306.02978. [BibTeX]
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]
Tommaso Flaminio,  Lluís Godo,  Sara Ugolini,  & Francesc Esteva (2022). A fuzzy logic-based approach to reason with inconsistent probabilistic theories. Actas del XXI Congreso de Tecnologías y Lógica Fuzzy (ESTYLF’22) (pp. 73–-74). Universidad de Castilla-La Mancha. [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. 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]