Amanda
Vidal
Contract Researcher
Logic and Reasoning
Research areas:
- Argumentation
- Probability Logic
- Fuzzy Logic
- Modal Logic
- Preferences
Impact areas:
SDGs:
2021
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://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://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.
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.
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.
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).
http://www.logic.at/latd2014/abstract_booklet_final.pdf.
[BibTeX]
[PDF]
Prev
1 (current)
2
Next