Logotipo de Universidad de Sevilla
VICERRECTORADO DE INVESTIGACIÓN
Logotipo Andalucía Tech
Letras Universidad de Sevilla

Ficha personal - María José Hidalgo Doblado


María José Hidalgo Doblado
Telefono: 95.455.78.82
Email: Solicitar correo
Perfil en ORCID: 0000-0002-3067-9363
Perfil en Scopus: 7101654993

Grupo de Investigación: Logica, Computacion e Ingenieria del Conocimiento
Departamento/Unidad: Ciencias de la Computación e Inteligencia Artificial
Situación profesional: Profesora Titular de Universidad

Participa en los siguientes proyectos/ayudas en la US:

  • Proyectos:
    • Lógica Computacional para la Ciencia del Dato (TIN2013-41086-P - Equipo de Investigación)
    • Gestión mecanizada del conocimiento matemático. Aplicaciones en lógica (MTM2009-13842-C02-02 - Investigador)
    • Sistemas verificados para razonamiento en la Web semántica (TIN2004-03884 - Investigador)
    • Desarrollo y verificación formal de sistemas de razonamiento (TIC2000-1368-C03-02 - Investigador)

  • Ayudas:
    • Incentivo al Grupo de Investigación TIC-137 (2017/TIC-137 - Investigador)
    • Ayuda a la Consolidación del Grupo de Investigación TIC-137 (2007/TIC-137 - Investigador)
    • Ayuda a la Consolidación del Grupo de Investigación TIC-137 (2006/TIC-137 - Investigador)
    • Ayuda a la Consolidación del Grupo de Investigación TIC-137 (2005/TIC-137 - Investigador)

Cobertura de la base de datos de proyectos, véase aqui


Publicaciones:

Libros
Alonso Jimenez, Jose Antonio, Riscos Nuñez, Agustin, Valencia Cabrera, Luis, Aranda Corral, Gonzalo A., Chavez Gonzalez, Antonia Mª, et. al.:
Exámenes de Programación funcional con Haskell (2009-2015). OpenLibra. 2015. 602

Capítulos en Libros
Alonso Jimenez, Jose Antonio, Aranda Corral, Gonzalo A., Borrego Diaz, Joaquin, Fernandez Lebron, Magdalena, Hidalgo Doblado, Maria Jose:
Extending Attribute Explorations by Means of Boolean Derivatives. Vol. 1. Pag. 121-132. En: Proceedings of the Sixth International Conference on Concept Lattices and Their Applications. Olomouc, Chequia. Radim Belohlavek and Sergei O. Kuznetsov. 2008. ISBN 978-80-244-2111-7

Ruiz Reina, Jose Luis, Alonso Jimenez, Jose Antonio, Hidalgo Doblado, Maria Jose, Martín Mateos, Francisco Jesús:
Termination in Acl2 Using Multiset Relation. Vol. 28. Pag. 217-245. En: Thirty Five Years of Automating Mathematics. Dordrecht, Holanda. Kluwer Academic Publishers. 2003. ISBN 1-4020-1656-5

Martín Mateos, Francisco Jesús, Alonso Jimenez, Jose Antonio, Hidalgo Doblado, Maria Jose, Ruiz Reina, Jose Luis:
Formal Verification of Molecular Computational Models in Acl2: a Case Study. Vol. I. Pag. 235-244. En: CAEPIA-TTIA 2003. San Sebastián. Universidad del País Vasco. 2003. ISBN 84-8373-564-4

Alonso Jimenez, Jose Antonio, Hidalgo Doblado, Maria Jose, Martín Mateos, Francisco Jesús, Ruiz Reina, Jose Luis:
Formalización del Razonamiento Ecuacional en una Lógica Computacional. Vol. II. Pag. 41-50. En: Actas del Encuentro de Matemáticos Andaluces. Secretariado de Publicaciones - Universidad de Sevilla. 2001. ISBN 84-472-0290-9

Ruiz Reina, Jose Luis, Alonso Jimenez, Jose Antonio, Hidalgo Doblado, Maria Jose:
Formalizing Rewriting in the Acl2 Theorem Prover. Pag. 92-106. En: 5th International Conference on Artificial Intelligence and Symbolic Computation. 2000. ISBN 3-540-42071-1

Ruiz Reina, Jose Luis, Alonso Jimenez, Jose Antonio, Hidalgo Doblado, Maria Jose, Martín Mateos, Francisco Jesús:
Verificación Automática de Sistemas de Razonamiento (Aplicación a la Enseñanza de la Inteligencia Artificial). Pag. 297-304. En: IV Jornades Sobre L'ensenyament Universitari de la Informatica (Jenui 98). . Barcelona, España. Enginyeria I Arquitectura la Salle. 1998. ISBN 84-922538-3-5

Martín Mateos, Francisco Jesús, Alonso Jimenez, Jose Antonio, Hidalgo Doblado, Maria Jose, Ruiz Reina, Jose Luis:
Razonamiento Automático en Sistemas de Representación del Conocimiento (y su Relación con la Enseñanza de la Inteligencia Artificial). Pag. 289-296. En: IV Jornades Sobre L'ensenyament Universitari de la Informatica (Jenui 98). . Barcelona, España. Enginyeria I Arquitectura la Salle. 1998. ISBN 84-922538-3-5

Publicaciones en Revistas
Alonso Jimenez, Jose Antonio, Aranda Corral, Gonzalo A., Borrego Diaz, Joaquin, Fernandez Lebron, Magdalena, Hidalgo Doblado, Maria Jose:
A logic-algebraic tool for reasoning with Knowledge-Based Systems. En: Journal of Logical and Algebraic Methods in Programming. 2018. Vol. 101. Núm. 1. Pag. 88-109. https://doi.org/10.1016/j.jlamp.2018.09.001

Alonso Jimenez, Jose Antonio, Hidalgo Doblado, Maria Jose, Borrego Diaz, Joaquin, Martín Mateos, Francisco Jesús, Ruiz Reina, Jose Luis:
Formally Verified Tableau-Based Reasoners for a Description Logic. En: Journal of Automated Reasoning. 2014. Vol. 52. Núm. 3. Pag. 331-360. 10.1007/s10817-013-9291-8

Martín Mateos, Francisco Jesús, Ruiz Reina, Jose Luis, Alonso Jimenez, Jose Antonio, Hidalgo Doblado, Maria Jose:
Proof Pearl: a Formal Proof of Higman's Lemma in Acl2. En: Journal of Automated Reasoning. 2011. Vol. 47. Núm. 3. Pag. 229-250. 10.1007/s10817-010-9178-x

Alonso Jimenez, Jose Antonio, Hidalgo Doblado, Maria Jose, Martin Mateos, Francisco Jesus, Ruiz Reina, Jose Luis:
Constructing Formally Verified Reasoners for the Alc Description Logic. En: Electronic Notes in Theoretical Computer Science. 2008. Vol. 200. Núm. 3. Pag. 87-102

Alonso Jimenez, Jose Antonio, Borrego Diaz, Joaquin, Hidalgo Doblado, Maria Jose, Martín Mateos, Francisco Jesús, Ruiz Reina, Jose Luis:
A Formally Verified Prover for the Alc Description Logic. En: Lecture Notes in Computer Science. 2007. Vol. 4732. Pag. 135-150

Ruiz Reina, Jose Luis, Martin Mateos, Francisco Jesus, Alonso Jimenez, Jose Antonio, Hidalgo Doblado, Maria Jose:
Formal Correctness of a Quadratic Unification Algorithm. En: Journal of Automated Reasoning. 2006. Vol. 37. Núm. 1-2. Pag. 67-92

Martin Mateos, Francisco Jesus, Ruiz Reina, Jose Luis, Alonso Jimenez, Jose Antonio, Hidalgo Doblado, Maria Jose:
Proof Pearl: a Formal Proof of Higman S Lemma in Acl2. En: Lecture Notes in Computer Science. 2005. Vol. 3603. Pag. 358-372

Ruiz Reina, Jose Luis, Alonso Jimenez, Jose Antonio, Hidalgo Doblado, Maria Jose, Martin Mateos, Francisco Jesus:
Formal Reasoning About Efficient Data Structures: a Case Study in Acl2. En: Lecture Notes in Computer Science. 2004. Vol. 3018. Pag. 75-91

Martin Mateos, Francisco Jesus, Alonso Jimenez, Jose Antonio, Hidalgo Doblado, Maria Jose, Ruiz Reina, Jose Luis:
Formal Verification of a Generic Framework to Synthesize SAT-Provers. En: Journal of Automated Reasoning. 2004. Vol. 32. Núm. 4. Pag. 287-313

Alonso Jimenez, Jose Antonio, Hidalgo Doblado, Maria Jose, Martin Mateos, Francisco Jesus, Ruiz Reina, Jose Luis:
Verification of the Formal Concept Analysis. En: Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales - Serie A: Matematicas. 2004. Vol. 98. Núm. 1-2. Pag. 3-16

Martin Mateos, Francisco Jesus, Alonso Jimenez, Jose Antonio, Hidalgo Doblado, Maria Jose, Ruiz Reina, Jose Luis:
Formal Verification of Molecular Computational Models in Acl2: a Case Study. En: Lecture Notes in Computer Science. 2004. Vol. 3040. Pag. 344-353

Martin Mateos, Francisco Jesus, Alonso Jimenez, Jose Antonio, Hidalgo Doblado, Maria Jose, Ruiz Reina, Jose Luis:
Verification in Acl2 of a Generic Framework to Synthesize SAT-Provers. En: Lecture Notes in Computer Science. 2003. Vol. 2664. Pag. 182-198

Martin Mateos, Francisco Jesus, Alonso Jimenez, Jose Antonio, Hidalgo Doblado, Maria Jose, Ruiz Reina, Jose Luis:
A Formal Proof of Dickson's Lemma in Acl2. En: Lecture Notes in Computer Science. 2003. Vol. 2850. Pag. 49-58

Ruiz Reina, Jose Luis, Alonso Jimenez, Jose Antonio, Hidalgo Doblado, Maria Jose, Martin Mateos, Francisco Jesus:
Formal Proofs About Rewriting Using Acl2. En: Annals of Mathematics and Artificial Intelligence. 2002. Vol. 36. Núm. 3. Pag. 239-262

Ruiz Reina, Jose Luis, Alonso Jimenez, Jose Antonio, Hidalgo Doblado, Maria Jose, Martin Mateos, Francisco Jesus:
Formalizing Rewriting in the Acl2 Theorem Prover. En: Lecture Notes in Computer Science. 2001. Vol. 1930. Pag. 92-106

Martin Mateos, Francisco Jesus, Alonso Jimenez, Jose Antonio, Hidalgo Doblado, Maria Jose, Ruiz Reina, Jose Luis:
Verifying an Applicative ATP Using Multiset Relations. En: Lecture Notes in Computer Science. 2001. Vol. 2178. Pag. 612-626

Aportaciones a Congresos
Hidalgo Doblado, Maria Jose, Alonso Jimenez, Jose Antonio, Martín Mateos, Francisco Jesús, Ruiz Reina, Jose Luis:
Constructing Formally Verified Reasoners for the Alc Description Logic. Comunicación en congreso. Third International Workshop on Automated Specification and Verification of Web Systems. Venecia, Italia. 2007. Proceedings of the 3rd International Workshop on Automated Specification and Verification of Web Systems. 87. 102

Alonso Jimenez, Jose Antonio, Borrego Diaz, Joaquin, Hidalgo Doblado, Maria Jose, Martín Mateos, Francisco Jesús, Ruiz Reina, Jose Luis:
A Formally Verified Prover for the Alc Description Logic. Comunicación en congreso. Theorem Proving in Higher Order Logics. Kaiserslautern, Alemania. 2007. Theorem Proving in Higher Order Logics. 135. 150

Martín Mateos, Francisco Jesús, Ruiz Reina, Jose Luis, Alonso Jimenez, Jose Antonio, Hidalgo Doblado, Maria Jose:
Proof Pearl: a Formal Proof of Higman's Lemma in Acl2. Comunicación en congreso. Theorem Proving in Higher Order Logics. Oxford, Reino Unido. 2005. Theorem Proving in Higher Order Logics. 358. 372

Alonso Jimenez, Jose Antonio, Hidalgo Doblado, Maria Jose, Martín Mateos, Francisco Jesús, Ruiz Reina, Jose Luis:
A Formally Verified Proof (in PVS) of the Strong Completeness Theorem of Propositional Sld-Resolution. Comunicación en congreso. Computer Aided Systems Theory. Las Palmas de Gran Canaria, España. 2005. Cast and Tools for Robotics, Vehicular and Communication Systems. 83. 86

Ruiz Reina, Jose Luis, Alonso Jimenez, Jose Antonio, Hidalgo Doblado, Maria Jose, Martín Mateos, Francisco Jesús:
A Formally Verified Quadratic Unification Algorithm. Comunicación en congreso. Fifth International Workshop on the Acl2 Theorem Prover and Its Applications. Austin, Texas, USA. 2004

Ruiz Reina, Jose Luis, Alonso Jimenez, Jose Antonio, Hidalgo Doblado, Maria Jose, Martín Mateos, Francisco Jesús:
Formal Reasoning About Efficient Data Structures: a Case Study in Acl2. Comunicación en congreso. International Workshop on Logic Based Program Synthesis and Transformation. Uppsala, Suecia. 2003. LOPSTR 2003, Preproceedings of the International Symposium of Logic Based Program Synthesis and Transformation. 97. 112

Martín Mateos, Francisco Jesús, Alonso Jimenez, Jose Antonio, Hidalgo Doblado, Maria Jose, Ruiz Reina, Jose Luis:
A Formal Proof of Dickson's Lemma in Acl2. Comunicación en congreso. International Conference on Logic for Programming, Artificial Intelligence and Reasoning. Almaty, Kazakhstan. 2003. Proceedings of the International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2003. 49. 58

Martín Mateos, Francisco Jesús, Alonso Jimenez, Jose Antonio, Hidalgo Doblado, Maria Jose, Ruiz Reina, Jose Luis:
Formal Verification of Molecular Computational Models in Acl2: a Case Study. Comunicación en congreso. Conferencia de la Asociación Española para la Inteligencia Artificial. San Sebastian, España. 2003. X Conferencia de la Asocicación Española para la Inteligencia Artificial. 235. 240

Alonso Jimenez, Jose Antonio, Borrego Diaz, Joaquin, Hidalgo Doblado, Maria Jose, Martín Mateos, Francisco Jesús, Ruiz Reina, Jose Luis:
Una Introducción al Análisis Formal de Conceptos en PVS. Comunicación en congreso. I Taller Iberoamericano Sobre Deduccion Automatica e Inteligencia Artificial. Santander (ESPAÑA). 2002

Martín Mateos, Francisco Jesús, Alonso Jimenez, Jose Antonio, Hidalgo Doblado, Maria Jose, Ruiz Reina, Jose Luis:
Desarrollo Formal y Verificación de Sistemas Proposicionales. Comunicación en congreso. I Taller Iberoamericano Sobre Deduccion Automatica e Inteligencia Artificial. Santander (ESPAÑA). 2002

Martín Mateos, Francisco Jesús, Alonso Jimenez, Jose Antonio, Hidalgo Doblado, Maria Jose, Ruiz Reina, Jose Luis:
Verification in Acl2 of a Generic Framework to Synthesize SAT-Provers. Comunicación en congreso. International Workshop on Logic Based Program Development and Transformation. 2002. Preproceedings of the International Workshop on Logic Based Program Development and Transformation. 182. 197

Ruiz Reina, Jose Luis, Alonso Jimenez, Jose Antonio, Hidalgo Doblado, Maria Jose, Martín Mateos, Francisco Jesús:
Progress Report: Term Dags Using Stobjs. Comunicación en congreso. 3rd International Workshop on the Acl2 Theorem Prover and Its Applications. 2002. 3rd International Workshop on the Acl2 Theorem Prover and Its Applications. 101. 108

Ruiz Reina, Jose Luis, Alonso Jimenez, Jose Antonio, Hidalgo Doblado, Maria Jose, Martín Mateos, Francisco Jesús:
A Theory About First-Order Terms in Acl2. Comunicación en congreso. 3rd International Workshop on the Acl2 Theorem Prover and Its Applications. 2002. 3RD International Conference on Pain and Physiotherapy. 78. 100

Martín Mateos, Francisco Jesús, Alonso Jimenez, Jose Antonio, Hidalgo Doblado, Maria Jose, Ruiz Reina, Jose Luis:
A Generic Instantiation Tool and a Case Study: a Generic Multiset Theory. Comunicación en congreso. 3rd International Workshop on the Acl2 Theorem Prover and Its Applications. 2002. 3RD International Conference on Pain and Physiotherapy. 188. 203

Alonso Jimenez, Jose Antonio, Borrego Diaz, Joaquin, Hidalgo Doblado, Maria Jose, Ruiz Reina, Jose Luis:
Una Introducción al Análisis Formal de Conceptos en PVS. Comunicación en congreso. I Taller Iberoamericano Sobre Deduccion Automatica e Inteligencia Artificial. Santander (ESPAÑA). 2002. I Taller Iberoamericano Sobre Deduccion Automatica e Inteligencia Artificial. 33. 46

Alonso Jimenez, Jose Antonio, Hidalgo Doblado, Maria Jose, Ruiz Reina, Jose Luis:
Desarrollo Formal y Verificación de Sistemas Proposicionales. Comunicación en congreso. I Taller Iberoamericano Sobre Deduccion Automatica e Inteligencia Artificial. Santander (ESPAÑA). 2002. I Taller Iberoamericano Sobre Deduccion Automatica e Inteligencia Artificial. 33. 46

Ruiz Reina, Jose Luis, Alonso Jimenez, Jose Antonio, Hidalgo Doblado, Maria Jose, Martín Mateos, Francisco Jesús:
Verificación Formal y Eficiencia: un Caso de Estudio Aplicado a la Unificación de Términos. Comunicación en congreso. I Taller Iberoamericano Sobre Deduccion Automatica e Inteligencia Artificial. Santander (ESPAÑA). 2002. I Taller Iberoamericano Sobre Deduccion Automatica e Inteligencia Artificial. 77. 90

Martín Mateos, Francisco Jesús, Alonso Jimenez, Jose Antonio, Hidalgo Doblado, Maria Jose, Ruiz Reina, Jose Luis:
Verifying an Applicative ATP Using Multiset Relations. Comunicación en congreso. 7th International Conference on Computer Aided Systems Theory. Las Palmas de Gran Canaria. 2001. Eurocast 2001 Conference. 612. 626

Alonso Jimenez, Jose Antonio, Hidalgo Doblado, Maria Jose, Ruiz Reina, Jose Luis:
Formalización del Razonamiento Ecuacional en una Lógica Computacional. Comunicación en congreso. Encuentro de Matemáticos Andaluces. Santander (ESPAÑA). 2000

Ruiz Reina, Jose Luis, Alonso Jimenez, Jose Antonio, Hidalgo Doblado, Maria Jose, Martín Mateos, Francisco Jesús:
Multiset Relations: a Tool for Proving Termination. Comunicación en congreso. 2nd Acl2 Workshop. Austin, Texas, EEUU. 2000. Proceedings of the Acl2 Workshop 2000. 82. 91

Ruiz Reina, Jose Luis, Alonso Jimenez, Jose Antonio, Hidalgo Doblado, Maria Jose, Martín Mateos, Francisco Jesús:
A Mechanical Proof of Knuth-Bendix Critical Pair Theorem (Using Acl2). Comunicación en congreso. 3rd First-Order Theorem Proving. ST Andrews, Scotland. 2000. Proceedings of the Third International Workshop on First-Order Theorem Proving. 206. 216

Ruiz Reina, Jose Luis, Alonso Jimenez, Jose Antonio, Hidalgo Doblado, Maria Jose, Martín Mateos, Francisco Jesús:
Formalizing Rewriting in the Acl2 Theorem Prover. Comunicación en congreso. 5th International Conference on Artificial Intelligence and Symbolic Computation. 2000. Artificial Intelligence and Symbolic Computation, Aisc 2000, Revised Papers. 92. 106

Alonso Jimenez, Jose Antonio, Hidalgo Doblado, Maria Jose, Martín Mateos, Francisco Jesús, Ruiz Reina, Jose Luis:
Formalización del Razonamiento Ecuacional en una Lógica Computacional. Comunicación en congreso. Encuentro de Matemáticos Andaluces. Santander (ESPAÑA). 2000. Actas del Encuentro de Matemáticos Andaluces. 41. 50

Ruiz Reina, Jose Luis, Martín Mateos, Francisco Jesús, Alonso Jimenez, Jose Antonio, Hidalgo Doblado, Maria Jose:
Mechanical Verification of a Rule-Based Unification Algorithm in the Boyer-Moore Theorem Prover. Comunicación en congreso. Joint Conference on Declarative Programming. L'aquila, Italia. 1999. Proc. of Joint Conference on Declarative Programming. 289. 304

Ruiz Reina, Jose Luis, Alonso Jimenez, Jose Antonio, Hidalgo Doblado, Maria Jose, Martín Mateos, Francisco Jesús:
Verificación Automática de Sistemas de Razonamiento (Aplicación a la Enseñanza de la Inteligencia Artificial). Comunicación en congreso. IV Jornadas Sobre la Enseñanza Universitaria de la Informatica. Andorra. 1998. IV Jornades Sobre L'ensenyament Universitari de la Infomàtica. 297. 304

Martín Mateos, Francisco Jesús, Alonso Jimenez, Jose Antonio, Hidalgo Doblado, Maria Jose, Ruiz Reina, Jose Luis:
Razonamiento Automático en Sistemas de Representación del Conocimiento (y su Relación con la Enseñanza de la Inteligencia Artificial). Comunicación en congreso. IV Jornadas Sobre la Enseñanza Universitaria de la Informatica. Andorra. 1998. IV Jornades Sobre L'ensenyament Universitari de la Infomàtica. 289. 296

Vicerrectorado de Investigación. Universidad de Sevilla. Pabellón de Brasil. Paseo de las Delicias s/n. Sevilla