Joaquin Borrego Díaz
Joaquin Borrego Díaz
Profesor Titular de Universidad, Universidad de Sevilla
Verified email at us.es
Title
Cited by
Cited by
Year
Foundational challenges in automated semantic web data and ontology cleaning
JA Alonso-Jimene, J Borrego-Diaz, AM Chávez-González, ...
IEEE Intelligent Systems 21 (1), 42-52, 2006
31*2006
Complex concept lattices for simulating human prediction in sport
GA Aranda-Corral, J Borrego-Díaz, J Galán-Páez
Journal of Systems Science and Complexity 26 (1), 117-136, 2013
212013
Reconciling knowledge in social tagging web services
GA Aranda-Corral, J Borrego-Díaz
International Conference on Hybrid Artificial Intelligence Systems, 383-390, 2010
172010
Agent-mediated shared conceptualizations in tagging services
GA Aranda-Corral, J Borrego-Díaz, J Giráldez-Cru
Multimedia tools and applications 65 (1), 5-28, 2013
152013
Towards a practical argumentative reasoning with qualitative spatial databases
JA Alonso-Jiménez, J Borrego-Díaz, AM Chávez-González, ...
International Conference on Industrial, Engineering and Other Applications …, 2003
132003
Extension of ontologies assisted by automated reasoning systems
J Borrego-Díaz, AM Chávez-González
International Conference on Computer Aided Systems Theory, 247-253, 2005
112005
On the Phenomenological Reconstruction of Complex Systems—The Scale‐Free Conceptualization Hypothesis
GA Aranda‐Corral, J Borrego‐Díaz, J Galán‐Páez
Systems Research and Behavioral Science 30 (6), 716-734, 2013
102013
Visual ontology cleaning: Cognitive principles and applicability
J Borrego-Díaz, AM Chávez-González
European Semantic Web Conference, 317-331, 2006
102006
Extending attribute exploration by means of boolean derivatives
JA Alonso Jiménez, GA Aranda Corral, J Borrego Díaz, ...
CLA 2008: 6th International Conference on Concepts Lattices and Their …, 2008
92008
A Formally Verified Prover for the Description Logic
JA Alonso, J Borrego-Díaz, MJ Hidalgo, FJ Martín-Mateos, JL Ruiz-Reina
International Conference on Theorem Proving in Higher Order Logics, 135-150, 2007
92007
Ontology cleaning by mereotopological reasoning
JA Alonso-Jiménez, J Borrego-Dfaz, AM Chavez-Gonzalez
Proceedings. 15th International Workshop on Database and Expert Systems …, 2004
92004
Confidence-based reasoning with local temporal formal contexts
GA Aranda-Corral, JB Díaz, JG Páez
International Work-Conference on Artificial Neural Networks, 461-468, 2011
82011
A methodology for the computer-aided cleaning of complex knowledge databases
JA Alonso-Jiménez, J Borrego-Díaz, AM Chávez-González, ...
IEEE 2002 28th Annual Conference of the Industrial Electronics Society …, 2002
82002
Conservative retractions of propositional logic theories by means of boolean derivatives: Theoretical foundations
GA Aranda-Corral, J Borrego-Díaz, MM Fernández-Lebrón
International Conference on Intelligent Computer Mathematics, 45-58, 2009
72009
Social ontology documentation for knowledge externalization
GA Aranda-Corral, J Borrego-Díaz, A Jiménez-Mavillard
Research Conference on Metadata and Semantic Research, 137-148, 2010
62010
Toward semantic mobile web 2.0 through multiagent systems
GA Aranda-Corral, J Borrego-Díaz, F Gómez-Marín
KES International Symposium on Agent and Multi-Agent Systems: Technologies …, 2009
62009
A quasi-metric for machine learning
MA Gutiérrez-Naranjo, JA Alonso-Jiménez, J Borrego-Díaz
Ibero-American Conference on Artificial Intelligence, 193-203, 2002
62002
Formally verified tableau-based reasoners for a description logic
MJ Hidalgo-Doblado, JA Alonso-Jiménez, J Borrego-Díaz, ...
Journal of automated reasoning 52 (3), 331-360, 2014
52014
Qualitative reasoning on complex systems from observations
GA Aranda-Corral, J Borrego-Díaz, J Galán-Páez
International Conference on Hybrid Artificial Intelligence Systems, 202-211, 2013
52013
Conceptual-based reasoning in mobile web 2.0 by means of multiagent systems
GA Aranda-Corral, J Borrego-Díaz, J Giráldez-Cru
Knowledge engineering notes, proc. 4th int. conf. agents and artificial …, 2012
52012
The system can't perform the operation now. Try again later.
Articles 1–20