Tableaux for Maximum Satisfiability in Łukasiewicz Logic - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2020

Tableaux for Maximum Satisfiability in Łukasiewicz Logic

Felip Manya
  • Fonction : Auteur
Amanda Vidal
  • Fonction : Auteur

Dates et versions

hal-04322045 , version 1 (04-12-2023)

Identifiants

Citer

Chu Min Li, Felip Manya, Amanda Vidal. Tableaux for Maximum Satisfiability in Łukasiewicz Logic. 2020 IEEE 50th International Symposium on Multiple-Valued Logic (ISMVL), Nov 2020, Miyazaki, Japan. pp.243-248, ⟨10.1109/ISMVL49045.2020.00007⟩. ⟨hal-04322045⟩
6 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More