Mostrando resultados 8 a 24 de 24
< Anterior
| Derechos | Preview | Fecha Public. | Título | Autor(es) | Tipo |
| openAccess | | 18-may-2015 | Finding Hard Instances of Satisfiability in Lukasiewicz Logics | Bofill, Miquel; Manyà, Felip CSIC ORCID ; Vidal, Amanda; Villaret, Mateu | comunicación de congreso |
| openAccess |  | sep-2013 | Image-finite first-order structures | Bou, Felix CSIC; Vidal, Amanda | comunicación de congreso |
| closedAccess |  | 2016 | MNiBLoS: A SMT-based solver for continuous t-norm based logics and some of their modal expansions | Vidal, Amanda | artículo |
| openAccess |  | abr-2019 | New complexity results for Lukasiewicz logic | Bofill, Miquel; Manyà, Felip CSIC ORCID ; Vidal, Amanda; Villaret, Mateu | artículo |
| openAccess | | 16-dic-2015 | On a class of modal expansions of left-continuous t-norm logics | Vidal, Amanda; Bou, Felix CSIC; Esteva, Francesc CSIC ORCID ; Godo, Lluis CSIC ORCID | comunicación de congreso |
| closedAccess |  | 25-oct-2017 | On a Graded Modal Logic Approach to Reason with Fuzzy Preferences | Esteva, Francesc CSIC ORCID ; Godo, Lluis CSIC ORCID ; Vidal, Amanda | artículo |
| closedAccess |  | 11-sep-2017 | On Finite-Valued Bimodal Logics with an Application to Reasoning About Preferences | Vidal, Amanda; Esteva, Francesc CSIC ORCID ; Godo, Lluis CSIC ORCID | artículo |
| openAccess |  | dic-2015 | On modal expansions of left-continuous t-norm logics | Vidal, Amanda; Godo, Lluis CSIC ORCID ; Esteva, Francesc CSIC ORCID ; Bou, Felix CSIC | comunicación de congreso |
| openAccess |  | 2017 | On modal extensions of Product fuzzy logic | Vidal, Amanda; Esteva, Francesc CSIC ORCID ; Godo, Lluis CSIC ORCID | artículo |
| closedAccess |  | 2017 | On strong standard completeness in some MTL Δ expansions | Vidal, Amanda; Bou, Felix CSIC; Esteva, Francesc CSIC ORCID ; Godo, Lluis CSIC ORCID | artículo |
| openAccess | | 21-jun-2015 | On strong standard completeness of MTL*(Q) expansions | Vidal, Amanda; Godo, Lluis CSIC ORCID ; Esteva, Francesc CSIC ORCID | comunicación de congreso |
| openAccess | | 30-jun-2015 | On strongly standard complete fuzzy logics: $MTL^Q_*$ and its expansions | Vidal, Amanda; Godo, Lluis CSIC ORCID ; Esteva, Francesc CSIC ORCID | comunicación de congreso |
| openAccess |  | 2021 | Probabilistic argumentation: an approach based on conditional probability – a preliminary report– | Dellunde, Pilar CSIC ORCID ; Godo, Lluis CSIC ORCID ; Vidal, Amanda | comunicación de congreso |
| openAccess |  | 10-nov-2020 | Tableaux for Maximum Satisfiability in Lukasiewicz Logic | Manyà, Felip CSIC ORCID ; Min Li, Chu; Vidal, Amanda | comunicación de congreso |
| openAccess |  | 2015 | The Complexity of 3-Valued Lukasiewicz Rules | Bofill, Miquel; Manyà, Felip CSIC ORCID ; Vidal, Amanda; Villaret, Mateu | comunicación de congreso |
| openAccess |  | 2019 | Truth-Preservation under Fuzzy pp-Formulas | Dellunde, Pilar CSIC ORCID ; Vidal, Amanda | artículo |
| openAccess | | 28-jun-2016 | Undecidability of some Product Modal Logics | Vidal, Amanda | comunicación de congreso |
