- -

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

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Compartir/Enviar a

Citas

Estadísticas

  • Estadisticas de Uso

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

Mostrar el registro sencillo del ítem

Ficheros en el ítem

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


Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro sencillo del ítem