María J. Hidalgo Doblado
Grupo de Lógica Computacional
Dpto. de Ciencias de la Computación e Inteligencia
Artificial
E.T.S. de Ingeniería Informática y
Facultad de Matemáticas
Universidad de Sevilla
Correo electrónico:
mjoseh (arroba) us (punto) es
Teléfono: 954557882. Fax: 954556599.
Asignaturas y seminarios impartidos durante el curso 2011-12
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
- Lunes, de 9:30 a 11:30, Martes, de 10:00 a 12:00 y
Jueves, de 11:30 a 13:30.