Formally Verified Tableau-Based Reasoners for a Description Logic
Hidalgo-Doblado, M. J., Alonso-Jiménez, J. A., Borrego-Díaz, J., Martín-Mateos, F. J., Ruiz-Reina, J. L.
Published in Journal of automated reasoning (01.03.2014)
Published in Journal of automated reasoning (01.03.2014)
Get full text
Journal Article
Verifying the bridge between simplicial topology and algebra: the Eilenberg-Zilber algorithm
Lamban, L., Rubio, J., Martin-Mateos, F. J., Ruiz-Reina, J. L.
Published in Logic journal of the IGPL (01.02.2014)
Published in Logic journal of the IGPL (01.02.2014)
Get full text
Journal Article
Proof Pearl: A Formal Proof of Higman’s Lemma in ACL2
Martín-Mateos, Francisco J., Ruiz-Reina, José L., Alonso, José A., Hidalgo, Mariá J.
Published in Lecture notes in computer science (2005)
Published in Lecture notes in computer science (2005)
Get full text
Book Chapter
Conference Proceeding
Foundational challenges in automated semantic Web data and ontology cleaning
Alonso-Jimene, J.A., Borrego-Diaz, J., Chavez-Gonzalez, A.M., Martin-Mateos, F.J.
Published in IEEE intelligent systems (01.01.2006)
Published in IEEE intelligent systems (01.01.2006)
Get full text
Journal Article
Formal Proofs About Rewriting Using ACL2
Ruiz-Reina, José-Luis, Alonso, José-Antonio, Hidalgo, María-José, Martín-Mateos, Francisco-Jesús
Published in Annals of mathematics and artificial intelligence (01.11.2002)
Published in Annals of mathematics and artificial intelligence (01.11.2002)
Get full text
Journal Article