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 18 of 18
RightsPreviewIssue DateTitleAuthor(s)Type
closedAccessaccesoRestringido.pdf.jpg2018A modal account of preference in a fuzzy settingEsteva, Francesc  ; Godo, Lluis  ; Vidal, Amanda capítulo de libro
openAccess18-Feb-2014A product modal logicEsteva, Francesc  ; Godo, Lluis  ; Vidal, Amanda comunicación de congreso
openAccessESTYLF 2014_p.423-428.pdf.jpg5-Feb-2014About strong standard completeness of Product LogicVidal, Amanda ; Esteva, Francesc  ; Godo, Lluis  comunicación de congreso
openAccess16-Jul-2014Axiomatising a fuzzy modal logic over the standard product algebraVidal, Amanda ; Esteva, Francesc  ; Godo, Lluis  comunicación de congreso
embargoedAccessAxiomatizing logics of fuzzy preferences using graded modalities.pdf.jpg2020Axiomatizing logics of fuzzy preferences using graded modalitiesVidal, Amanda ; Esteva, Francesc  ; Godo, Lluis  artículo
openAccess18-May-2015Finding Hard Instances of Satisfiability in Lukasiewicz LogicsBofill, Miquel; Manyà, Felip ; Vidal, Amanda ; Villaret, Mateu comunicación de congreso
closedAccessaccesoRestringido.pdf.jpg2016MNiBLoS: A SMT-based solver for continuous t-norm based logics and some of their modal expansionsVidal, Amanda artículo
openAccessNew complexity results for Łukasiewicz logic.pdf.jpgApr-2019New complexity results for Lukasiewicz logicBofill, Miquel; Manyà, Felip ; Vidal, Amanda ; Villaret, Mateu artículo
closedAccessaccesoRestringido.pdf.jpg25-Oct-2017On a Graded Modal Logic Approach to Reason with Fuzzy PreferencesEsteva, Francesc  ; Godo, Lluis  ; Vidal, Amanda artículo
closedAccessaccesoRestringido.pdf.jpg11-Sep-2017On Finite-Valued Bimodal Logics with an Application to Reasoning About PreferencesVidal, Amanda ; Esteva, Francesc  ; Godo, Lluis  artículo
openAccessManyVal-15.pdf.jpgDec-2015On modal expansions of left-continuous t-norm logicsVidal, Amanda ; Godo, Lluis  ; Esteva, Francesc  ; Bou, Felix comunicación de congreso
openAccessJLC27(2017)299-336.pdf.jpg2017On modal extensions of Product fuzzy logicVidal, Amanda ; Esteva, Francesc  ; Godo, Lluis  artículo
closedAccessaccesoRestringido.pdf.jpg2017On strong standard completeness in some MTL Δ expansionsVidal, Amanda ; Bou, Felix ; Esteva, Francesc  ; Godo, Lluis  artículo
openAccess21-Jun-2015On strong standard completeness of MTL*(Q) expansionsVidal, Amanda ; Godo, Lluis  ; Esteva, Francesc  comunicación de congreso
openAccess30-Jun-2015On strongly standard complete fuzzy logics: $MTL^Q_*$ and its expansionsVidal, Amanda ; Godo, Lluis  ; Esteva, Francesc  comunicación de congreso
openAccessTableaux for Maximum Satisfiability in Łukasiewicz Logic.pdf.jpg10-Nov-2020Tableaux for Maximum Satisfiability in Lukasiewicz LogicManyà, Felip ; Min Li, Chu; Vidal, Amanda actas de congreso
openAccessLNCS9321_221-229.pdf.jpg2015The Complexity of 3-Valued Lukasiewicz RulesBofill, Miquel; Manyà, Felip ; Vidal, Amanda ; Villaret, Mateu comunicación de congreso
openAccessTRUTH RESERVATION UNDER FUZZY PP FORMULAS.pdf.jpg2019Truth-Preservation under Fuzzy pp-FormulasDellunde, Pilar  ; Vidal, Amanda artículo