Francisco-Jesús Martín-Mateos

Publication Activity (10 Years)

Years Active: 1999-2015
Publications (10 Years): 1

Top Topics

Natural Language Learning

Algebraic Structures

Reasoning Services

Top Venues

Ann. Math. Artif. Intell.

Appl. Algebra Eng. Commun. Comput.

Publications

Jónathan Heras, Francisco-Jesús Martín-Mateos, Vico Pascual
Modelling algebraic structures and morphisms in ACL2. Appl. Algebra Eng. Commun. Comput. 26 (3) (2015)
Laureano Lambán, Julio Rubio, Francisco-Jesús Martín-Mateos, José-Luis Ruiz-Reina
Verifying the bridge between simplicial topology and algebra: the Eilenberg-Zilber algorithm. Log. J. IGPL 22 (1) (2014)
María-José Hidalgo-Doblado, José A. Alonso-Jiménez, Joaquín Borrego-Díaz, Francisco-Jesús Martín-Mateos, José-Luis Ruiz-Reina
Formally Verified Tableau-Based Reasoners for a Description Logic. J. Autom. Reason. 52 (3) (2014)
Laureano Lambán, Francisco-Jesús Martín-Mateos, Julio Rubio, José-Luis Ruiz-Reina
Certified symbolic manipulation: bivariate simplicial polynomials. ISSAC (2013)
Laureano Lambán, Francisco-Jesús Martín-Mateos, Julio Rubio, José-Luis Ruiz-Reina
Formalization of a normalization theorem in simplicial topology. Ann. Math. Artif. Intell. 64 (1) (2012)
Laureano Lambán, Francisco-Jesús Martín-Mateos, Julio Rubio, José-Luis Ruiz-Reina
Applying ACL2 to the Formalization of Algebraic Topology: Simplicial Polynomials. ITP (2011)
Francisco-Jesús Martín-Mateos, José-Luis Ruiz-Reina, José-Antonio Alonso, María-José Hidalgo
Proof Pearl: a Formal Proof of Higman's Lemma in ACL2. J. Autom. Reason. 47 (3) (2011)
Francisco-Jesús Martín-Mateos, Luis Carlos González Valencia, Rafael Serrano Bello
Expert System to Real Time Control of Machining Processes. CAEPIA (2009)
Francisco-Jesús Martín-Mateos, Julio Rubio, José-Luis Ruiz-Reina
ACL2 Verification of Simplicial Degeneracy Programs in the Kenzo System. Calculemus/MKM (2009)
María-José Hidalgo, José-Antonio Alonso, Francisco-Jesús Martín-Mateos, José-Luis Ruiz-Reina
Constructing Formally Verified Reasoners for the ACL Description Logic. Electron. Notes Theor. Comput. Sci. 200 (3) (2008)
José-Antonio Alonso, Joaquín Borrego-Díaz, María-José Hidalgo, Francisco-Jesús Martín-Mateos, José-Luis Ruiz-Reina
Description Logic. TPHOLs (2007)
José-Luis Ruiz-Reina, Francisco-Jesús Martín-Mateos, José-Antonio Alonso, María-José Hidalgo
Formal Correctness of a Quadratic Unification Algorithm. J. Autom. Reason. 37 (1-2) (2006)
José A. Alonso-Jiménez, Joaquín Borrego-Díaz, Antonia M. Chávez-González, Francisco-Jesús Martín-Mateos
Foundational Challenges in Automated Semantic Web Data and Ontology Cleaning. IEEE Intell. Syst. 21 (1) (2006)
Francisco-Jesús Martín-Mateos, José-Luis Ruiz-Reina, José-Antonio Alonso, María-José Hidalgo
Proof Pearl: A Formal Proof of Higman's Lemma in ACL2. TPHOLs (2005)
Manuel Palomo-Duarte, Francisco-Jesús Martín-Mateos, José-Antonio Alonso
Rete Algorithm Applied to Robotic Soccer. EUROCAST (2005)
Francisco-Jesús Martín-Mateos, José-Antonio Alonso, María-José Hidalgo, José-Luis Ruiz-Reina
Formal Verification of a Generic Framework to Synthetize SAT-Provers. J. Autom. Reason. 32 (4) (2004)
José-Luis Ruiz-Reina, José Antonio Alonso Jimenez, María-José Hidalgo, Francisco-Jesús Martín-Mateos
Formal Reasoning about Efficient Data Structures: A Case Study in ACL2. LOPSTR (2003)
Francisco-Jesús Martín-Mateos, José-Antonio Alonso, María-José Hidalgo, José-Luis Ruiz-Reina
A Formal Proof of Dickson's Lemma in ACL2. LPAR (2003)
Francisco-Jesús Martín-Mateos, José-Antonio Alonso, María-José Hidalgo, José-Luis Ruiz-Reina
Formal Verification of Molecular Computational Models in ACL2: A Case Study. CAEPIA (2003)
Francisco-Jesús Martín-Mateos, José-Antonio Alonso, María-José Hidalgo, José-Luis Ruiz-Reina
Verification in ACL2 of a Generic Framework to Synthesize SAT-Provers. LOPSTR (2002)
Carmen Graciani Díaz, Francisco-Jesús Martín-Mateos, Mario J. Pérez-Jiménez
Specification of Adleman's Restricted Model Using an Automated Reasoning System: Verification of Lipton's Experiment. UMC (2002)
José-Luis Ruiz-Reina, José-Antonio Alonso, María-José Hidalgo, Francisco-Jesús Martín-Mateos
Formal Proofs About Rewriting Using ACL2. Ann. Math. Artif. Intell. 36 (3) (2002)
Francisco-Jesús Martín-Mateos, José-Antonio Alonso, María-José Hidalgo, José-Luis Ruiz-Reina
Verifying an Applicative ATP Using Multiset Relations. EUROCAST (2001)
José-Luis Ruiz-Reina, José-Antonio Alonso, María-José Hidalgo, Francisco-Jesús Martín-Mateos
Formalizing Rewriting in the ACL2 Theorem Prover. AISC (2000)
José-Luis Ruiz-Reina, José-Antonio Alonso, María-José Hidalgo, Francisco-Jesús Martín-Mateos
Mechanical verification of a rule-based unification algorithm in the Boyer-Moore theorem prover. APPIA-GULP-PRODE (1999)