| 2006 |
|---|
| 9 | EE | 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 Intelligent Systems 21(1): 42-52 (2006) |
| 2005 |
|---|
| 8 | | José A. Alonso-Jiménez,
Joaquín Borrego-Díaz,
Antonia M. Chávez-González:
Logic Databases and Inconsistency Handling.
Encyclopedia of Database Technologies and Applications 2005: 336-340 |
| 2004 |
|---|
| 7 | EE | 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: 171-184 |
| 6 | EE | José A. Alonso-Jiménez,
Joaquín Borrego-Díaz,
Antonia M. Chávez-González:
Ontology Cleaning by Mereotopological Reasoning.
DEXA Workshops 2004: 132-137 |
| 2003 |
|---|
| 5 | EE | Miguel A. Gutiérrez-Naranjo,
José A. Alonso-Jiménez,
Joaquín Borrego-Díaz:
Generalizing Programs vis Subsumption.
EUROCAST 2003: 115-126 |
| 4 | EE | 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: 789-798 |
| 2002 |
|---|
| 3 | EE | Miguel A. Gutiérrez-Naranjo,
José A. Alonso-Jiménez,
Joaquín Borrego-Díaz:
A Quasi-Metric for Machine Learning.
IBERAMIA 2002: 193-203 |
| 2001 |
|---|
| 2 | EE | Inmaculada Medina-Bulo,
Francisco Palomo-Lozano,
José A. Alonso-Jiménez:
A Certified Polynomial-Based Decision Procedure for Propositional Logic.
TPHOLs 2001: 297-312 |
| 2000 |
|---|
| 1 | EE | 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 |
