Lke: una metodología para la adquisicion de conocimiento en los sistemas expertos.
Tesis doctoral de Mª Jose Dominguez Alda La adquisición del conocimiento en forma de reglas de inferencia o ingeniería del […]
Tesis doctoral de Luis María Laita De La Rica
Información academica Luis María Laita De La Rica. Tesis donde Luis María Laita De La Rica ha sido autor, director o parte del tribunal.
Razonamiento mereotopológico automatizado para la depuración de ontologías
Tesis doctoral de Chávez González Antonia María La memoria se enmarca dentro del campo de la verificación de bases de
Teoria e implementacion de modelos computacionales de comportamientos inteligentes perspicaces (insight)
Tesis doctoral de Antonio Hernando Esteban La tesis presenta un programa que simula ciertos cambios de representación y la perspicacia
Definición de un agente inteligente para la intercomunicabilidad automática de sistemas de aprendizaje basados en internet
Tesis doctoral de José María Gutiérrez Martínez La presente tesis aborda las últimas tendencias en la revolución de los sistemas
Tecnicas avanzadas de compilacion basadas en interpretacion abstracta y transformacion de programas.
Tesis doctoral de Álvaro Germán Puebla Sánchez El análisis estáticos de programas juega un papel cada vez más importante en
Propuesta arquitectural y metodologica para la integracion de un modulo inteligente de tutorizacion en sistemas de aprendizaje basados en internet.
Tesis doctoral de José Javier Martínez Herraíz Esta tesis tiene como objetivo proponer una arquitectura para la construcción de sistemas
Verificación formal en acl2 del algoritmo de buchberger
Tesis doctoral de Inmaculada Medina Bulo En este trabajo se han desarrollado los elementos necesarios para especificar, implementar y verificar
Ictneo: un sistema de ayuda a la decisión para el tratamiento de la ictericia en recién nacidos
Tesis doctoral de Manuel Gómez Olmedo En la toma de decisiones en medicina se precisan de sistemas de ayuda a
Una teoria computacional acerca de la logica ecuacional (formalizacion en acl2 de la logica ecuacional y demostracion automatica de sus propiedades)
Tesis doctoral de José Luis Ruiz Reina El objetivo principal de la tesis es el desarrollo de una teoria computacional
Sistema basado en conocimiento para la ayuda en el diagnóstico del cansancio en el desempeño del rol del cuidador
Tesis doctoral de María Lourdes Jiménez Rodríguez En la realidad económica, política, educativa y en general en cualquier actividad profesional