Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAmanda 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à, Amanda Vidal:
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à, Joan Ramon Soler, Amanda Vidal:
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, Amanda Vidal:
On Probabilistic Logical Argumentation. CCIA 2021: 7-16 - [c11]Chu-Min Li, Felip Manyà, Joan Ramon Soler, Amanda Vidal:
From Non-Clausal to Clausal MinSAT. CCIA 2021: 27-36 - [c10]Pilar Dellunde, Lluís Godo, Amanda Vidal:
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, Francesc Esteva, Lluís Godo:
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, Amanda Vidal:
Truth-Preservation under Fuzzy pp-Formulas. Int. J. Uncertain. Fuzziness Knowl. Based Syst. 27(Supplement-1): 89-105 (2019) - [j4]Miquel Bofill, Felip Manyà, Amanda Vidal, Mateu Villaret:
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, Francesc Esteva, Lluís Godo:
On modal extensions of Product fuzzy logic. J. Log. Comput. 27(1): 299-336 (2017) - [j2]Amanda Vidal, Félix Bou, Francesc Esteva, Lluís Godo:
On strong standard completeness in some MTL $$_\Delta $$ Δ expansions. Soft Comput. 21(1): 125-147 (2017) - [c8]Francesc Esteva, Lluís Godo, Amanda Vidal:
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, Amanda Vidal:
On a Graded Modal Logic Approach to Reason with Fuzzy Preferences. CCIA 2017: 86-95 - [c6]Rostislav Horcík, Tommaso Moraschini, Amanda Vidal:
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, Felip Manyà, Amanda Vidal, Mateu Villaret:
Finding Hard Instances of Satisfiability in Lukasiewicz Logics. ISMVL 2015: 30-35 - [c2]Miquel Bofill, Felip Manyà, Amanda Vidal, Mateu Villaret:
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-02-07 04:07 CET 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:
