Projects

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

  Directed by José A. Alonso Jiménez.

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