Amanda
Amanda
 
Vidal
Vidal

Contract Researcher
Contract Researcher


Amanda
Amanda
 
Vidal
Vidal
Contract Researcher
Contract Researcher

Logic and Reasoning
Logic and Reasoning
(+34) 93 580 9570 ext.
252
252
amanda@iiia.csic.es
amanda@iiia.csic.es
Research areas:
  • Argumentation
  • Probability Logic
  • Fuzzy Logic
  • Modal Logic
  • Preferences
  • Argumentation
  • Probability Logic
  • Fuzzy Logic
  • Modal Logic
  • Preferences
Impact areas:
SDGs:
2021
Amanda Vidal (2021). Non axiomatizability of Modal Lukasiewicz Logic. [BibTeX]  [PDF]
Pilar Dellunde,  Lluís Godo,  & Amanda Vidal (2021). On probabilistic logical argumentation based on conditional probability. M. Villaret al. (Eds.), Artificial Intelligence Research and Development - CCIA 2021, Lleida, Spain, October 20-22, 2021, Proceedings (pp. 7--16). IOS Press. https://doi.org/10.3233/FAIA210111. [BibTeX]
Amanda Vidal (2021). On transitive modal many-valued logics. Fuzzy Sets and Systems, 407, 97-114. https://doi.org/10.1016/j.fss.2020.01.011. [BibTeX]
Pilar Dellunde,  Lluís Godo,  & Amanda Vidal (2021). Probabilistic argumentation: an approach based on conditional probability -- a preliminary report--. Wolfgang Faber, Gerhard Friedrich, Martin Gebser, & Michael Morak (Eds.), Logics in Artificial Intelligence - 17th European Conference, {JELIA} 2021, Virtual Event, May 17-20, 2021, Proceedings (pp. 25--32). Springer. https://doi.org/10.1007/978-3-030-75775-5\_3. [BibTeX]  [PDF]
2020
Ricardo Oscar Rodriguez,  & Amanda Vidal (2020). Axiomatization of crisp Godel modal logic. [BibTeX]  [PDF]
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]