| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Jesús Giráldez-Cru |
On the Complexity of Shared Conceptualizations.  |
ICAISC  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2012 |
DBLP BibTeX RDF |
|
| 1 | Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Juan Galán Páez |
Selecting Attributes for Sport Forecasting using Formal Concept Analysis |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Juan Galán Páez |
Confidence-Based Reasoning with Local Temporal Formal Contexts. |
IWANN |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Antonio Jiménez-Mavillard |
Social Ontology Documentation for Knowledge Externalization. |
MTSR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz |
Reconciling Knowledge in Social Tagging Web Services. |
HAIS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz |
Mereotopological Analysis of Formal Concepts in Security Ontologies. |
CISIS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
Conservative retraction, Independence Rule, boolean derivatives |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2006 |
DBLP DOI BibTeX RDF |
certified reasoning, Semantic Web, data cleaning |
| 1 | Joaquín Borrego-Díaz, Antonia M. Chávez-González |
Visual Ontology Cleaning: Cognitive Principles and Applicability. |
ESWC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Joaquín Borrego-Díaz, Antonia M. Chávez-González |
Extension of Ontologies Assisted by Automated Reasoning Systems. |
EUROCAST |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Joaquín Borrego-Díaz, Antonia M. Chávez-González |
Controlling Ontology Extension by Uncertain Concepts through Cognitive Entropy. |
ISWC-URSW |
2005 |
DBLP BibTeX RDF |
|
| 1 | José A. Alonso-Jiménez, Joaquín Borrego-Díaz, Antonia M. Chávez-González |
Ontology Cleaning by Mereotopological Reasoning. |
DEXA Workshops |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
Knowledge Management and Processing, Spatial Reasoning |
| 1 | Miguel A. Gutiérrez-Naranjo, José A. Alonso-Jiménez, Joaquín Borrego-Díaz |
Generalizing Programs vis Subsumption. |
EUROCAST |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Miguel A. Gutiérrez-Naranjo, José A. Alonso-Jiménez, Joaquín Borrego-Díaz |
A Quasi-Metric for Machine Learning. |
IBERAMIA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 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. |
1996 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")