Modelizacion de los principales mecanismos del funcionamiento del sistema nervioso de los seres vivos.
Tesis doctoral de Vico Vela Francisco Jose En este trabajo se modelan los principales mecanismos del funcionamiento del sistema nervioso […]
Tesis doctoral sobre Inteligencia artificial
Accede a todas las tesis doctorales sobre Inteligencia artificial mas relevantes.
Tecnicas de transformacion de programas logicos para su optimizacion y paralelizacion automatica
Tesis doctoral de Francisco Bueno Carrillo La tesis propone transformaciones de programas logicos que tienen por objetivo su optimizacion mediante
The calculus of refinements: a formal specification model based on inclusions
Tesis doctoral de Jordi Levy Diaz Datos académicos de la tesis doctoral «The calculus of refinements: a formal specification
Sobre la representacion y el conocimiento temporal en sistemas basados en conocimientos.
Tesis doctoral de LLuis Vila Grabulosa Esta tesis explora la representacion del tiempo y el razonamiento automatico sobre este en
Modularization, uncertainty, reflective control and deduction by specialization in milord ii, a language for knowledge-based systems.
Tesis doctoral de Josep Puyol Gruart Milord ii es un lenguaje para el desarrollo de sistemas expertos. En particular para
Desarrollo de aplicaciones a nivel cognitivo mediante entornos de conocimiento estructurado
Tesis doctoral de Martin Molina Gonzalez En la tesis se propone una entidad descriptiva para formulacion de modelos estructurados de
Neuristicas y metaconocimiento en resolucion automatica de problemas de matematicas.
Tesis doctoral de Pablo Castells Azpilicueta La tesis describe diversa tecnicas de resolucion automatica de problemas cientificos de un nivel
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
Fundamentacion de un sistema para la resolucion automatica de problemas
Tesis doctoral de Francisco Saiz Lopez Se describe un sistema, progenes, que permite resolver automaticamente un alto porcentaje de problemas
Tutor inteligente de aplicacion a la didactica general
Tesis doctoral de Angel Velasco Zamora Despues de revisar el «estado del arte» de los sistemas inteligentes de tutoria, y