 | 2012 |
|---|
| 24 |       | Gonzalo A. Aranda-Corral,
Joaquín Borrego-Díaz,
Jesús Giráldez-Cru:
Conceptual-based Reasoning in Mobile Web 2.0 by Means Multiagent Systems - Knowledge Engineering Notes.
ICAART (2) 2012: 176-183 |
| 23 |  | Gonzalo A. Aranda-Corral,
Joaquín Borrego-Díaz,
Jesús Giráldez-Cru:
On the Complexity of Shared Conceptualizations.
ICAISC (1) 2012: 629-638 |
| 2011 |
|---|
| 22 | | Gonzalo A. Aranda-Corral,
Joaquín Borrego-Díaz,
Juan Galán Páez:
Bounded Rationality for Data Reasoning Based on Formal Concept Analysis.
DEXA Workshops 2011: 350-354 |
| 21 | | Gonzalo A. Aranda-Corral,
Joaquín Borrego-Díaz,
Juan Galán Páez:
Confidence-Based Reasoning with Local Temporal Formal Contexts.
IWANN (2) 2011: 461-468 |
| 20 | | Gonzalo A. Aranda-Corral,
Joaquín Borrego-Díaz,
Juan Galán Páez:
Selecting Attributes for Sport Forecasting using Formal Concept Analysis
CoRR abs/1107.5474: (2011) |
| 2010 |
|---|
| 19 | | Gonzalo A. Aranda-Corral,
Joaquín Borrego-Díaz:
Mereotopological Analysis of Formal Concepts in Security Ontologies.
CISIS 2010: 33-40 |
| 18 | | Gonzalo A. Aranda-Corral,
Joaquín Borrego-Díaz:
Reconciling Knowledge in Social Tagging Web Services.
HAIS (2) 2010: 383-390 |
| 17 | | Gonzalo A. Aranda-Corral,
Joaquín Borrego-Díaz,
Antonio Jiménez-Mavillard:
Social Ontology Documentation for Knowledge Externalization.
MTSR 2010: 137-148 |
| 2009 |
|---|
| 16 | | Gonzalo A. Aranda-Corral,
Joaquín Borrego-Díaz,
M. Magdalena Fernández-Lebrón:
Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations.
Calculemus/MKM 2009: 45-58 |
| 15 | | Gonzalo A. Aranda-Corral,
Joaquín Borrego-Díaz,
Fernando Gómez-Marín:
Toward Semantic Mobile Web 2.0 through Multiagent Systems.
KES-AMSTA 2009: 400-409 |
| 2008 |
|---|
| 14 | | Joaquín Borrego-Díaz,
Antonia M. Chávez-González:
Using Cognitive Entropy to Manage Uncertain Concepts in Formal Ontologies.
URSW (LNCS Vol.) 2008: 315-329 |
| 2007 |
|---|
| 13 | | Joaquín Borrego-Díaz,
Antonia M. Chávez-González:
A Formal Foundation for Knowledge Integration of Defficent Information in the Semantic Web.
EUROCAST 2007: 305-312 |
| 12 | | José-Antonio Alonso,
Joaquín Borrego-Díaz,
María-José Hidalgo,
Francisco-Jesús Martín-Mateos,
José-Luis Ruiz-Reina:
A Formally Verified Prover for the ALC Description Logic.
TPHOLs 2007: 135-150 |
| 2006 |
|---|
| 11 | | Joaquín Borrego-Díaz,
Antonia M. Chávez-González:
Visual Ontology Cleaning: Cognitive Principles and Applicability.
ESWC 2006: 317-331 |
| 10 | | 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 |
|---|
| 9 | | Joaquín Borrego-Díaz,
Antonia M. Chávez-González:
Extension of Ontologies Assisted by Automated Reasoning Systems.
EUROCAST 2005: 247-253 |
| 8 | | Joaquín Borrego-Díaz,
Antonia M. Chávez-González:
Controlling Ontology Extension by Uncertain Concepts through Cognitive Entropy.
ISWC-URSW 2005: 56-66 |
| 7 | | 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 |
|---|
| 6 | | 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 | | Miguel A. Gutiérrez-Naranjo,
José A. Alonso-Jiménez,
Joaquín Borrego-Díaz:
Generalizing Programs vis Subsumption.
EUROCAST 2003: 115-126 |
| 4 | | 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 | | 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 |
| 2000 |
|---|
| 2 | | 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 |
| 1996 |
|---|
| 1 | | Joaquín Borrego-Díaz,
Alejandro Fernández-Margarit,
Mario J. Pérez-Jiménez:
On Overspill Principles and Axiom Schemes for Bounded Formulas.
Math. Log. Q. 42: 341-348 (1996) |
Data released under the ODC-BY 1.0 license — See also our legal information page