José A. Alonso-Jiménez

Publication Activity (10 Years)

Years Active: 2000-2018
Publications (10 Years): 2

Top Topics

Deductive Reasoning

Knowledge Engineers

Logical Framework

Rule Based Systems

Top Venues

J. Log. Algebraic Methods Program.

J. Autom. Reason.

Publications

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
A logic-algebraic tool for reasoning with Knowledge-Based Systems. CoRR (2018)
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
A logic-algebraic tool for reasoning with Knowledge-Based Systems. J. Log. Algebraic Methods Program. 101 (2018)
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)
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)
Inmaculada Medina-Bulo, Francisco Palomo-Lozano, José A. Alonso-Jiménez, José-Luis Ruiz-Reina
Verified Computer Algebra in Acl2. Gröbner Bases Computation. AISC (2004)
José A. Alonso-Jiménez, Joaquín Borrego-Díaz, Antonia M. Chávez-González
Ontology Cleaning by Mereotopological Reasoning. DEXA Workshops (2004)
Miguel A. Gutiérrez-Naranjo, José A. Alonso-Jiménez, Joaquín Borrego-Díaz
Generalizing Programs vis Subsumption. EUROCAST (2003)
José A. Alonso-Jiménez, Joaquín Borrego-Díaz, Antonia M. Chávez-González, Miguel A. Gutiérrez-Naranjo, Jorge D. Navarro-Marín
Towards a Practical Argumentative Reasoning with Qualitative Spatial Databases. IEA/AIE (2003)
Miguel A. Gutiérrez-Naranjo, José A. Alonso-Jiménez, Joaquín Borrego-Díaz
A Quasi-Metric for Machine Learning. IBERAMIA (2002)
Inmaculada Medina-Bulo, Francisco Palomo-Lozano, José A. Alonso-Jiménez
A Certified Polynomial-Based Decision Procedure for Propositional Logic. TPHOLs (2001)
Miguel A. Gutiérrez-Naranjo, José A. Alonso-Jiménez, Joaquín Borrego-Díaz
A Topological Study of the Upward Refinement Operators in ILP. ILP Work-in-progress reports (2000)