| On modal extensions of product fuzzy logic A Vidal, F Esteva, L Godo Journal of Logic and Computation 27 (1), 299-336, 2017 | 54 | 2017 |
| An SMT-based solver for continuous t-norm based logics A Vidal, F Bou, L Godo Scalable Uncertainty Management: 6th International Conference, SUM 2012 …, 2012 | 25 | 2012 |
| On modal expansions of t-norm based logics with rational constants A Vidal Wandelmer Universitat de Barcelona, 2015 | 19 | 2015 |
| Axiomatization of crisp Gödel modal logic RO Rodriguez, A Vidal Studia Logica 109 (2), 367-395, 2021 | 18 | 2021 |
| Finding hard instances of satisfiability in lukasiewicz logics M Bofill, F Manya, A Vidal, M Villaret 2015 IEEE International Symposium on Multiple-Valued Logic, 30-35, 2015 | 17 | 2015 |
| On transitive modal many-valued logics A Vidal Fuzzy Sets and Systems 407, 97-114, 2021 | 13 | 2021 |
| An algebraic approach to valued constraint satisfaction R Horcík, T Moraschini, A Vidal Schloss Dagstuhl, Leibniz-Zentrum für Informatik, 2017 | 13 | 2017 |
| New complexity results for Łukasiewicz logic M Bofill, F Manyŕ, A Vidal, M Villaret Soft Computing 23, 2187-2197, 2019 | 12 | 2019 |
| On strong standard completeness in some MTL expansions A Vidal, F Bou, F Esteva, L Godo Soft Computing 21, 125-147, 2017 | 11 | 2017 |
| About standard completeness of product logic A Vidal, F Esteva, L Godo Proc. of the XVII Congreso Espanol sobre Tecnologıas y Lógica Fuzzy (ESTYLF …, 2014 | 9 | 2014 |
| Axiomatizing logics of fuzzy preferences using graded modalities A Vidal, F Esteva, L Godo Fuzzy Sets and Systems 401, 163-188, 2020 | 7 | 2020 |
| The complexity of 3-valued łukasiewicz rules M Bofill, F Manyŕ, A Vidal, M Villaret Modeling Decisions for Artificial Intelligence: 12th International …, 2015 | 7 | 2015 |
| Probabilistic argumentation: an approach based on conditional probability–a preliminary report– P Dellunde, L Godo, A Vidal Logics in Artificial Intelligence: 17th European Conference, JELIA 2021 …, 2021 | 6 | 2021 |
| MNiBLoS: A SMT-based solver for continuous t-norm based logics and some of their modal expansions A Vidal Information Sciences 372, 709-730, 2016 | 5 | 2016 |
| Undecidability and non-axiomatizability of modal many-valued logics A Vidal The Journal of Symbolic Logic 87 (4), 1576-1605, 2022 | 4 | 2022 |
| On finite-valued bimodal logics with an application to reasoning about preferences A Vidal, F Esteva, L Godo Advances in Fuzzy Logic and Technology 2017: Proceedings of: EUSFLAT-2017 …, 2017 | 4 | 2017 |
| On a Graded Modal Logic Approach to Reason with Fuzzy Preferences F Esteva, L Godo, A Vidal Recent Advances in Artificial Intelligence Research and Development …, 2017 | 4* | 2017 |
| A modal account of preference in a fuzzy setting F Esteva, L Godo, A Vidal Soft Computing Based Optimization and Decision Models: To Commemorate the …, 2018 | 3 | 2018 |
| On strong standard completeness of mtl*(q) expansions A Vidal, L Godo, F Esteva Università degli studi di Salerno, 2015 | 3 | 2015 |
| On Strongly Standard Complete Fuzzy Logics: MTLQ* and its Expansions. A Vidal, L Godo, F Esteva 2015 Conference of the International Fuzzy Systems Association and the …, 2015 | 3 | 2015 |
Lluis GodoIIIA - CSICVerified email at iiia.csic.es
