Una interpretacion algebraica de la verificacion de sistemas basados en el conocimiento
Tesis doctoral de Angelica De Antonio Jimenez El trabajo presentado se puede considerar un avance en la validacion de sistemas […]
Tesis doctoral sobre Logica
Accede a todas las tesis doctorales sobre Logica mas relevantes.
Mito: metodo de induccion total
Tesis doctoral de César Montes Gracia El presente trabajo resuelve el problema de deteccion de dependencias funcionales, mediante un metodo
Conjuntos intuicionistas e intervalo-valorados difusos: propiedades y construccion. relaciones intuicionistas y estructuras
Tesis doctoral de Bustince Sola Nicanor Humberto La memoria estudia sistematicamente los conjuntos intuicionistas difusos. Analiza las estructuras algebraicas de
Un estudio algebraico de las logicas temporales
Tesis doctoral de Francisco Garcia Olmedo En la memoria se efectua un estudio de las algebras temporales. En el mismo
Programacion logica para la gestion de bases de datos relacionales aplicadas a bases de datos lexicas.
Tesis doctoral de Iraola Moreno Luis Oliverio Este trabajo se situa en la zona de confluencia de diversas disciplinas de
Logica parcial trivalorada. aproximaciones de primer orden, de orden superior e intuicionista
Tesis doctoral de Francisca Lucio Carrasco Se extiende la logica de primer orden clasica, de forma conservadora, a una logica
Modelos de induccion acotada.
Tesis doctoral de Joaquin Borrego Diaz Entre los nuevos resultados que se obtienen en este trabajo caben destacar: – relaciones
Fundamentos logico-conceptuales para una teoria general de la racionalidad: razonamiento teorico y practico
Tesis doctoral de Perez Miranda Luis Angel En el primer capitulo mostramos que la critica al enfoque logico clasico, en
La verdad sin atributos. aspectos del problema de la verdad en el ambito de la filosofia analitica.
Tesis doctoral de Albisu Aparicio M. Asuncion Datos académicos de la tesis doctoral «La verdad sin atributos. aspectos del
Logica para la inteligencia artificial: conocimiento creencia e intencion.
Tesis doctoral de Agustin Arrieta Urtizberea En este trabajo hemos desarrollado dos temas que resultan relevantes en el mundo de