English
español
Navegación por Autor Cerami, Marco
Mostrando resultados 1 a 7 de 7
Derechos | Preview | Fecha Public. | Título | Autor(es) | Tipo |
openAccess | | 2010 | First order SMTL logic and quasi-witnessed models | Cerami, Marco; Esteva, Francesc CSIC ORCID | comunicación de congreso |
openAccess | | 20-sep-2022 | On decidability of concept satisfiability in Description Logic with product semantics | Cerami, Marco; Esteva, Francesc CSIC ORCID | artículo |
closedAccess | | 2014 | On finitely-valued Fuzzy Description Logics | Cerami, Marco; García-Cerdaña, Àngel CSIC ORCID ; Esteva, Francesc CSIC ORCID | artículo |
closedAccess | | 2013 | On the (un)decidability of fuzzy description logics under Lukasiewicz t-norm | Cerami, Marco; Straccia, Umberto | artículo |
openAccess | | 2013 | On the implementation of a Fuzzy DL Solver over Infinite-Valued Product Logic with SMT Solvers | Alsinet, Teresa; Barroso, David; Bejar, Ramon; Bou, Felix CSIC; Cerami, Marco; Esteva, Francesc CSIC ORCID | comunicación de congreso |
closedAccess | | 2018 | On the relationship between fuzzy description logics and many-valued modal logics | Cerami, Marco; Esteva, Francesc CSIC ORCID ; García-Cerdaña, Àngel CSIC ORCID | artículo |
closedAccess | | 2011 | Strict core fuzzy logics and quasi-witnessed models | Cerami, Marco; Esteva, Francesc CSIC ORCID | artículo |