Projects

Proyectos futuros

1. APLI2S (APLIcaciones de Ayuda Para Lógica Informática)
2. Solución declarativa de problemas
3. Verificación de sistemas SAT
4. Verificación de traductores de problemas combinatorios en SAT
5. Proyectos relacionados

Proyectos pasados

1. 2004-08 Sistemas verificados para el razonamiento en la web semántica. (MEC TIN2004-038844).

   Directed by José A. Alonso Jiménez.

2. 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.

3. 2000-03 Development and formal verification of reasoning systems (DGI TIC2000-1368-C03-02)

   Directed by José A. Alonso Jiménez.

4. 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.

5. 1997-00 Verification of knowledge bases and reasoning systems (DGES PB96-0098-C04-04)

   Directed by José A. Alonso Jiménez.

6. 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.

7. 1997-00 Classification of the computable functions by means of arithmetic specifications: methodology and design (DGES PB96-1345)

   Directed by Alejandro Fernández Margarit.

8. 1995-96 Verification of expert systems: formal models and implementation (DGICYT PB 94-0424)

   Directed by Luis M. Laita de la Rica.

9. 1992-93 Verification of knowledge bases in expert systems II (CICYT TIC 92-1191)

   Directed by Luis M. Laita de la Rica.

10. 1992-93 A model for verification of expert systems (CICYT TIC 92-0069)

    Directed by Luis M. Laita de la Rica.

11. 1990-91 Verification of knowledge bases in expert systems II (PRONTIC 90-2738)

    Directed by Luis M. Laita de la Rica.