English   español  
Por favor, use este identificador para citar o enlazar a este item: http://hdl.handle.net/10261/164471
Compartir / Impacto:
Estadísticas
Add this article to your Mendeley library MendeleyBASE
Visualizar otros formatos: MARC | Dublin Core | RDF | ORE | MODS | METS | DIDL
Título

Solving MaxSAT with Natural Deduction

AutorCasas-Roma, Joan; Huertas, M. Antonia; Manya, Felip
Palabras claveMaxSAT
Propositional logic
Many-valued logic
Natural deduction
Fecha de publicación25-oct-2017
EditorIOS Press
Citación 20th International Conference of the Catalan Association for Artificial Intelligence, CCIA 2017. FAIA 300: 186 -195 (2017)
ResumenWe rethink the way Natural Deduction systems are usually used in logic, and adapt them in order to solve the MaxSAT problem. By adapting some existing rules and defining some new ones, the Natural Deduction method can be used to provide an elegant and straightforward solution to maximum satisfiability problems of multisets of Boolean and many-valued clauses. © 2017 The authors and IOS Press. All rights reserved.
URIhttp://hdl.handle.net/10261/164471
Identificadoresdoi: 10.3233/978-1-61499-806-8-186
issn: 09226389
isbn: 978-161499805-1
Aparece en las colecciones: (IIIA) Comunicaciones congresos
Ficheros en este ítem:
Fichero Descripción Tamaño Formato  
accesoRestringido.pdf15,38 kBAdobe PDFVista previa
Visualizar/Abrir
Mostrar el registro completo
 


NOTA: Los ítems de Digital.CSIC están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.