A Topological Study of the Upward Refinement Operators in ILP. - Miguel Angel Gutiérrez-Naranjo; José A. Alonso-Jiménez; Joaquín Borrego-Díaz (ILP Work-in-progress reports, 2000)

A Certified Polynomial-Based Decision Procedure for Propositional Logic. - Inmaculada Medina-Bulo; Francisco Palomo-Lozano; José A. Alonso-Jiménez (TPHOLs, 2001)

A Quasi-Metric for Machine Learning. - Miguel Angel Gutiérrez-Naranjo; José A. Alonso-Jiménez; Joaquín Borrego-Díaz (IBERAMIA, 2002)

Generalizing Programs vis Subsumption. - Miguel Angel Gutiérrez-Naranjo; José A. Alonso-Jiménez; Joaquín Borrego-Díaz (EUROCAST, 2003)

Towards a Practical Argumentative Reasoning with Qualitative Spatial Databases. - José A. Alonso-Jiménez; Joaquín Borrego-Díaz; Antonia M. Chávez-González; Miguel Angel Gutiérrez-Naranjo; Jorge D. Navarro-Marín (IEA/AIE, 2003)

Verified Computer Algebra in Acl2. Gröbner Bases Computation. - Inmaculada Medina-Bulo; Francisco Palomo-Lozano; José A. Alonso-Jiménez; José-Luis Ruiz-Reina (AISC, 2004)

Ontology Cleaning by Mereotopological Reasoning. - José A. Alonso-Jiménez; Joaquín Borrego-Díaz; Antonia M. Chávez-González (DEXA Workshops, 2004)

Logic Databases and Inconsistency Handling. - José A. Alonso-Jiménez; Joaquín Borrego-Díaz; Antonia M. Chávez-González (Encyclopedia of Database Technologies and Applications, 2005)

Foundational Challenges in Automated Semantic Web Data and Ontology Cleaning. - José A. Alonso-Jiménez; Joaquín Borrego-Díaz; Antonia M. Chávez-González; Francisco-Jesús Martín-Mateos (IEEE Intell. Syst., 2006)

Formally Verified Tableau-Based Reasoners for a Description Logic. - 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 (J. Autom. Reason., 2014)

A logic-algebraic tool for reasoning with Knowledge-Based Systems. - José A. Alonso-Jiménez; Gonzalo A. Aranda-Corral; Joaquín Borrego-Díaz; María Magdalena Fernández-Lebrón; María-José Hidalgo-Doblado (J. Log. Algebraic Methods Program., 2018)