Joaquin Borrego Díaz
Joaquin Borrego Díaz
Profesor Titular de Universidad, Universidad de Sevilla
Dirección de correo verificada de us.es
Título
Citado por
Citado por
Año
Foundational challenges in automated semantic web data and ontology cleaning
JA Alonso-Jimene, J Borrego-Díaz, AM Chávez-González, ...
IEEE Intelligent Systems 21 (1), 42-52, 2006
302006
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
222013
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
142003
Visual ontology cleaning: Cognitive principles and applicability
J Borrego-Díaz, AM Chávez-González
European Semantic Web Conference, 317-331, 2006
112006
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
Ontology cleaning by mereotopological reasoning
JA Alonso-Jiménez, J Borrego-Dfaz, AM Chávez-González
Proceedings. 15th International Workshop on Database and Expert Systems …, 2004
102004
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 Martin-Mateos, JL Ruiz-Reina
International Conference on Theorem Proving in Higher Order Logics, 135-150, 2007
92007
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
92002
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
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
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
72002
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
62014
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
Mereotopological analysis of formal concepts in security ontologies
GA Aranda-Corral, J Borrego-Díaz
Computational Intelligence in Security for Information Systems 2010, 33-40, 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 logic-algebraic tool for reasoning with Knowledge-Based Systems
JA Alonso-Jiménez, GA Aranda-Corral, J Borrego-Díaz, ...
Journal of logical and algebraic methods in programming 101, 88-109, 2018
52018
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20