Sistema certificado de decisión proposicional basado en polinomios

Alonso Jiménez, José Antonio; Aranda Corral, Gonzalo A.; Borrego Díaz, Joaquín

Ponencia

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 Artiﬁcial 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 Artiﬁcial 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 Artiﬁcial Intelligence	es
dc.eventinstitution	Sevilla, España	es
dc.relation.publicationplace	Sevilla	es

Ficheros	Tamaño	Formato	Ver	Descripción
CLAI-2009.pdf	111.5Kb	[PDF]	Ver/Abrir

Este registro aparece en las siguientes colecciones

Ponencias (Ciencias de la Computación e Inteligencia Artificial)

Mostrar el registro sencillo del ítem

Excepto si se señala otra cosa, la licencia del ítem se describe como: Attribution-NonCommercial-NoDerivatives 4.0 Internacional