Buscar
Mostrando ítems 1-10 de 12
Artículo
Abducción en modelos finitos
(Universidad Nacional Autónoma de México, 2008)
Este artículo presenta un acercamiento a la resolución de problemas abductivos en C-estructuras, estructuras que tienen un universo de discurso finito y cada uno de sus elementos es la interpretación de una constante ...
Ponencia
Un cálculo abductivo natural
(Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España, 2004)
Capítulo de Libro
Deducción y generación de modelos de cardinalidad finita
(Ediciones de la Universidad de Castilla la Mancha, 2006)
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 ...
Capítulo de Libro
Teoría de la argumentación : Información y lógica
(Universidad de Sevilla, 2001)
Artículo
Constructing inferential contexts
(Universidade Estadual de Campinas, Centro de Logica Epistemologia e Historia da Ciencia, 2008)
Ponencia
Abducción y tablas semánticas: algunas extensiones
(Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España, 2004)
Ponencia
Abducción y razonamiento por defecto
(Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España, 2004)
Artículo
Libro
Información : tratamiento y representación
(Universidad de Sevilla, 2001)
Artículo
Metamodeling abduction
(Universidad del País Vasco, 2007)
Abduction can be intended as a special kind of deductive consequence. In fact a general trend is to consider it as a backward deduction with some additional conditions. However, there can be more than one kind of deduction, ...