Amanda Vidal

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 26

Top Topics

Linearly Ordered

Maximum Satisfiability

Top Venues

Fuzzy Sets Syst.

Publications

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