Diferencia entre revisiones de «Projects»
(→Proyectos futuros) |
|||
| (No se muestran 13 ediciones intermedias de 5 usuarios) | |||
| Línea 1: | Línea 1: | ||
== Proyectos futuros == | == Proyectos futuros == | ||
| − | # [[ | + | # [[Razonamiento formalizado]] |
# [[APLI2S (APLIcaciones de Ayuda Para Lógica Informática)]] | # [[APLI2S (APLIcaciones de Ayuda Para Lógica Informática)]] | ||
# [[Solución declarativa de problemas]] | # [[Solución declarativa de problemas]] | ||
| Línea 9: | Línea 9: | ||
== Proyectos en ejecución == | == Proyectos en ejecución == | ||
| − | # 2008-2009 Weteve (Proyecto Minerva plataforma de servicios en movilidad 2C-040) | + | |
| − | #: | + | # 2009-2010 [[Gestión Mecanizada del conocimiento matemático]]. (MTM2009-13842-C02-02, subprograma MTM) |
| + | #: Investigador principal: José Luis Ruiz Reina | ||
| + | # 2009-2012 [[Marco Lógico-computacional para la evolución de teorías sobre conceptos formales (TIN2009-09492, subprograma TIN)]] | ||
| + | #: Investigador principal: Joaquín Borrego Díaz | ||
| + | # 2008-2009 [[Weteve (Proyecto Minerva plataforma de servicios en movilidad 2C-040)]] | ||
| + | #: Director: Joaquín Borrego Díaz | ||
== Proyectos pasados == | == Proyectos pasados == | ||
| − | # 2004-08 Sistemas verificados para el razonamiento en la web semántica. (MEC TIN2004-038844). | + | # 2004-08 [[Sistemas verificados para el razonamiento en la web semántica]]. (MEC TIN2004-038844). |
| − | #: | + | #: Directed by José A. Alonso Jiménez. |
| + | # 2008 [[Realización del Estudio del Arte para el Proyecto EVAPREX]]. (FIDETIA P029-08/E19). | ||
| + | #: Directed by {{fmartin}}. | ||
| + | # 2007-08 [[Investigación de los Factores Críticos de los Procesos de Fabricación Básicos del Sector Aeronáutico Andaluz, SENSOR-IA]]. (FIDETIA P044-07/E19). | ||
| + | #: Directed by {{fmartin}}. | ||
# 2003-06 Development and verification of Intelligent Systems with logic and algebraic technics. Evolution of information systems. Theory and interdisciplinary applications (en tramitación) | # 2003-06 Development and verification of Intelligent Systems with logic and algebraic technics. Evolution of information systems. Theory and interdisciplinary applications (en tramitación) | ||
#: Directed by Luis M. Laita de la Rica. | #: Directed by Luis M. Laita de la Rica. | ||
Revisión actual del 10:56 18 oct 2013
Proyectos futuros
- Razonamiento formalizado
- APLI2S (APLIcaciones de Ayuda Para Lógica Informática)
- Solución declarativa de problemas
- Programas sencillos para problemas complejos
- Verificación de sistemas SAT
- Verificación de traductores de problemas combinatorios en SAT
- Proyectos relacionados
Proyectos en ejecución
- 2009-2010 Gestión Mecanizada del conocimiento matemático. (MTM2009-13842-C02-02, subprograma MTM)
- Investigador principal: José Luis Ruiz Reina
- 2009-2012 Marco Lógico-computacional para la evolución de teorías sobre conceptos formales (TIN2009-09492, subprograma TIN)
- Investigador principal: Joaquín Borrego Díaz
- 2008-2009 Weteve (Proyecto Minerva plataforma de servicios en movilidad 2C-040)
- Director: Joaquín Borrego Díaz
Proyectos pasados
- 2004-08 Sistemas verificados para el razonamiento en la web semántica. (MEC TIN2004-038844).
- Directed by José A. Alonso Jiménez.
- 2008 Realización del Estudio del Arte para el Proyecto EVAPREX. (FIDETIA P029-08/E19).
- Directed by Francisco J. Martín.
- 2007-08 Investigación de los Factores Críticos de los Procesos de Fabricación Básicos del Sector Aeronáutico Andaluz, SENSOR-IA. (FIDETIA P044-07/E19).
- Directed by Francisco J. Martín.
- 2003-06 Development and verification of Intelligent Systems with logic and algebraic technics. Evolution of information systems. Theory and interdisciplinary applications (en tramitación)
- Directed by Luis M. Laita de la Rica.
- 2000-03 Development and formal verification of reasoning systems (DGI TIC2000-1368-C03-02)
- Directed by José A. Alonso Jiménez.
- 2000-03 Development and verification of Expert Systems with logic and algebraic technics. Theory and interdisciplinary applications (DGI TIC2000-1368-C03)
- Directed by Luis M. Laita de la Rica.
- 1997-00 Verification of knowledge bases and reasoning systems (DGES PB96-0098-C04-04)
- Directed by José A. Alonso Jiménez.
- 1997-00 Verification and automatic extraction of conclusions in knowledge and information systems. Theoretical foundations and implementation (DGES PB96-0098-C04)
- Directed by Luis M. Laita de la Rica.
- 1997-00 Classification of the computable functions by means of arithmetic specifications: methodology and design (DGES PB96-1345)
- Directed by Alejandro Fernández Margarit.
- 1995-96 Verification of expert systems: formal models and implementation (DGICYT PB 94-0424)
- Directed by Luis M. Laita de la Rica.
- 1992-93 Verification of knowledge bases in expert systems II (CICYT TIC 92-1191)
- Directed by Luis M. Laita de la Rica.
- 1992-93 A model for verification of expert systems (CICYT TIC 92-0069)
- Directed by Luis M. Laita de la Rica.
- 1990-91 Verification of knowledge bases in expert systems II (PRONTIC 90-2738)
- Directed by Luis M. Laita de la Rica.
