English   español  

Browsing by Author Vidal, Amanda

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 20 of 24  next >
RightsPreviewIssue DateTitleAuthor(s)Type
closedAccessaccesoRestringido.pdf.jpg2018A modal account of preference in a fuzzy settingEsteva, Francesc CSIC ORCID ; Godo, Lluis CSIC ORCID ; Vidal, Amandacapítulo de libro
openAccess18-Feb-2014A product modal logicEsteva, Francesc CSIC ORCID ; Godo, Lluis CSIC ORCID ; Vidal, Amandacomunicación de congreso
openAccessESTYLF 2014_p.423-428.pdf.jpg5-Feb-2014About strong standard completeness of Product LogicVidal, Amanda; Esteva, Francesc CSIC ORCID ; Godo, Lluis CSIC ORCID comunicación de congreso
openAccessAn Algebraic Approach to Valued Constraint.pdf.jpg16-Aug-2017An Algebraic Approach to Valued Constraint SatisfactionHorcík, Rositislav; Moraschini, Tommaso; Vidal, Amandaactas de congreso
openAccessAn alternative axiomatization for a fuzzy modal logic of preferences.pdf.jpg23-Oct-2018An alternative axiomatization for a fuzzy modal logic of preferenceVidal, Amanda; Esteva, Francesc CSIC ORCID ; Godo, Lluis CSIC ORCID actas de congreso
openAccess16-Jul-2014Axiomatising a fuzzy modal logic over the standard product algebraVidal, Amanda; Esteva, Francesc CSIC ORCID ; Godo, Lluis CSIC ORCID comunicación de congreso
embargoedAccessAxiomatizing logics of fuzzy preferences using graded modalities.pdf.jpg2020Axiomatizing logics of fuzzy preferences using graded modalitiesVidal, Amanda; Esteva, Francesc CSIC ORCID ; Godo, Lluis CSIC ORCID artículo
openAccess18-May-2015Finding Hard Instances of Satisfiability in Lukasiewicz LogicsBofill, Miquel; Manyà, Felip CSIC ORCID ; Vidal, Amanda; Villaret, Mateucomunicación de congreso
openAccess5146.pdf.jpgSep-2013Image-finite first-order structuresBou, Félix; Vidal, Amandacomunicación de congreso
closedAccessaccesoRestringido.pdf.jpg2016MNiBLoS: A SMT-based solver for continuous t-norm based logics and some of their modal expansionsVidal, Amandaartículo
openAccessNew complexity results for Łukasiewicz logic.pdf.jpgApr-2019New complexity results for Lukasiewicz logicBofill, Miquel; Manyà, Felip CSIC ORCID ; Vidal, Amanda; Villaret, Mateuartículo
openAccess16-Dec-2015On a class of modal expansions of left-continuous t-norm logicsVidal, Amanda; Bou, Félix; Esteva, Francesc CSIC ORCID ; Godo, Lluis CSIC ORCID actas de congreso
closedAccessaccesoRestringido.pdf.jpg25-Oct-2017On a Graded Modal Logic Approach to Reason with Fuzzy PreferencesEsteva, Francesc CSIC ORCID ; Godo, Lluis CSIC ORCID ; Vidal, Amandaartículo
closedAccessaccesoRestringido.pdf.jpg11-Sep-2017On Finite-Valued Bimodal Logics with an Application to Reasoning About PreferencesVidal, Amanda; Esteva, Francesc CSIC ORCID ; Godo, Lluis CSIC ORCID artículo
openAccessManyVal-15.pdf.jpgDec-2015On modal expansions of left-continuous t-norm logicsVidal, Amanda; Godo, Lluis CSIC ORCID ; Esteva, Francesc CSIC ORCID ; Bou, Felix CSICcomunicación de congreso
openAccessJLC27(2017)299-336.pdf.jpg2017On modal extensions of Product fuzzy logicVidal, Amanda; Esteva, Francesc CSIC ORCID ; Godo, Lluis CSIC ORCID artículo
closedAccessaccesoRestringido.pdf.jpg2017On strong standard completeness in some MTL Δ expansionsVidal, Amanda; Bou, Felix CSIC; Esteva, Francesc CSIC ORCID ; Godo, Lluis CSIC ORCID artículo
openAccess21-Jun-2015On strong standard completeness of MTL*(Q) expansionsVidal, Amanda; Godo, Lluis CSIC ORCID ; Esteva, Francesc CSIC ORCID comunicación de congreso
openAccess30-Jun-2015On strongly standard complete fuzzy logics: $MTL^Q_*$ and its expansionsVidal, Amanda; Godo, Lluis CSIC ORCID ; Esteva, Francesc CSIC ORCID comunicación de congreso
openAccessProbabilistic argumentation an approach based on.pdf.jpg2021Probabilistic argumentation: an approach based on conditional probability – a preliminary report–Dellunde, Pilar CSIC ORCID ; Godo, Lluis CSIC ORCID ; Vidal, Amandacomunicación de congreso