Amanda Amanda Vidal Vidal

Industrial PhD Student Industrial PhD Student

  1. Home
  2. Staff & Students

Department:

Logic and Reasoning Logic and Reasoning

Position:

       

       

      Research areas:

          Impact areas:

              SDGs:

                  Website:

                  e-mail:

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

                  Extension:

                  2018
                  Francesc Esteva, Lluís Godo, Amanda Vidal; A Modal Account of Preference in a Fuzzy Setting. 2018.  [PDF]  [BibTeX]
                  Amanda Vidal, Francesc Esteva, Lluís Godo; An alternative axiomatization for a fuzzy modal logic of preferences. ESTYLF 2018; 2018.  [PDF]  [BibTeX]
                  Amanda Vidal, Francesc Esteva, Lluís Godo; On finite-valued bimodal logics with an application to reasoning about preferences. Advances in Fuzzy Logic and Technology, Proc. of EUSFLAT 2017; 2018.  [PDF]  [BibTeX]
                  2017
                  Amanda Vidal, Francesc Esteva, Lluís Godo; On Modal Extensions of Product Fuzzy Logic. Journal of Logic and Computation; 2017.  [PDF]  [BibTeX]
                  Amanda Vidal, Félix Bou, Francesc Esteva, Lluís Godo; On strong standard completeness in some MTL$_\Delta$ expansions. Soft Computing - A Fusion of Foundations, Methodologies and Applications; 2017.  [PDF]  [BibTeX]
                  2015
                  Miquel Bofill, Felip Manyà, Amanda Vidal, Mateu Villaret; Finding Hard Instances of Satisfiability in Lukasiewicz Logics. 2015.  [BibTeX]
                  Amanda Vidal, Lluís Godo, Francesc Esteva, Fèlix Bou; ON MODAL EXPANSIONS OF LEFT-CONTINUOUS T-NORM LOGICS. 2015.  [BibTeX]
                  Amanda Vidal, Lluís Godo, Francesc Esteva, Félix Bou; ON MODAL EXPANSIONS OF LEFT-CONTINUOUS T-NORM LOGICS. ManyVal 2015; 2015.  [PDF]  [BibTeX]
                  Amanda Vidal, Lluís Godo, Francesc Esteva; On strongly standard complete fuzzy logics: MTL^Q_*and its expansions. Proc. of the Joint Conference IFSA-EUSFLAT 2015; 2015.  [PDF]  [BibTeX]
                  Amanda Vidal, Francesc Esteva, Lluís Godo; On strong standard completeness of MTL*(Q) expansions. Topology, Algebra and Categories in Logic (TACL 2015); 2015.  [PDF]  [BibTeX]
                  Miquel Bofill, Felip Manyà, Amanda Vidal, Mateu Villaret; The Complexity of 3-Valued Lukasiewicz Rules. 2015.  [BibTeX]
                  2014
                  Amanda Vidal, Francesc Esteva, Lluís Godo; About standard completeness of Product logic. XVII Congreso Español sobre Tecnologías y Lógica Fuzzy (ESTYLF 2014); 2014.  [PDF]  [BibTeX]
                  Amanda Vidal, Francesc Esteva, Lluís Godo; A product modal logic. 35th Linz Seminar on Fuzzy Set Theory; 2014.  [PDF]  [BibTeX]
                  Amanda Vidal, Francesc Esteva, Lluís Godo; Axiomatising a fuzzy modal logic over the standard product algebra. Logic, Algebra and Truth Degrees 2014 (LATD 2014); 2014.  [PDF]  [BibTeX]
                  Amanda Vidal; Progress report on a modal extension of the solver NiBLos. 2014.  [BibTeX]
                  2013
                  Amanda Vidal, Fèlix Bou; Image-finite first-order structures. 2013.  [PDF]  [BibTeX]
                  Amanda Vidal, Fèlix Bou, Lluís Godo; NiBLoS: a general SMT-based solver for logics of BL-chains. 2013.  [PDF]  [BibTeX]
                  2012
                  Amanda Vidal, Fèlix Bou, Lluís Godo; An SMT-based solver for continuous t-norm based logics. Scalable Uncertainty Management (SUM 2012); 2012.  [PDF]  [BibTeX]
                  IP
                  MINECO, TIN2012-39348-C02-01

                  EDETRI
                  Godo, Lluís
                  Feb 2013 - Jan 2016