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 […]
Tesis doctoral sobre Logica deductiva
Accede a todas las tesis doctorales sobre Logica deductiva mas relevantes.
Bases de gÁ¶bner: desarrollo formal en coq
Tesis doctoral de Gilberto Pérez Vega En primer lugar, se aborda, de forma ajustada a lo que se va a
Sistema integrado de gestión logistica optimizada
Tesis doctoral de José Luis Risco Martin El modelo de problemas de optimización es un proceso complejo compuesto de múltiples
Estructuras casi-modales e implicativas generalizadas.
Tesis doctoral de Jorge Castro Se muestra que las estructuras casi-modales generalizan a los retículos modales.Mientras que las del segundo
Extensiones del paradigma multiadjunto: programación lógica con multirretículos y aplicaciones al análisis formal de conceptos
Tesis doctoral de Jorge Ruiz Calviño Este trabajo se enmarca en el área de los fundamentos matemáticos para la informática,
El proceso de generalizacion desarrollado por alumnos de secundaria en problemas de generalizacion lineal.
Tesis doctoral de Juan Antonio García Cruz La memoria de investigación presenta tres estudios dedicados al proceso de generalización. Dentro
Investigaciones sobre gramáticas categoriales: algoritmos de parsing y equiValencia entre formalismos
Tesis doctoral de José Antonio Jimenez Millan Esta tesis doctoral muestra el resultado de una investigación sobre la utilización del
Desde especificaciones lógicas de intervalos a autómatas de propiedad: una construcción tableau para su aplicación en comprobación de modelos on-the-fly
Tesis doctoral de Hornos Barranco Miguel Juan Este trabajo constituye el punto de partida para la verificación automática de sistemas
Teoría computacional (en acl2) sobre cálculos proposicionales
Tesis doctoral de Francisco Jesús Martín Mateos En este trabajo se desarrolla una formalización de sistemas de razonamiento proposicionales y
Operadores de generalización para el aprendizaje clausal
Tesis doctoral de Miguel Angel Gutierrez Naranjo En esta memoria hemos estudiado los procesos de generalización, el paso de lo