Estudio del lema de interpolacion en el contexto de diversos lenguajes formales.
Tesis doctoral de Cristina Corredor Lanas La tesis consiste en una presentacion sistematizada del lema de interpolacion, analizando los rasgos […]
Tesis doctoral de María Manzano Arjona
Información academica María Manzano Arjona. Tesis donde María Manzano Arjona ha sido autor, director o parte del tribunal.
Logica de segundo orden: problemas metateoreticos.
Tesis doctoral de Angel Nepomuceno Fernandez Datos académicos de la tesis doctoral «Logica de segundo orden: problemas metateoreticos.« Título
Una logica no estandard admisible para programas funcionales
Tesis doctoral de Ana Gil Luezas Datos académicos de la tesis doctoral «Una logica no estandard admisible para programas
Una logica trivalorada para funciones recursivas parciales
Tesis doctoral de Antonio Gavilanes Franco Datos académicos de la tesis doctoral «Una logica trivalorada para funciones recursivas parciales«
«de la teoria del significado en prawitz a la busqueda inteligente de pruebas: una aplicacion del teorema de inversion a la inteligencia artificial».
Tesis doctoral de Martinez Vidal M. Concepcion Datos académicos de la tesis doctoral ««de la teoria del significado en
La logica inductiva probabilitaria de r.carnap y la logica inductiva neoclasica de l.j.cohen. semejanzas y diferencias.
Tesis doctoral de Diego Aisa Moreu Datos académicos de la tesis doctoral «La logica inductiva probabilitaria de r.carnap y
Estudio, implementación y evaluación de un tutor inteligente para el aprendizaje de lógica computacional basado en modelos y apoyado en conocimiento
Tesis doctoral de José Alberto Maestro Prieto La tesis desarrolla un sistema tutor inteligente para la enseñanza de lógica computacional.
Modelos formales de explicacón en lógica e inteligencia artificial
Tesis doctoral de Fernando Soler Toscano La abducción es el tipo de razonamiento en que, dada una teoría t (habitualmente
Non classical systems for uncertain reasoning: non monotonic logics with non classical bases
Tesis doctoral de Enrico Marchioni En este trabajo, investigamos la definibilidad de las clases de t-normas y uninormas en la
Modal logic (of predicates) and (partial and heterogeneous) non-classical logic.
Tesis doctoral de Huertas Sanchez M. Antonia En esta tesis se estudia la logica modal de predicados. cuando esta es