Amanda
Amanda
 
Vidal
Vidal

Contract Researcher
Contract Researcher


Department:

Logic and Reasoning
Logic and Reasoning

Position:

Contract Researcher
Contract Researcher



Research areas:

  • Fuzzy Logic
  • Modal Logic
  • Preferences
  • Fuzzy Logic
  • Modal Logic
  • Preferences

Impact areas:

SDGs:

Phone Extension:

252
252

E-mail:

amanda@iiia.csic.es
amanda@iiia.csic.es

Website:

2020
Amanda Vidal,  Francesc Esteva,  & Lluís Godo (2020). Axiomatizing logics of fuzzy preferences using graded modalities. Fuzzy Sets and Systems, 401, 163-188. https://doi.org/10.1016/j.fss.2020.01.002. [BibTeX]  [PDF]
2018
Francesc Esteva,  Lluís Godo,  & Amanda Vidal (2018). A Modal Account of Preference in a Fuzzy Setting. D.A. Pelta, & A. Cruz Corona (Eds.), Soft Computing Based Optimization and Decision Models (pp 241-260). Springer. https://doi.org/https://link.springer.com/chapter/10.1007%2F978-3-319-64286-4_15. [BibTeX]  [PDF]
Amanda Vidal,  Francesc Esteva,  & Lluís Godo (2018). An alternative axiomatization for a fuzzy modal logic of preferences. ESTYLF 2018 (pp. 370-378). Universidad de Granada. [BibTeX]  [PDF]
Amanda Vidal,  Francesc Esteva,  & Lluís Godo (2018). On finite-valued bimodal logics with an application to reasoning about preferences. Advances in Fuzzy Logic and Technology, Proc. of EUSFLAT 2017 (pp. 505-517). Springer AC. https://doi.org/https://link.springer.com/chapter/10.1007%2F978-3-319-66827-7_47. [BibTeX]  [PDF]
2017
Amanda Vidal,  Francesc Esteva,  & Lluís Godo (2017). On Modal Extensions of Product Fuzzy Logic. Journal of Logic and Computation, 27, 299-396. https://doi.org/10.1093/logcom/exv046. [BibTeX]  [PDF]
Amanda Vidal,  Félix Bou,  Francesc Esteva,  & Lluís Godo (2017). On strong standard completeness in some MTL$_\Delta$ expansions. Soft Computing - A Fusion of Foundations, Methodologies and Applications, 21, 125-147. https://doi.org/http://link.springer.com/article/10.1007%2Fs00500-016-2338-0. [BibTeX]  [PDF]
2015
Miquel Bofill,  Felip Manyà,  Amanda Vidal,  & Mateu Villaret (2015). Finding Hard Instances of Satisfiability in Lukasiewicz Logics. 2015 IEEE International Symposium on Multiple-Valued Logic, ISMVL 2015 (pp. 30-35). IEEE Press. [BibTeX]
Amanda Vidal,  Lluís Godo,  Francesc Esteva,  & Félix Bou (2015). ON MODAL EXPANSIONS OF LEFT-CONTINUOUS T-NORM LOGICS. ManyVal 2015 . [BibTeX]  [PDF]
Amanda Vidal,  Lluís Godo,  Francesc Esteva,  & Fèlix Bou (2015). ON MODAL EXPANSIONS OF LEFT-CONTINUOUS T-NORM LOGICS. ManyVal 2015 . [BibTeX]
Amanda Vidal,  Lluís Godo,  & Francesc Esteva (2015). On strongly standard complete fuzzy logics: MTL^Q_*and its expansions. Proc. of the Joint Conference IFSA-EUSFLAT 2015 (pp. 828-835). Atlantis Press. https://doi.org/http://dx.doi.org/10.2991/ifsa-eusflat-15.2015.117. [BibTeX]  [PDF]
Amanda Vidal,  Francesc Esteva,  & Lluís Godo (2015). On strong standard completeness of MTL*(Q) expansions. Topology, Algebra and Categories in Logic (TACL 2015) . [BibTeX]  [PDF]
Miquel Bofill,  Felip Manyà,  Amanda Vidal,  & Mateu Villaret (2015). The Complexity of 3-Valued Lukasiewicz Rules. 12th Conference on Modeling Decisions for Artificial Intelligence (MDAI 2015) (pp. 221-229). Springer. https://doi.org/http://link.springer.com/chapter/10.1007/978-3-319-23240-9_18. [BibTeX]
2014
Amanda Vidal,  Francesc Esteva,  & Lluís Godo (2014). About standard completeness of Product logic. XVII Congreso Español sobre Tecnologías y Lógica Fuzzy (ESTYLF 2014) (pp. 423-428). [BibTeX]  [PDF]
Amanda Vidal,  Francesc Esteva,  & Lluís Godo (2014). A product modal logic. 35th Linz Seminar on Fuzzy Set Theory (pp. 127-130). [BibTeX]  [PDF]
Amanda Vidal,  Francesc Esteva,  & Lluís Godo (2014). Axiomatising a fuzzy modal logic over the standard product algebra. Logic, Algebra and Truth Degrees 2014 (LATD 2014) (pp. 275-279). https://doi.org/http://www.logic.at/latd2014/abstract_booklet_final.pdf. [BibTeX]  [PDF]
Amanda Vidal (2014). Progress report on a modal extension of the solver NiBLos . [BibTeX]
2013
Amanda Vidal,  & Fèlix Bou (2013). Image-finite first-order structures. ManyVal 2013, Abstracts Volume (pp. 52-53). [BibTeX]  [PDF]
Amanda Vidal (2013). NiBLoS: a general SMT-based solver for logics of BL-chains. [BibTeX]  [PDF]
2012
Amanda Vidal,  Fèlix Bou,  & Lluís Godo (2012). An SMT-based solver for continuous t-norm based logics. Scalable Uncertainty Management (SUM 2012) (pp. 633-640). Springer-Verlag Berlin Heidelberg. [BibTeX]  [PDF]