- idUS
- Investigación
- Ingeniería y Arquitectura
- Ciencias de la Computación e Inteligencia Artificial
- Tesis (Ciencias de la Computación e Inteligencia Artificial)
- Listar Tesis (Ciencias de la Computación e Inteligencia Artificial) por autor
Listar Tesis (Ciencias de la Computación e Inteligencia Artificial) por autor "Alonso Jiménez, José Antonio"
Mostrando ítems 1-7 de 7
-
Tesis Doctoral
Formalización en Isar de la metalógica de primer orden
Serrano Suárez, Fabián Fernando (2012-06-12)El objetivo del trabajo es formalizar razonamiento complejo de forma legible por los humanos y procesable por las máquinas. ...
-
Tesis Doctoral
Métodos algebraicos de razonamiento automático
Alonso Jiménez, José Antonio (1988) -
Tesis Doctoral
Operadores de generalización para el aprendizaje clausal
Gutiérrez Naranjo, Miguel Ángel (2002)"En esta memoria hemos estudiado los procesos de generalización, el paso de lo particular a lo general, cuando la información ...
-
Tesis Doctoral
Teoría computacional (en ACL2) sobre cálculos proposicionales
Martín Mateos, Francisco Jesús (2002)En este trabajo se desarrolla una formalización de sistemas de razonamiento proposicionales y se verifican automáticamente sus principales propiedades en el sistema de demostración automática ACL2.
-
Tesis Doctoral
Una teoría computacional acerca de la lógica ecuacional formalización en ACL2 de la lógica ecuacional y demostración automática de sus propiedades
Ruiz Reina, José Luis (2001)El objetivo principal de la Tesis es el desarrollo de una teoría computacional acerca de la lógica ecuacional, usando para ...
-
Tesis Doctoral
Técnicas de depuración e integración de ontologías en el ámbito empresarial
Paredes Moreno, Antonio (2007) -
Tesis Doctoral
Verificación formal en ACL2 del Algoritmo de Buchberger
Medina Bulo, Inmaculada (2003-12-18)En este trabajo se han desarrollado los elementos necesarios para especificar, implementar y verificar la correción del ...