Amanda Vidal

According to our database, Amanda Vidal authored at least 25 papers between 2012 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

On the local consequence of modal Product logic: standard completeness and decidability.

Amanda Vidal

CoRR, 2023

The MaxSAT Problem in the Real-Valued MV-Algebra.

Zuzana Haniková, Felip Manyà, Amanda Vidal

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2023

2022

Undecidability and Non-Axiomatizability of Modal Many-Valued Logics.

Amanda Vidal

J. Symb. Log., December, 2022

Clausal Forms in MaxSAT and MinSAT.

Chu Min Li, Felip Manyà, Joan Ramon Soler, Amanda Vidal

Int. J. Comput. Intell. Syst., 2022

2021

Axiomatization of Crisp Gödel Modal Logic.

Ricardo Oscar Rodríguez, Amanda Vidal

Stud Logica, 2021

On transitive modal many-valued logics.

Amanda Vidal

Fuzzy Sets Syst., 2021

Non axiomatizability of Modal Lukasiewicz Logic.

Amanda Vidal

CoRR, 2021

Probabilistic Argumentation: An Approach Based on Conditional Probability -A Preliminary Report-.

Pilar Dellunde, Lluís Godo, Amanda Vidal

Proceedings of the Logics in Artificial Intelligence - 17th European Conference, 2021

From Non-Clausal to Clausal MinSAT.

Chu-Min Li, Felip Manyà, Joan Ramon Soler, Amanda Vidal

Proceedings of the Artificial Intelligence Research and Development, 2021

On Probabilistic Logical Argumentation.

Pilar Dellunde, Lluís Godo, Amanda Vidal

Proceedings of the Artificial Intelligence Research and Development, 2021

2020

Axiomatizing logics of fuzzy preferences using graded modalities.

Amanda Vidal, Francesc Esteva, Lluís Godo

Fuzzy Sets Syst., 2020

Tableaux for Maximum Satisfiability in Łukasiewicz Logic.

Chu Min Li, Felip Manyà, Amanda Vidal

Proceedings of the 50th IEEE International Symposium on Multiple-Valued Logic, 2020

2019

New complexity results for Łukasiewicz logic.

Miquel Bofill, Felip Manyà, Amanda Vidal, Mateu Villaret

Soft Comput., 2019

Truth-Preservation under Fuzzy pp-Formulas.

Pilar Dellunde, Amanda Vidal

Int. J. Uncertain. Fuzziness Knowl. Based Syst., 2019

2017

On strong standard completeness in some MTL $$_\Delta $$ Δ expansions.

Amanda Vidal, Félix Bou, Francesc Esteva, Lluís Godo

Soft Comput., 2017

On modal extensions of Product fuzzy logic.

Amanda Vidal, Francesc Esteva, Lluís Godo

J. Log. Comput., 2017

On Finite-Valued Bimodal Logics with an Application to Reasoning About Preferences.

Amanda Vidal, Francesc Esteva, Lluís Godo

Proceedings of the Advances in Fuzzy Logic and Technology 2017 - Proceedings of: EUSFLAT-2017 - The 10th Conference of the European Society for Fuzzy Logic and Technology, September 11-15, 2017, Warsaw, Poland IWIFSGN'2017, 2017

An Algebraic Approach to Valued Constraint Satisfaction.

Rostislav Horcík, Tommaso Moraschini, Amanda Vidal

Proceedings of the 26th EACSL Annual Conference on Computer Science Logic, 2017

On a Graded Modal Logic Approach to Reason with Fuzzy Preferences.

Francesc Esteva, Lluís Godo, Amanda Vidal

Proceedings of the Recent Advances in Artificial Intelligence Research and Development, 2017

A Modal Account of Preference in a Fuzzy Setting.

Francesc Esteva, Lluís Godo, Amanda Vidal

Proceedings of the Soft Computing Based Optimization and Decision Models, 2017

2016

MNiBLoS: A SMT-based solver for continuous t-norm based logics and some of their modal expansions.

Amanda Vidal

Inf. Sci., 2016

2015

The Complexity of 3-Valued Łukasiewicz Rules.

Miquel Bofill, Felip Manyà, Amanda Vidal, Mateu Villaret

Proceedings of the Modeling Decisions for Artificial Intelligence, 2015

Finding Hard Instances of Satisfiability in Lukasiewicz Logics.

Miquel Bofill, Felip Manyà, Amanda Vidal, Mateu Villaret

Proceedings of the 2015 IEEE International Symposium on Multiple-Valued Logic, 2015

On Strongly Standard Complete Fuzzy Logics: MTLQ* and its Expansions.

Amanda Vidal, Lluís Godo, Francesc Esteva

Proceedings of the 2015 Conference of the International Fuzzy Systems Association and the European Society for Fuzzy Logic and Technology (IFSA-EUSFLAT-15), 2015

2012

An SMT-Based Solver for Continuous t-norm Based Logics.

Amanda Vidal, Félix Bou, Lluís Godo

Proceedings of the Scalable Uncertainty Management - 6th International Conference, 2012