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 Diaz
Mehmet Anil Akbay
Adjunct researcher
Phone Ext. 431865

Christian Clemens Blum
Scientific Researcher
Phone Ext. 431840

Eduardo Calò
PhD Student

Camilo José Chacon Sartori
PhD Student
Phone Ext. 431865

Vicent Costa Bueno
Tenured Scientist
Phone Ext. 431850

Cristhian Ariel David Deagustini
Contract Researcher
Phone Ext. 431866

Pilar Dellunde
Adjunct Scientist

Gonçal Escalada Imaz
Tenured Scientist
Phone Ext. 431818

Raül Espejo Boix
PhD Student
Phone Ext. 431865

Tommaso Flaminio
Tenured Scientist
Phone Ext. 431841

Daniel Gibert Llaurado
Contract Researcher

Lluís Godo
Research Professor
Phone Ext. 431857

Pierre Louis Jullian
Master Student

Jordi Levy Diaz
Scientific Researcher
Phone Ext. 431860

Ion Mikel Liberal
PhD Student

Felip Maña Serres
Scientific Researcher
Phone Ext. 431854

Maria Vanina Martinez
Tenured Scientist
Phone Ext. 431817

Pedro Meseguer Gonzalez
Scientific Researcher
Phone Ext. 431862

Jaume Reixach i Perez
PhD Student
Phone Ext. 431866

Guillem Rodriguez Corominas
PhD Student
Phone Ext. 431864

Joan Ramon Soler Cabrejas
Engineer
Phone Ext. 431866

Lluís Subirana
PhD Student

Sara Ugolini
Contract Researcher
Phone Ext. 431848

Elifnaz Yangin
PhD Student
Phone Ext. 431864

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]
Tommaso Flaminio,  Lluís Godo,  & Giuliano Rosella (In Press). Conditionals based on selection functions, modal operators and probabilities. Kai Sauerwald, & Matthias Thimm (Eds.), A. Bjorndahl (Ed.): Theoretical Aspects of Rationality and Knowledge 2025 (TARK 2025) . EPTCS. [BibTeX]
Joan Farnós,  Alger Sans Pinillos,  & Vicent Costa (In Press). Ethical Prompting. Towards Strategies for Rapid and Inclusive Assistance in Dual-Use AI Systems. Frontiers in Artificial Intelligence. [BibTeX]
Juan Manuel Sánchez,  & Vicent Costa (In Press). Explainable artificial intelligence for categorizing art genres. Artificial Intelligence Research and Development - Proceedings of the 27th International Conference of the Catalan Association for Artificial Intelligence, CCIA 2025 . [BibTeX]
Vicent Costa (In Press). Integrating a Disability Perspective into Lethal Autonomous Weapons Systems Analysis: First Steps. SecondDeath. Experiences of Death Across Technologies. Studies in Applied Philosophy, Epistemology and Rational Ethics. Springer. [BibTeX]
Alger Sans Pinillos,  Vicent Costa,  & Jordi Vallverdú (In Press). Introduction: Rethinking Death in the Digital Age – Delving into A Cross-Disciplinary Inquiry. Studies in Applied Philosophy, Epistemology and Rational Ethics. Springer. [BibTeX]
Alger Sans Pinillos,  David Casacuberta,  & Vicent Costa (In Press). La incorporación del museo digital en los museos tradicionales para abordar la injusticia epistémica en el patrimonio cultural. Revista Guillermo de Ockham. [BibTeX]
Vicent Costa,  & Pilar Dellunde (In Press). Neuro-symbolic AI Approaches for the study of the GENCAT quality of life scale. Maria Vanina Martinez, Nina Pardal, & Kai Sauerwald (Eds.), Proceedings of the 1st Workshop on Foundations and Future of Change in Artificial Intelligence . CEUR-WS.org. [BibTeX]
Tommaso Flaminio,  Lluís Godo,  & Giuliano Rosella (In Press). On measuring the possibility of selection function-based conditionals, general updates, and qualitative capacities. Kai Sauerwald, & Matthias Thimm (Eds.), Proc. of ECSQARU 2025 . Springer, Cham. [BibTeX]
Lydia Castronovo,  Tommaso Flaminio,  Lluís Godo,  & Giuseppe Sanfilippo (In Press). Towards an algebraic and probabilistic setting for iterated Boolean conditionals. Kai Sauerwald, & Matthias Thimm (Eds.), Proc. of ECSQARU 2025 . Springer, Cham. [BibTeX]
2025
Valeria Giustarini,  & Sara Ugolini (2025). Amalgamation failures in MTL-algebras. The Logic Algebra and Truth Degrees (LATD) 2025 - Abstract Booklet (pp. 104-107). Università degli Studi di Siena, DIISM. [BibTeX]
María Eugenia Cornejo,  Francesc Esteva,  Luis Fariñas,  Lluís Godo,  & Jesús Medina (2025). A multi-adjoint lattice logic based on Gödel logic. László Kóczy, & Jesús Medina (Eds.), 16th European Symposium on Computational Intelligence and Mathematics, ESCIM 2025, Book of Abstracts . Universidad de Cádiz. [BibTeX]  [PDF]
Francesc Esteva,  Joan Gispert,  & Lluís Godo (2025). Axiomatising non falsity and threshold preserving variants of MTL logics. The Logic Algebra and Truth Degrees (LATD) 2025 - Abstract Booklet (pp. 99-103). Università degli Studi di Siena, DIISM. [BibTeX]  [PDF]
Zoe Falomir,  & Vicent Costa (2025). Comparing Qualitative Object Descriptors using a Visual Similarity Measure. Vicenç Torra, & Yasuo Narukawa (Eds.), Modeling Decisions for Artificial Intelligence. MDAI 2025 . Springer. https://doi.org/10.1007/978-3-032-00891-6_24. [BibTeX]
Tommaso Flaminio,  Francesco Manfucci,  & Sara Ugolini (2025). Conditionals as quotients in Boolean algebras. The Logic Algebra and Truth Degrees (LATD) 2025 - Abstract Booklet (pp. 150-153). Università degli Studi di Siena, DIISM. [BibTeX]
Juan Carlos L. Teze,  Lluís Godo,  & Gerardo I. Simari (2025). Defeasible Argumentation-based Epistemic Planning with Preferences. Journal of Applied Logics — IfCoLog Journal of Logics and their Applications, 12, 787-823. https://www.collegepublications.co.uk/ifcolog/?00071. [BibTeX]  [PDF]
Sara Ugolini (2025). Generalization of terms in Łukasiewicz logic. International Workshop on Topological Methods in Logic VII -ToLo 2025, Invited talk . [BibTeX]
Tommaso Flaminio,  & Sara Ugolini (2025). Generalization of terms up to equational theory. The Logic Algebra and Truth Degrees (LATD) 2025 - Abstract Booklet (pp. 237-242). Università degli Studi di Siena, DIISM. [BibTeX]
Tommaso Flaminio,  Lluís Godo,  Ramón Pino Pérez,  & Lluis Subirana (2025). On Lockean Beliefs that are Deductively Closed and Minimal Change. Giovanni Casini, Besik Dundua, & Temur Kutsia (Eds.), Logics in Artificial Intelligence - 19th European Conference, {JELIA}2025, Kutaisi, Georgia, September 1-4, 2025, Proceedings, Part {II} (pp. 28--42). Springer. https://doi.org/10.1007/978-3-032-04590-4\_3. [BibTeX]
Joan Gispert,  Francesc Esteva,  Lluís Godo,  & Marcelo Coniglio (2025). On Nilpotent Minimum logics defined by lattice filters and their paraconsistent non-falsity preserving companions. Logic Journal of the IGPL, 33, jzae126. https://doi.org/10.1093/jigpal/jzae126. [BibTeX]  [PDF]