AmandaAmanda VidalVidal

Industrial PhD StudentIndustrial PhD Student

  1. Home
  2. Staff & Students

Department:

Logic and ReasoningLogic and Reasoning

Position:

Industrial PhD StudentIndustrial PhD Student

 

 

Research areas:

      Impact areas:

          SDGs:

              Website:

              E-mail:

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

              Extension:

              2018
              Francesc Esteva,  Lluís Godo,  & Amanda Vidal (2018). A Modal Account of Preference in a Fuzzy Setting. Soft Computing Based Optimization and Decision Models. [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. [BibTeX]  [PDF]
              2017
              Amanda Vidal,  Francesc Esteva,  & Lluís Godo (2017). On Modal Extensions of Product Fuzzy Logic. Journal of Logic and Computation. [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. [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 . [BibTeX]
              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,  & Félix Bou (2015). ON MODAL EXPANSIONS OF LEFT-CONTINUOUS T-NORM LOGICS. ManyVal 2015 . [BibTeX]  [PDF]
              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. [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) . [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). [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 . [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]
               IP
              MINECO, TIN2012-39348-C02-01

              EDETRI
              Godo, Lluís
              Feb 2013 - Jan 2016