Skip to main content
European Commission logo
Deutsch Deutsch
CORDIS - Forschungsergebnisse der EU
CORDIS
CORDIS Web 30th anniversary CORDIS Web 30th anniversary

Clausal forms for Vague information processing

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Veröffentlichungen

The MaxSAT Problem in the Real-Valued MV-Algebra

Autoren: Haniková, Z., Manyà, F., Vidal, A
Veröffentlicht in: Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2023. Lecture Notes in Computer Science, Ausgabe vol 14278, 2023
Herausgeber: Springer, Cham
DOI: 10.1007/978-3-031-43513-3_21

Clausal Forms in MaxSAT and MinSAT

Autoren: Li, C.M., Manyà, F., Soler, J.R, Vidal, A.
Veröffentlicht in: International Journal of Computational Intelligence Systems, 2022, ISSN 1875-6883
Herausgeber: springer
DOI: 10.1007/s44196-022-00143-z

UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS

Autoren: Vidal, Amanda
Veröffentlicht in: The Journal of Symbolic Logic, Ausgabe 2, 2022, Seite(n) 1576-1605, ISSN 1943-5886
Herausgeber: Cambridge University Press
DOI: 10.1017/jsl.2022.32

Suche nach OpenAIRE-Daten ...

Bei der Suche nach OpenAIRE-Daten ist ein Fehler aufgetreten

Es liegen keine Ergebnisse vor