María José Hidalgo Doblado

Profesora Titular de Ciencias de la Computación e Inteligencia Artificial

Asignaturas impartidas

• Informática (1º Matemáticas)
• Inteligencia artificial I (4º Ingeniería Informática)
• Lógica Informática (2º Ingeniería Informática)
• Representacin del conocimiento y automatizacin del razonamiento (Libre configuracin)
• Asignaturas de cursos anteriores.

Publicaciones

• María-José Hidalgo, José-Antonio Alonso, Francisco-Jesus Martin-Mateos and José-Luis Ruiz-Reina. Constructing Formally Verified Reasoners for the image Description Logic. Published at Proceedings of the 3rd International Workshop on Automated Specification and Verification of Web Systems (WWV 2007), Electronic Notes in Theoretical Computer Science Systems, Volume 200, Issue 3, Pages 1-188 (23 May 2008)
• María-José Hidalgo, José-Antonio Alonso, Joaquín Borrego-Díaz, Francisco-Jesus Martin-Mateos and José-Luis Ruiz-Reina A formally verified prover for the ALC description logic. Published at Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Lecture Notes in Computer Science 4732 (pg. 135-150).
• Publicaciones anteriores.

Horario de tutorías:

• Miércoles de 15:00 a 17:30, Jueves, de 9:00 a 10:30 y Viernes, de 11:30 a 11:30