Department:
Logic and Reasoning
Position:
Contract Researcher
Research areas:
- Fuzzy Logic
- Modal Logic
- Preferences
Impact areas:
SDGs:
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]
2013
Amanda Vidal,
& Fèlix Bou
(2013).
Image-finite first-order structures.
ManyVal 2013, Abstracts Volume
(pp. 52-53).
[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]