default search action
Amanda Vidal
Person information
- affiliation: Artificial Intelligence Research Institute, Bellaterra, Spain
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [c13]Zuzana Haniková
, Felip Manyà
The MaxSAT Problem in the Real-Valued MV-Algebra. TABLEAUX 2023: 386-404 - [i4]Amanda Vidal:
On the local consequence of modal Product logic: standard completeness and decidability. CoRR abs/2306.13903 (2023) - 2022
- [j10]Chu Min Li, Felip Manyà
Clausal Forms in MaxSAT and MinSAT. Int. J. Comput. Intell. Syst. 15(1): 97 (2022) - [j9]Amanda Vidal
Undecidability and Non-Axiomatizability of Modal Many-Valued Logics. J. Symb. Log. 87(4): 1576-1605 (2022) - 2021
- [j8]Amanda Vidal
On transitive modal many-valued logics. Fuzzy Sets Syst. 407: 97-114 (2021) - [j7]Ricardo Oscar Rodríguez, Amanda Vidal
Axiomatization of Crisp Gödel Modal Logic. Stud Logica 109(2): 367-395 (2021) - [c12]Pilar Dellunde, Lluís Godo
On Probabilistic Logical Argumentation. CCIA 2021: 7-16 - [c11]Chu-Min Li, Felip Manyà, Joan Ramon Soler
From Non-Clausal to Clausal MinSAT. CCIA 2021: 27-36 - [c10]Pilar Dellunde, Lluís Godo
Probabilistic Argumentation: An Approach Based on Conditional Probability -A Preliminary Report-. JELIA 2021: 25-32 - [i3]Amanda Vidal:
Non axiomatizability of Modal Lukasiewicz Logic. CoRR abs/2101.08767 (2021) - 2020
- [j6]Amanda Vidal
Axiomatizing logics of fuzzy preferences using graded modalities. Fuzzy Sets Syst. 401: 163-188 (2020) - [c9]Chu Min Li, Felip Manyà, Amanda Vidal:
Tableaux for Maximum Satisfiability in Łukasiewicz Logic. ISMVL 2020: 243-248
2010 – 2019
- 2019
- [j5]Pilar Dellunde
Truth-Preservation under Fuzzy pp-Formulas. Int. J. Uncertain. Fuzziness Knowl. Based Syst. 27(Supplement-1): 89-105 (2019) - [j4]Miquel Bofill
New complexity results for Łukasiewicz logic. Soft Comput. 23(7): 2187-2197 (2019) - [i2]Amanda Vidal:
On Transitive modal many-valued logics. CoRR abs/1904.01407 (2019) - [i1]Amanda Vidal, Francesc Esteva, Lluís Godo:
Axiomatizing logics of fuzzy preferences using graded modalities. CoRR abs/1909.07674 (2019) - 2017
- [j3]Amanda Vidal
On modal extensions of Product fuzzy logic. J. Log. Comput. 27(1): 299-336 (2017) - [j2]Amanda Vidal
On strong standard completeness in some MTL $$_\Delta $$ Δ expansions. Soft Comput. 21(1): 125-147 (2017) - [c8]Francesc Esteva, Lluís Godo
A Modal Account of Preference in a Fuzzy Setting. Soft Computing Based Optimization and Decision Models 2017: 241-260 - [c7]Francesc Esteva, Lluís Godo
On a Graded Modal Logic Approach to Reason with Fuzzy Preferences. CCIA 2017: 86-95 - [c6]Rostislav Horcík
An Algebraic Approach to Valued Constraint Satisfaction. CSL 2017: 42:1-42:20 - [c5]Amanda Vidal, Francesc Esteva, Lluís Godo
On Finite-Valued Bimodal Logics with an Application to Reasoning About Preferences. EUSFLAT/IWIFSGN (3) 2017: 505-517 - 2016
- [j1]Amanda Vidal
MNiBLoS: A SMT-based solver for continuous t-norm based logics and some of their modal expansions. Inf. Sci. 372: 709-730 (2016) - 2015
- [c4]Amanda Vidal, Lluís Godo, Francesc Esteva:
On Strongly Standard Complete Fuzzy Logics: MTLQ* and its Expansions. IFSA-EUSFLAT 2015 - [c3]Miquel Bofill
Finding Hard Instances of Satisfiability in Lukasiewicz Logics. ISMVL 2015: 30-35 - [c2]Miquel Bofill
The Complexity of 3-Valued Łukasiewicz Rules. MDAI 2015: 221-229 - 2012
- [c1]Amanda Vidal, Félix Bou, Lluís Godo
An SMT-Based Solver for Continuous t-norm Based Logics. SUM 2012: 633-640
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-22 20:17 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: