amanda vidal
amanda vidal
Artifficial Intelligence Research Institute - CSIC
Verified email at - Homepage
Cited by
Cited by
On modal extensions of product fuzzy logic
A Vidal, F Esteva, L Godo
Journal of Logic and Computation 27 (1), 299-336, 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
On modal expansions of t-norm based logics with rational constants
A Vidal Wandelmer
Universitat de Barcelona, 2015
Axiomatization of crisp Gödel modal logic
RO Rodriguez, A Vidal
Studia Logica 109 (2), 367-395, 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
On transitive modal many-valued logics
A Vidal
Fuzzy Sets and Systems 407, 97-114, 2021
An algebraic approach to valued constraint satisfaction
R Horcík, T Moraschini, A Vidal
Schloss Dagstuhl, Leibniz-Zentrum für Informatik, 2017
New complexity results for Łukasiewicz logic
M Bofill, F Manyŕ, A Vidal, M Villaret
Soft Computing 23, 2187-2197, 2019
On strong standard completeness in some MTL expansions
A Vidal, F Bou, F Esteva, L Godo
Soft Computing 21, 125-147, 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
Axiomatizing logics of fuzzy preferences using graded modalities
A Vidal, F Esteva, L Godo
Fuzzy Sets and Systems 401, 163-188, 2020
The complexity of 3-valued łukasiewicz rules
M Bofill, F Manyŕ, A Vidal, M Villaret
Modeling Decisions for Artificial Intelligence: 12th International …, 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
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
Undecidability and non-axiomatizability of modal many-valued logics
A Vidal
The Journal of Symbolic Logic 87 (4), 1576-1605, 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
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
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
On strong standard completeness of mtl*(q) expansions
A Vidal, L Godo, F Esteva
Università degli studi di Salerno, 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
The system can't perform the operation now. Try again later.
Articles 1–20