Skip to main content
Ir a la página de inicio de la Comisión Europea (se abrirá en una nueva ventana)
español español
CORDIS - Resultados de investigaciones de la UE
CORDIS

Clausal forms for Vague information processing

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Publicaciones

The MaxSAT Problem in the Real-Valued MV-Algebra (se abrirá en una nueva ventana)

Autores: Haniková, Z., Manyà, F., Vidal, A
Publicado en: Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2023. Lecture Notes in Computer Science, Edición vol 14278, 2023
Editor: Springer, Cham
DOI: 10.1007/978-3-031-43513-3_21

Clausal Forms in MaxSAT and MinSAT (se abrirá en una nueva ventana)

Autores: Li, C.M., Manyà, F., Soler, J.R, Vidal, A.
Publicado en: International Journal of Computational Intelligence Systems, 2022, ISSN 1875-6883
Editor: springer
DOI: 10.1007/s44196-022-00143-z

UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS (se abrirá en una nueva ventana)

Autores: Vidal, Amanda
Publicado en: The Journal of Symbolic Logic, Edición 2, 2022, Página(s) 1576-1605, ISSN 1943-5886
Editor: Cambridge University Press
DOI: 10.1017/jsl.2022.32

Buscando datos de OpenAIRE...

Se ha producido un error en la búsqueda de datos de OpenAIRE

No hay resultados disponibles

Mi folleto 0 0