José A. Alonso-Jiménez

12 papers C 1Misc 1Journal 4Unranked 5
YearRankTypeTitle / Venue / Authors
2018 J jnl
A logic-algebraic tool for reasoning with Knowledge-Based Systems.
CoRR
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
2018 J jnl
A logic-algebraic tool for reasoning with Knowledge-Based Systems.
J. Log. Algebraic Methods Program.
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
2014 J jnl
Formally Verified Tableau-Based Reasoners for a Description Logic.
J. Autom. Reason.
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
2006 J jnl
Foundational Challenges in Automated Semantic Web Data and Ontology Cleaning.
IEEE Intell. Syst.
José A. Alonso-Jiménez, Joaquín Borrego-Díaz, Antonia M. Chávez-González, Francisco-Jesús Martín-Mateos
2005 — ch.
Logic Databases and Inconsistency Handling.
Encyclopedia of Database Technologies and Applications
José A. Alonso-Jiménez, Joaquín Borrego-Díaz, Antonia M. Chávez-González
2004 — conf
Ontology Cleaning by Mereotopological Reasoning.
DEXA Workshops
José A. Alonso-Jiménez, Joaquín Borrego-Díaz, Antonia M. Chávez-González
2004 Misc conf
Verified Computer Algebra in Acl2. Gröbner Bases Computation.
AISC
Inmaculada Medina-Bulo, Francisco Palomo-Lozano, José A. Alonso-Jiménez, José-Luis Ruiz-Reina
2003 — conf
Generalizing Programs vis Subsumption.
EUROCAST
Miguel Angel Gutiérrez-Naranjo, José A. Alonso-Jiménez, Joaquín Borrego-Díaz
2003 C conf
Towards a Practical Argumentative Reasoning with Qualitative Spatial Databases.
IEA/AIE
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
2002 — conf
A Quasi-Metric for Machine Learning.
IBERAMIA
Miguel Angel Gutiérrez-Naranjo, José A. Alonso-Jiménez, Joaquín Borrego-Díaz
2001 — conf
A Certified Polynomial-Based Decision Procedure for Propositional Logic.
TPHOLs
Inmaculada Medina-Bulo, Francisco Palomo-Lozano, José A. Alonso-Jiménez
2000 — conf
A Topological Study of the Upward Refinement Operators in ILP.
ILP Work-in-progress reports
Miguel Angel Gutiérrez-Naranjo, José A. Alonso-Jiménez, Joaquín Borrego-Díaz