An SMT-Based Solver for Continuous t-norm Based Logics. - Amanda Vidal; Félix Bou; Lluís Godo (SUM, 2012)

On Strongly Standard Complete Fuzzy Logics: MTLQ* and its Expansions. - Amanda Vidal; Lluís Godo; Francesc Esteva (IFSA-EUSFLAT, 2015)

Finding Hard Instances of Satisfiability in Lukasiewicz Logics. - Miquel Bofill; Felip Manyà; Amanda Vidal; Mateu Villaret (ISMVL, 2015)

The Complexity of 3-Valued Łukasiewicz Rules. - Miquel Bofill; Felip Manyà; Amanda Vidal; Mateu Villaret (MDAI, 2015)

MNiBLoS: A SMT-based solver for continuous t-norm based logics and some of their modal expansions. - Amanda Vidal (Inf. Sci., 2016)

A Modal Account of Preference in a Fuzzy Setting. - Francesc Esteva; Lluís Godo; Amanda Vidal (Soft Computing Based Optimization and Decision Models, 2017)

On a Graded Modal Logic Approach to Reason with Fuzzy Preferences. - Francesc Esteva; Lluís Godo; Amanda Vidal (CCIA, 2017)

An Algebraic Approach to Valued Constraint Satisfaction. - Rostislav Horcík; Tommaso Moraschini; Amanda Vidal (CSL, 2017)

On Finite-Valued Bimodal Logics with an Application to Reasoning About Preferences. - Amanda Vidal; Francesc Esteva; Lluís Godo (EUSFLAT/IWIFSGN (3), 2017)

On modal extensions of Product fuzzy logic. - Amanda Vidal; Francesc Esteva; Lluís Godo (J. Log. Comput., 2017)

On strong standard completeness in some MTL $$_ Delta $$ Δ expansions. - Amanda Vidal; Félix Bou; Francesc Esteva; Lluís Godo (Soft Comput., 2017)

Truth-Preservation under Fuzzy pp-Formulas. - Pilar Dellunde; Amanda Vidal (Int. J. Uncertain. Fuzziness Knowl. Based Syst., 2019)

New complexity results for Łukasiewicz logic. - Miquel Bofill; Felip Manyà; Amanda Vidal; Mateu Villaret (Soft Comput., 2019)

Tableaux for Maximum Satisfiability in Łukasiewicz Logic. - Chu Min Li 001; Felip Manyà; Amanda Vidal (ISMVL, 2020)

Axiomatizing logics of fuzzy preferences using graded modalities. - Amanda Vidal; Francesc Esteva; Lluís Godo (Fuzzy Sets Syst., 2020)

On Probabilistic Logical Argumentation. - Pilar Dellunde; Lluís Godo; Amanda Vidal (CCIA, 2021)

From Non-Clausal to Clausal MinSAT. - Chu-Min Li 001; Felip Manyà; Joan Ramon Soler; Amanda Vidal (CCIA, 2021)

Probabilistic Argumentation: An Approach Based on Conditional Probability -A Preliminary Report-. - Pilar Dellunde; Lluís Godo; Amanda Vidal (JELIA, 2021)

Non axiomatizability of Modal Lukasiewicz Logic. - Amanda Vidal (CoRR, 2021)

On transitive modal many-valued logics. - Amanda Vidal (Fuzzy Sets Syst., 2021)

Axiomatization of Crisp Gödel Modal Logic. - Ricardo Oscar Rodríguez; Amanda Vidal (Stud Logica, 2021)

Clausal Forms in MaxSAT and MinSAT. - Chu Min Li 001; Felip Manyà; Joan Ramon Soler; Amanda Vidal (Int. J. Comput. Intell. Syst., 2022)

Undecidability and Non-Axiomatizability of Modal Many-Valued Logics. - Amanda Vidal (J. Symb. Log., 2022)

The MaxSAT Problem in the Real-Valued MV-Algebra. - Zuzana Haniková; Felip Manyà; Amanda Vidal (TABLEAUX, 2023)

On the local consequence of modal Product logic: standard completeness and decidability. - Amanda Vidal (CoRR, 2023)