On modal extensions of product fuzzy logic A Vidal, F Esteva, L Godo
Journal of Logic and Computation 27 (1), 299-336, 2017
60 2017 Axiomatization of crisp Gödel modal logic RO Rodriguez, A Vidal
Studia Logica 109 (2), 367-395, 2021
27 2021 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 New complexity results for Łukasiewicz logic M Bofill, F Manyà, A Vidal, M Villaret
Soft Computing 23, 2187-2197, 2019
19 2019 On modal expansions of t-norm based logics with rational constants A Vidal Wandelmer
Universitat de Barcelona, 2015
19 2015 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
18 2015 On transitive modal many-valued logics A Vidal
Fuzzy Sets and Systems 407, 97-114, 2021
17 2021 An algebraic approach to valued constraint satisfaction R Horcík, T Moraschini, A Vidal
26th EACSL Annual Conference on Computer Science Logic (CSL 2017), 2017
14 2017 On strong standard completeness in some MTL expansions A Vidal, F Bou, F Esteva, L Godo
Soft Computing 21 (1), 125-147, 2017
10 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 Undecidability and non-axiomatizability of modal many-valued logics A Vidal
The Journal of Symbolic Logic 87 (4), 1576-1605, 2022
8 2022 The complexity of 3-valued łukasiewicz rules M Bofill, F Manyà, A Vidal, M Villaret
International Conference on Modeling Decisions for Artificial Intelligence …, 2015
8 2015 Axiomatizing logics of fuzzy preferences using graded modalities A Vidal, F Esteva, L Godo
Fuzzy Sets and Systems 401, 163-188, 2020
7 2020 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
7 2016 Probabilistic argumentation: an approach based on conditional probability–a preliminary report– P Dellunde, L Godo, A Vidal
European Conference on Logics in Artificial Intelligence, 25-32, 2021
6 2021 Truth-preservation under fuzzy pp-formulas P Dellunde, A Vidal
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems …, 2019
4 2019 On finite-valued bimodal logics with an application to reasoning about preferences A Vidal, F Esteva, L Godo
Proceedings of the Conference of the European Society for Fuzzy Logic and …, 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