José A. Alonso-Jiménez

According to our database, José A. Alonso-Jiménez authored at least 11 papers between 2000 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

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

2014

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

2006

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

2005

Logic Databases and Inconsistency Handling.

José A. Alonso-Jiménez, Joaquín Borrego-Díaz, Antonia M. Chávez-González

Proceedings of the Encyclopedia of Database Technologies and Applications, 2005

2004

Ontology Cleaning by Mereotopological Reasoning.

José A. Alonso-Jiménez, Joaquín Borrego-Díaz, Antonia M. Chávez-González

Proceedings of the 15th International Workshop on Database and Expert Systems Applications (DEXA 2004), with CD-ROM, 30 August, 2004

Verified Computer Algebra in Acl2. Gröbner Bases Computation.

Inmaculada Medina-Bulo, Francisco Palomo-Lozano, José A. Alonso-Jiménez, José-Luis Ruiz-Reina

Proceedings of the Artificial Intelligence and Symbolic Computation, 2004

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

Proceedings of the Developments in Applied Artificial Intelligence, 2003

Generalizing Programs vis Subsumption.

Miguel Angel Gutiérrez-Naranjo, José A. Alonso-Jiménez, Joaquín Borrego-Díaz

Proceedings of the Computer Aided Systems Theory, 2003

2002

A Quasi-Metric for Machine Learning.

Miguel Angel Gutiérrez-Naranjo, José A. Alonso-Jiménez, Joaquín Borrego-Díaz

Proceedings of the Advances in Artificial Intelligence, 2002

2001

A Certified Polynomial-Based Decision Procedure for Propositional Logic.

Inmaculada Medina-Bulo, Francisco Palomo-Lozano, José A. Alonso-Jiménez

Proceedings of the Theorem Proving in Higher Order Logics, 14th International Conference, 2001

2000

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

Proceedings of the Inductive Logic Programming, 10th International Conference, 2000