Mostrar el registro sencillo del ítem
Capítulo de Libro
Deducción y generación de modelos de cardinalidad finita
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/ | |