Representacion del conocimiento y demostracion automatica mediante sistemas de logica modal ocasional.
Tesis doctoral de Anselmo Romaniega Langa Se definen axiomatica y semanticamente varios sistemas de logica modal ocasionalen base a una […]
Tesis doctoral de Juan Pazos Sierra
Información academica Juan Pazos Sierra. Tesis donde Juan Pazos Sierra ha sido autor, director o parte del tribunal.
Programas abiertos como principio del metodo de teoria en inteligencia artificial
Tesis doctoral de Juan Pazos Sierra Esta tesis pretende sentar las bases para la construccion de una teoria de la
Formalización del paradigma de desarrollo de soluciones software por sus usuarios finales
Tesis doctoral de David Lizcano Casas El siguiente paso lógico en la evolución de las aplicaciones basadas en servicios existentes
Modelo basado en navegacion y composicion de vistas para el desarrollo de aplicaciones web semanticas
Tesis doctoral de Angel Lopez Cima Esta tesis presenta el proceso que se sigue para desarrollar aplicaciones web basadas en
Biomarcadores y nanoinformática en la enfermedad de parkinson: un modelo integrado de gestión del conocimiento para facilitar la medicina personalizada
Tesis doctoral de Fernando Martín Sánchez Este trabajo describe un modelo para la gestión del conocimiento científico y la evidencia
Integración automática de datos epidemiológicos distribuidos basada en ontologías
Tesis doctoral de José Manuel Vázquez Naya La epidemiología es la ciencia que estudia la distribución y los determinantes de
Ontology metadata management in distributed environment
Tesis doctoral de Raúl Antonio Palma De León En esta tesis se aborda la gestión de cambios en ontologías en
La experimentación crucial basada en una teoría de holones e informones para el desarrollo de software
Tesis doctoral de Sonia María Suárez Garaboa A pesar de estar estrechamente relacionados, la lenta evolución del software contrasta con
Computación evolutiva para el proceso de selección de variables en espacios de búsqueda multimodales
Tesis doctoral de Marcos Gestal Pose Esta tesis se enmarca dentro de la problemática de la selección de variables en
Método de ingeniería de requisitos para manejo de discrepancias
Tesis doctoral de Andrés Silvia Vazquez La ingeniería de requisitos (ir) y en particular; la ingeniería de requisitos orientada a