Intranet
RESEARCH
RESEARCH GROUPS
MULTIAGENT SYSTEMS
LEARNING SYSTEMS
LOGIC & REASONING
RESEARCH THEMES
ETHICS AND AI
AI AND EDUCATION
AI FOR HEALTHCARE
ASSOCIATED UNITS
PROJECTS
PUBLICATIONS
THESES
ENGAGEMENT
PUBLIC ENGAGEMENT
ACADEMIC ENGAGEMENT
INDUSTRY ENGAGEMENT
TECHNOLOGY TRANSFER & DEVELOPMENT UNIT (UDT)
EDUCATION
PHD STUDIES
APPLY
PEOPLE
STAFF & STUDENTS
ALUMNI
OPEN POSITIONS
NEWS & EVENTS
NEWS
EVENTS
SEMINARS
OPEN PROJECT CALLS
ABOUT
MESSAGE FROM THE DIRECTOR
IIIA IN THE MEDIA
AWARDS & HONOURS
HOW TO GET TO IIIA
CONTACT US
SEARCH
Amanda
Amanda
Vidal
Vidal
Contract Researcher
Contract Researcher
Department:
Logic and Reasoning
Logic and Reasoning
Position:
Contract Researcher
Contract Researcher
Research areas:
Fuzzy Logic
Modal Logic
Preferences
Fuzzy Logic
Modal Logic
Preferences
Impact areas:
SDGs:
Phone Extension:
252
252
E-mail:
amanda@iiia.csic.es
amanda@iiia.csic.es
Website:
https://www.iiia.csic.es/~amanda/
https://www.iiia.csic.es/~amanda/
Publications
Projects
Filter by year...
In Press
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
1998
1997
1996
1995
1994
1993
1992
1991
1990
1989
1988
1987
1986
1985
1984
Filter by type...
Article
Book
Book chapter
Conference & workshop paper
Report/Deliverable
Thesis
Filter by Research Area...
Active Learning
Algebraic logic
Approximate Reasoning and Soft computing
Argumentation
Automated Auctions
Automated Negotiation
Automated Reasoning
Autonomous Robots
Bioinformatics
Case-Based Reasoning
Causal Inference
Combinatorial Optimisation
Computational Creativity
Computational Ontologies
Data mining
Data Privacy
Deep Learning
Embodied Cognition
Expert Systems
Fuzzy Logic
Integration of Problem Solving and Learning
Learning
Machine Learning
Modal Logic
Multiagent Systems
Natural Language Processing
Nonmonotonic Reasoning
Normative Systems
Optimisation
Preferences
Probabilistic Graphical Models
Probabilistic Learning
Probability Logic
Recommender Systems
Responsible AI
Satisfiability models
Self-* Systems
Semantic Alignment
Social choice
Social Simulation
Solving constraint-based problems
Swarn Computing
Team Formation
Time Series Analysis
Trust and Reputation
Virtual reality
Filter by Impact Area...
Creativity
Cultural Heritage
Education
Ethics
Finance
Healthcare
Industry
Smart Cities
Social Networking
Tourism
Transport / Automotive
Filter by SDG...
GOAL 10: Reduced Inequality
GOAL 11: Sustainable Cities and Communities
GOAL 13: Climate Action
GOAL 3: Good Health and Well-being
GOAL 4: Quality Education
GOAL 6: Clean Water and Sanitation
GOAL 7: Affordable and Clean Energy
GOAL 9: Industry, Innovation & Infrastructure
SDGs: General
Loading...
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
]
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
(pp. 52-53).
[
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
]
Principal Invesitgator
Coordinated by IIIA
Filter by status...
Ongoing projects
Completed projects
Filter by year...
2021
2020
2019
2018
2017
2016
2015
2014
2013
Filter by Research Area...
Active Learning
Algebraic logic
Approximate Reasoning and Soft computing
Argumentation
Automated Auctions
Automated Negotiation
Automated Reasoning
Autonomous Robots
Bioinformatics
Case-Based Reasoning
Causal Inference
Combinatorial Optimisation
Computational Creativity
Computational Ontologies
Data mining
Data Privacy
Deep Learning
Embodied Cognition
Expert Systems
Fuzzy Logic
Integration of Problem Solving and Learning
Learning
Machine Learning
Modal Logic
Multiagent Systems
Natural Language Processing
Nonmonotonic Reasoning
Normative Systems
Optimisation
Preferences
Probabilistic Graphical Models
Probabilistic Learning
Probability Logic
Recommender Systems
Responsible AI
Satisfiability models
Self-* Systems
Semantic Alignment
Social choice
Social Simulation
Solving constraint-based problems
Swarn Computing
Team Formation
Time Series Analysis
Trust and Reputation
Virtual reality
Filter by Impact Area...
Creativity
Cultural Heritage
Education
Ethics
Finance
Healthcare
Industry
Smart Cities
Social Networking
Tourism
Transport / Automotive
Filter by SDG...
GOAL 10: Reduced Inequality
GOAL 11: Sustainable Cities and Communities
GOAL 13: Climate Action
GOAL 3: Good Health and Well-being
GOAL 4: Quality Education
GOAL 6: Clean Water and Sanitation
GOAL 7: Affordable and Clean Energy
GOAL 9: Industry, Innovation & Infrastructure
SDGs: General
Loading...
Ministerio de Ciencia e Inn...
ISINC
Lluís Godo
ACCIÓ - Generalitat de Cata...
NANOMOOCS
Jordi Sabater-Mir
MINECO, TIN2012-39348-C02-01
EDETRI
Lluís Godo