Deducción y generación de modelos de cardinalidad finita

Nepomuceno Fernández, Ángel; Soler Toscano, Fernando; Salguero Lamillar, Francisco J.

Capítulo de Libro

dc.creator	Nepomuceno Fernández, Ángel	es
dc.creator	Soler Toscano, Fernando	es
dc.creator	Salguero Lamillar, Francisco J.	es
dc.date.accessioned	2016-12-16T10:52:05Z
dc.date.available	2016-12-16T10:52:05Z
dc.date.issued	2006
dc.identifier.isbn	84-689-9560-6	es
dc.identifier.uri	http://hdl.handle.net/11441/50565
dc.description.abstract	Presentamos un procedimiento de tablas semánticas distinto de las estándar en el tratamiento dado a las sentencias de la clase δ, proponiendo modificaciones de esta regla que eviten la generación de ramas infinitas. Las nuevas tablas se revelan útiles para el estudio de lenguajes lógico-formales con semántica finitaria, en particular como procedimiento para definir modelos finitos de sentencias satisfacibles. Mostramos también la aplicabilidad de estos resultados al análisis de la ambigüedad y otros fenómenos en la interpretación del discurso.	es
dc.format	application/pdf	es
dc.language.iso	spa	es
dc.publisher	Ediciones de la Universidad de Castilla la Mancha	es
dc.relation.ispartof	Una perspectiva de la Inteligencia Artificial en su 50 aniversario	es
dc.rights	Attribution-NonCommercial-NoDerivatives 4.0 Internacional	*
dc.rights.uri	http://creativecommons.org/licenses/by-nc-nd/4.0/	*
dc.title	Deducción y generación de modelos de cardinalidad finita	es
dc.type	info:eu-repo/semantics/bookPart	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 Filosofía y Lógica y Filosofía de la Ciencia	es
dc.contributor.affiliation	Universidad de Sevilla. Departamento de Lengua Española, Lingüística y Teoría de la Literatura	es
idus.format.extent	12 p.	es
dc.publication.initialPage	588	es
dc.publication.endPage	599	es
dc.relation.publicationplace	Albacete	es

Ficheros	Tamaño	Formato	Ver	Descripción
DEDUCCIÓN Y GENERACIÓN DE MODELOS ...	169.7Kb	[PDF]	Ver/Abrir

Este registro aparece en las siguientes colecciones

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