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
21 2013 Reconciling knowledge in social tagging web services GA Aranda-Corral, J Borrego-Díaz
International Conference on Hybrid Artificial Intelligence Systems, 383-390, 2010
17 2010 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
15 2013 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
13 2003 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
11 2005 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
10 2013 Visual ontology cleaning: Cognitive principles and applicability J Borrego-Díaz, AM Chávez-González
European Semantic Web Conference, 317-331, 2006
10 2006 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
9 2008 A Formally Verified Prover for the 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
9 2007 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
9 2004 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
8 2011 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
8 2002 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
7 2009 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
6 2010 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
6 2009 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
6 2002 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
5 2014 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
5 2013 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
5 2012 
Juan Galán PáezDirección de correo verificada de us.es
