Amanda Vidal

27 papers B 4Journal 14Unranked 9
YearRankTypeTitle / Venue / Authors
2023 J jnl
On the local consequence of modal Product logic: standard completeness and decidability.
CoRR
Amanda Vidal
2023 B conf
The MaxSAT Problem in the Real-Valued MV-Algebra.
TABLEAUX
Zuzana Haniková, Felip Manyà, Amanda Vidal
2022 J jnl
Clausal Forms in MaxSAT and MinSAT.
Int. J. Comput. Intell. Syst.
Chu Min Li, Felip Manyà, Joan Ramon Soler, Amanda Vidal
2022 J jnl
Undecidability and Non-Axiomatizability of Modal Many-Valued Logics.
J. Symb. Log.
Amanda Vidal
2021 J jnl
Axiomatization of Crisp Gödel Modal Logic.
Stud Logica
Ricardo Oscar Rodríguez, Amanda Vidal
2021 — conf
From Non-Clausal to Clausal MinSAT.
CCIA
Chu-Min Li, Felip Manyà, Joan Ramon Soler, Amanda Vidal
2021 J jnl
Non axiomatizability of Modal Lukasiewicz Logic.
CoRR
Amanda Vidal
2021 — conf
On Probabilistic Logical Argumentation.
CCIA
Pilar Dellunde, Lluís Godo, Amanda Vidal
2021 J jnl
On transitive modal many-valued logics.
Fuzzy Sets Syst.
Amanda Vidal
2021 B conf
Probabilistic Argumentation: An Approach Based on Conditional Probability -A Preliminary Report-.
JELIA
Pilar Dellunde, Lluís Godo, Amanda Vidal
2020 J jnl
Axiomatizing logics of fuzzy preferences using graded modalities.
Fuzzy Sets Syst.
Amanda Vidal, Francesc Esteva, Lluís Godo
2020 — conf
Tableaux for Maximum Satisfiability in Łukasiewicz Logic.
ISMVL
Chu Min Li, Felip Manyà, Amanda Vidal
2019 J jnl
Axiomatizing logics of fuzzy preferences using graded modalities.
CoRR
Amanda Vidal, Francesc Esteva, Lluís Godo
2019 J jnl
New complexity results for Łukasiewicz logic.
Soft Comput.
Miquel Bofill, Felip Manyà, Amanda Vidal, Mateu Villaret
2019 J jnl
On Transitive modal many-valued logics.
CoRR
Amanda Vidal
2019 J jnl
Truth-Preservation under Fuzzy pp-Formulas.
Int. J. Uncertain. Fuzziness Knowl. Based Syst.
Pilar Dellunde, Amanda Vidal
2017 — conf
A Modal Account of Preference in a Fuzzy Setting.
Soft Computing Based Optimization and Decision Models
Francesc Esteva, Lluís Godo, Amanda Vidal
2017 B conf
An Algebraic Approach to Valued Constraint Satisfaction.
CSL
Rostislav Horcík, Tommaso Moraschini, Amanda Vidal
2017 — conf
On Finite-Valued Bimodal Logics with an Application to Reasoning About Preferences.
EUSFLAT/IWIFSGN (3)
Amanda Vidal, Francesc Esteva, Lluís Godo
2017 — conf
On a Graded Modal Logic Approach to Reason with Fuzzy Preferences.
CCIA
Francesc Esteva, Lluís Godo, Amanda Vidal
2017 J jnl
On modal extensions of Product fuzzy logic.
J. Log. Comput.
Amanda Vidal, Francesc Esteva, Lluís Godo
2017 J jnl
On strong standard completeness in some MTL $$_\Delta $$ Δ expansions.
Soft Comput.
Amanda Vidal, Félix Bou, Francesc Esteva, Lluís Godo
2016 J jnl
MNiBLoS: A SMT-based solver for continuous t-norm based logics and some of their modal expansions.
Inf. Sci.
Amanda Vidal
2015 — conf
Finding Hard Instances of Satisfiability in Lukasiewicz Logics.
ISMVL
Miquel Bofill, Felip Manyà, Amanda Vidal, Mateu Villaret
2015 — conf
On Strongly Standard Complete Fuzzy Logics: MTLQ* and its Expansions.
IFSA-EUSFLAT
Amanda Vidal, Lluís Godo, Francesc Esteva
2015 B conf
The Complexity of 3-Valued Łukasiewicz Rules.
MDAI
Miquel Bofill, Felip Manyà, Amanda Vidal, Mateu Villaret
2012 — conf
An SMT-Based Solver for Continuous t-norm Based Logics.
SUM
Amanda Vidal, Félix Bou, Lluís Godo