Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Resolution procedures for multiple-valued optimization

Autor
Ansótegui, C.; Bonet, M.; Manyà, F.; Levy, J.
Tipus d'activitat
Article en revista
Revista
Information sciences
Data de publicació
2013-04-01
Volum
227
Pàgina inicial
43
Pàgina final
59
DOI
https://doi.org/10.1016/j.ins.2012.12.004 Obrir en finestra nova
Resum
Signed clausal forms offer a suitable logical framework for automated reasoning in multiple-valued logics. It turns out that the satisfiability problem of any finitely-valued propositional logic, as well as of certain infinitely-valued logics, can be easily reduced, in polynomial time, to the satisfiability problem of signed clausal forms. On the other hand, signed clausal forms are a powerful knowledge representation language for constraint programming, and have shown to be a practical and comp...
Paraules clau
Maximum satisfiability, Multiple-valued logics, Optimization, Resolution, Signed logic
Grup de recerca
LOGPROG - Lògica i Programació

Participants