Accéder directement au contenu Accéder directement à la navigation
Communication dans un congrès

Tableaux for Maximum Satisfiability in Lukasiewicz Logic

Abstract : We define a tableau calculus for solving the MaxSAT problem of 3-valued Lukasiewicz logic, and prove its soundness and completeness. The calculus can be naturally extended to other finitely-valued logics. Our contributions establish the foundations of a generic problem solving paradigm for combinatorial optimization based on Lukasiewicz logic.
Type de document :
Communication dans un congrès
Liste complète des métadonnées

https://hal-u-picardie.archives-ouvertes.fr/hal-03636416
Contributeur : Louise DESSAIVRE Connectez-vous pour contacter le contributeur
Soumis le : dimanche 10 avril 2022 - 11:39:12
Dernière modification le : vendredi 5 août 2022 - 11:22:18

Lien texte intégral

Identifiants

Collections

Citation

Chu Min Li, Felip Manya, Amanda Vidal. Tableaux for Maximum Satisfiability in Lukasiewicz Logic. 2020 IEEE 50TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2020), Nov 2020, Miyazaki, Japan. pp.243-248, ⟨10.1109/ISMVL49045.2020.00007⟩. ⟨hal-03636416⟩

Partager

Métriques

Consultations de la notice

18