dc.creator | Alonso Jiménez, José Antonio | es |
dc.creator | Aranda Corral, Gonzalo A. | es |
dc.creator | Borrego Díaz, Joaquín | es |
dc.date.accessioned | 2018-06-05T08:15:47Z | |
dc.date.available | 2018-06-05T08:15:47Z | |
dc.date.issued | 2009 | |
dc.identifier.citation | Alonso Jiménez, J.A., Aranda Corral, G.A. y Borrego Díaz, J. (2009). Sistema certificado de decisión proposicional basado en polinomios. En CLAI 2009: Workshop on Computational Logics and Artificial Intelligence (101-111), Sevilla, España: Universidad de Sevilla, Departamento de Ciencias de la Computación e Inteligencia Artificial. | |
dc.identifier.uri | https://hdl.handle.net/11441/75637 | |
dc.description.abstract | En [2] introducimos una regla de inferencia para la lógica
proposicional (basado en el uso de la derivación de polinomios) denominada regla de independencia, diseñada para el cálculo de retracciones
conservativas, y que sirve para diseñar un procedimiento de decisión
proposicional. En el presente trabajo presentamos una implementación
en Haskell del procedimiento y su certificación mediante QuickCheck. | es |
dc.format | application/pdf | es |
dc.language.iso | spa | es |
dc.publisher | Universidad de Sevilla, Departamento de Ciencias de la Computación e Inteligencia Artificial | es |
dc.relation.ispartof | CLAI 2009: Workshop on Computational Logics and Artificial Intelligence (2009), p 101-111 | |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.title | Sistema certificado de decisión proposicional basado en polinomios | es |
dc.type | info:eu-repo/semantics/conferenceObject | es |
dcterms.identifier | https://ror.org/03yxnpp24 | |
dc.type.version | info:eu-repo/semantics/publishedVersion | es |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | es |
dc.contributor.affiliation | Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial | es |
dc.relation.publisherversion | http://www.glc.us.es/clai2009/CLAI-2009.pdf | es |
dc.contributor.group | Universidad de Sevilla. TIC137: Logica, Computacion e Ingenieria del Conocimiento | es |
idus.format.extent | 11 | es |
dc.publication.initialPage | 101 | es |
dc.publication.endPage | 111 | es |
dc.eventtitle | CLAI 2009: Workshop on Computational Logics and Artificial Intelligence | es |
dc.eventinstitution | Sevilla, España | es |
dc.relation.publicationplace | Sevilla | es |