Implementación del algoritmo de Tableau para la lógica temporal

Buscar en RiuNet

Nombre: Memoria.pdf

Tamaño: 1.095Mb

Formato: PDF

Nombre: Anexos.zip

Tamaño: 7.073Kb

Formato: application/zip

dc.contributor.advisor	Villanueva García, Alicia	es_ES
dc.contributor.author	Khamlichi, Ghada el	es_ES
dc.date.accessioned	2012-09-27T11:35:29Z
dc.date.available	2012-09-27T11:35:29Z
dc.date.created	2012-09-27
dc.date.issued	2012-09-27
dc.identifier.uri	http://hdl.handle.net/10251/17271
dc.description.abstract	El objetivo de este proyecto es crear un método que comprueba el índice de satisfacción automático de las propiedades de la lógica temporal lineal proposicional, mediante un algoritmo Tableau. Esto se implementara en el lenguaje Maude. El algoritmo se realizara en una pasada, y utilizara reglas Tableau que garantizan un tratamiento correcto de las eventualidades así como la completitud y la terminación del algoritmo de satisfacibilidad.	es_ES
dc.format.extent	63	es_ES
dc.language	Español	es_ES
dc.publisher	Universitat Politècnica de València	es_ES
dc.rights	Reconocimiento - No comercial - Sin obra derivada (by-nc-nd)	es_ES
dc.subject.other	Ingeniería Informática-Enginyeria Informàtica	es_ES
dc.title	Implementación del algoritmo de Tableau para la lógica temporal	es_ES
dc.type	Proyecto/Trabajo fin de carrera/grado	es_ES
dc.rights.accessRights	Abierto	es_ES
dc.contributor.affiliation	Universitat Politècnica de València. Escola Tècnica Superior d'Enginyeria Informàtica	es_ES
dc.description.bibliographicCitation	El Khamlichi, G. (2012). Implementación del algoritmo de Tableau para la lógica temporal. http://hdl.handle.net/10251/17271.	es_ES
dc.description.accrualMethod	Archivo delegado	es_ES

ETSINF - Trabajos académicos [4960]
Escola Tècnica Superior d'Enginyeria Informàtica