BORREGO DIAZ, JOAQUIN

Perfil en ORCID: 0000-0003-0528-9459

Perfil en ResearcherID: M-3295-2014

Perfil en Scopus: 6507161404\

Perfil en Dialnet: 1013060

Grupos de Investigación

• LOGICA, COMPUTACION E INGENIERIA DEL CONOCIMIENTO

Responsable de los siguientes proyectos/ayudas en la US

Proyectos:

• Lógica Computacional para la Ciencia del Dato ( TIN2013-41086-P ).
• Lógica Computacional para la Ciencia del Dato ( TIN2013-41086-P ).
• eComplexcity: Conceptos emergentes en sistemas complejos. Aplicaciones en entornos urbanos y en complejidad cultural ( P10-TIC 06064 ).
• MODELO LÓGICO-COMPUTACIONAL PARA LA EVOLUCIÓN DE TEORÍAS SOBRE CONCEPTOS FORMALES ( TIN2009-09492 ).

Contratos:

• Escalabilidad y eficiencia mediante computación heterogénea CPU-GPU (EFICOMP-GPU). ( P033-17/E21 ).
• Nomad Garden - Gestión interactiva de jardines mediante el tratamiento inteligente de datos ( P066-15/E21 ).
• PROYECTO MINERVA "PLATAFORMA DE SERVICIOS EN MOVILIDAD CARTUJA-93" WETEVE ( OG-003/08 ).

Participa los siguientes proyectos/ayudas en la US

Proyectos:

• SISTEMAS VERIFICADOS PARA RAZONAMIENTO EN LA WEB SEMÁNTICA ( TIN2004-03884 - Investigador/a).
• CLASIFICACIÓN DE LAS FUNCIONES COMPUTABLES MEDIANTE ESPECIFICACIONES ARITMÉTICAS: METODOLOGÍA Y DISEÑO ( DGES PB96-1345 - Investigador/a).

Contratos:

• El Corredor de la Carretera N-340 como Eje Histórico del Litoral Andaluz: Metodologías de Caracterización y Estrategias para su Patrimonialización y R ( 2040/0701 - Investigador/a ).
• El corredor de la carretera N-40 como eje histórico del litoral andaluz: metodologías de caracterización y estrategias para su patrimonialización y re ( 2040/0701 - Investigador/a ).

Publicaciones

Libros:

• Borrego-Diaz, Joaquin, Sancho-Caparrini, Fernando, Aranda-Corral, Gonzalo A., Domínguez, Ismael:
  FORMA 14 : Complex Systems Workshop: Sevilla 22-25 Octubre 2014. FIDETIA. 2015. ISBN 978-84-617-9075-3
• Borrego-Diaz, Joaquin, Sancho-Caparrini, Fernando, Aranda-Corral, Gonzalo A., Domínguez, Ismael:
  FORMA 13 : Complex Systems Workshop: Sevilla 23-26 Oct 2013. FIDETIA. 2014. ISBN 978-84-617-9076-0
• Alonso-Jimenez, Jose Antonio, Borrego-Diaz, Joaquin:
  DEDUCCIÓN AUTOMÁTICA. EDITORIAL KRONOS. 2002. ISBN 84-86273-58-7
• Alonso-Jimenez, Jose Antonio, Borrego-Diaz, Joaquin:
  AGENTES INTELIGENTES: UNA APROXIMACIÓN DESDE LA LÓGICA COMPUTACIONAL. EDITORIAL KRONOS. 2002. ISBN 84-86273-59-5
• Borrego-Diaz, Joaquin:
  COMPUTACION, COMPUTABILIDAD Y PROGRAMACION. DEPARTAMENTO DE CIENCIAS DE LA COMPUTACION E INTELIGENCIA ARTIFICIAL. UNIVERSIDAD DE SEVILLA. 2001. ISBN
• Alonso-Jimenez, Jose Antonio, Borrego-Diaz, Joaquin, Pérez-Jiménez, Mario Jesús, Ruiz-Reina, Jose Luis:
  Curso práctico de Teoría de Conjuntos. EDICIONES LA Ñ. 1998. ISBN 84-89524-45-9 94152 2
• Borrego-Diaz, Joaquin, Salguero-Lamillar, Francisco Jose:
  THE BULLETIN OF THE WORKSHOP ON MODEL THEORY AND COMPLEXITY. EDITORIAL KRONOS. 1997. ISBN 84-88620-08-X

Capítulo de Libros:

• Aranda-Corral, Gonzalo A., Borrego-Diaz, Joaquin, Galán-páez, Juan:
  Synthetizing Qualitative (Logical) Patterns for Pedestrian Simulation from Data. Pag. 243 - 260. En: Proceedings of SAI Intelligent Systems Conference (IntelliSys) 2016. Springer, Cham. 2016. ISBN
• Aranda-Corral, Gonzalo A., Borrego-Diaz, Joaquin:
  Towards a Soft Evaluation and Refinement of Tagging in Digital Humanities. Pag. 79 - 89. En: Advances in Intelligent Systems and Computing. Springer Cham, Heidelberg.. 2015. ISBN 978-3-319-19719-7
• Aranda-Corral, Gonzalo A., Borrego-Diaz, Joaquin, Solís-martín, David:
  Towards a Soft Evaluation and Refinement of Tagging in Digital Humanities. Pag. 79 - 89. En: Advances in Intelligent Systems and Computing. Springer Cham, Heidelberg.. 2015. ISBN 978-3-319-19719-7
• Alonso-Jimenez, Jose Antonio, Borrego-Diaz, Joaquin, Chavez-Gonzalez, Antonia Mª:
  Computational Logic and Knowledge Representation Issues in Data Annalysis for the Semantic Web. Pag. 105 - 130. En: Data Management in the Semantic Web. NOVA. 2013. ISBN
• Aranda-Corral, Gonzalo A., Borrego-Diaz, Joaquin, Galán-páez, Juan:
  Scale-free structure in concept lattices associated to complex systems}. Pag. 1 - 6. En: Complex Systems (ICCS), 2012 International Conference on. . 2012. ISBN 978-1-4673-4764-8
• Aranda-Corral, Gonzalo A., Borrego-Diaz, Joaquin, Chavez-Gonzalez, Antonia Mª:
  Repairing conceptual relations in ontologies by means of an interactive visual reasoning: Cognitive and design principles . Pag. 739 - 744. En: Cognitive Infocommunications (CogInfoCom), 2012 IEEE 3rd International Conference on. IEEE Xplore. 2012. ISBN 978-1-4673-5187-4
• Aranda-Corral, Gonzalo A., Borrego-Diaz, Joaquin:
  ONTOLOGICAL DIMENSIONS OF SEMANTIC MOBILE WEB 2.0. Pag. 667 - 688. En: HANDBOOK OF RESEARCH ON MOBILITY AND COMPUTING. Igi Global. 2011. ISBN
• Borrego-Diaz, Joaquin:
  ARTIFICIAL INTELLIGENCE AND THE SEMANTICS OF (VIRTUAL) SPACE.. Pag. 52 - 68. En: INCLUSIVA NET: REDES DIGITALES Y ESPACIO FÍSICO || INCLUSIVA NET: DIGITAL NETS AND PHYSICAL SPACE. MEDIA LAB MADRID. 2009. ISBN
• Alonso-Jimenez, Jose Antonio, Borrego-Diaz, Joaquin, Chavez-Gonzalez, Antonia Mª:
  INCONSISTENCY, LOGIC DATABASES AND ONTOLOGIES. Pag. 452 - 459. En: HANDBOOK OF RESEARCH ON INNOVATIONS IN DATABASE TECHNOLOGIES AND APPLICATIONS: CURRENT AND FUTURE TRENDS. Igi Global. 2009. ISBN 978-1-60566-242-8
• Alonso-Jimenez, Jose Antonio, Aranda-Corral, Gonzalo A., Borrego-Diaz, Joaquin, Fernandez-Lebron, Magdalena, Hidalgo-Doblado, Maria Jose:
  EXTENDING ATTRIBUTE EXPLORATIONS BY MEANS OF BOOLEAN DERIVATIVES. Pag. 121 - 132. En: PROCEEDINGS OF THE SIXTH INTERNATIONAL CONFERENCE ON CONCEPT LATTICES AND THEIR APPLICATIONS. RADIM BELOHLAVEK AND SERGEI O. KUZNETSOV. 2008. ISBN 978-80-244-2111-7
• Borrego-Diaz, Joaquin, Chavez-Gonzalez, Antonia Mª:
  ANOMALÍAS EN ONTOLOGÍAS PROVISIONALES. Pag. 159 - 167. En: VIII CONGRESO ISKO-ESPAÑA. LA INTERDISCIPLINARIEDAD Y LA TRANSDISCIPLINARIEDAD EN LA ORGANIZACIÓN DEL CDONOCIMIENTO CIENTÍFICO. S. E. UNIVERSIDAD DE LEÓN. 2007. ISBN
• Borrego-Diaz, Joaquin, Chavez-Gonzalez, Antonia Mª, Aranda-Corral, Gonzalo A.:
  LEARNING SERVICES BASED ON FORMAL CONCEPT REASONING. Pag. 1 - 10. En: ACTAS DEL MCCSIS 2001: MULTI CONFERENCE ON COMPUTER SCIENCE AND INFORMATION SYSTEMS. IADIS PRESS PUBLISHER. 2007. ISBN
• Borrego-Diaz, Joaquin, Chavez-Gonzalez, Antonia Mª:
  FUSION AUTOMATIZADA DE ONTOLOGIAS: APLICACIÓN AL RAZONAMIENTO ESPACIAL CUALITATIVO. Pag. 91 - 102. En: UNA PERSPECTIVA DE LA INTELIGENCIA ARTIFICIAL EN SU 50 ANIVERSARIO. UNIVERSIDAD DE CASTILLA LA MANCHA. 2006. ISBN 84-689-9561-4
• Alonso-Jimenez, Jose Antonio, Borrego-Diaz, Joaquin, Chavez-Gonzalez, Antonia Mª:
  LOGIC DATABASES AND INCONSISTGENCY HANDLING. Pag. 336 - 340. En: ENCYCLOPEDIA OF DATABASES TECHNOLOGIES AND APPLICATIONS. IDEA GROUP REFERENCE. 2006. ISBN 1-59140-560-2
• Borrego-Diaz, Joaquin, Chavez-Gonzalez, Antonia Mª:
  EXTENSION OF ONTOLOGIES ASSITED BY AUTOMATED REASONING SYSTEMS. Pag. 143 - 144. En: ENCYCLOPEDIA OF DATABASES TECHNOLOGIES AND APPLICATIONS. IDEA GROUP REFERENCE. 2006. ISBN 1-59140-560-2
• Alonso-Jimenez, Jose Antonio, Borrego-Diaz, Joaquin:
  GENERALIZING LOGIC PROGRAMS VIA SUBSUMPTION. Pag. 185 - 188. En: EUROCAST 2003 - CAST AND TOOLS FOR COMPLEXITY IN BIOLOGICAL, PHYSICAL AND ENGINEERING SYSTEMS (EXTENDED ABSTRACTS). IUCTC UNIVERSIDAD DE LAS PALMAS DE GRAN CANARIA. 2003. ISBN 84-688-0820-2
• Borrego-Diaz, Joaquin, Fernandez-Margarit, Alejandro, Pérez-Jiménez, Mario Jesús:
  ON SIGMA_N DEFINABILITY IN ARITHMETIC. Pag. 47 - 56. En: PHILOSOPHICAL DIMENSIONS OF LOGIC AND SCIENCES. KLUWER ACADEMIC PUBLISHERS. 2003. ISBN 1-4020-1645-X
• Alonso-Jimenez, Jose Antonio, Borrego-Diaz, Joaquin, Chavez-Gonzalez, Antonia Mª, Navarro-Marín,Jorge D.:
  A METHODOLOGY FOR THE COMPUTER-AIDED CLEANING OF COMPLEX KNOWLEDGE DATABASES. Pag. 1806 - 1811. En: IECON 2002. IEEE INDUSTRIAL ELECTRONIC SOCIETY. 2002. ISBN 0-7803-7475-4
• Alonso-Jimenez, Jose Antonio, Borrego-Diaz, Joaquin, Chavez-Gonzalez, Antonia Mª:
  DEDUCCION AUTOMATICA EN ANILLOS TERNARIOS: ALGUNOS MÉTODOS DE PROCESAMIENTO DEL CONOCIMIENTO MATEMÁTICO. Pag. 23 - 32. En: PROCEEDINGS OF THE MEETING OF ANDALUSIAN MATHEMATICIANS. UNIVERSIDAD DE SEVILLA. SECRETARIADO DE PUBLICACIONES, SEVILLE; FUNDACIÓN EL MONTE, SEVILLE. 2001. ISBN 84-472-0290-9
• Alonso-Jimenez, Jose Antonio, Borrego-Diaz, Joaquin:
  PROXIMIDAD ENTRE CLAUSULAS EN PROGRAMACION LOGICA INDUCTIVA. Pag. 33 - 40. En: PROCEEDINGS OF THE MEETING OF ANDALUSIAN MATHEMATICIANS. UNIVERSIDAD DE SEVILLA. SECRETARIADO DE PUBLICACIONES, SEVILLE; FUNDACIÓN EL MONTE, SEVILLE. 2001. ISBN 84-472-0290-9
• Alonso-Jimenez, Jose Antonio, Borrego-Diaz, Joaquin, Chavez-Gonzalez, Antonia Mª:
  ESTRATEGIAS PARA LA DEMOSTRACIÓN AUTOMÁTICA DE TEOREMAS. Pag. 276 - 283. En: LIBRO DE ACTAS CINTE'00. SERVICIO DE PUBLICACIONES DE LA UNIVERSIDAD DE CÁDIZ. 2000. ISBN
• Alonso-Jimenez, Jose Antonio, Borrego-Diaz, Joaquin:
  INTERPRETACIÓN REACTIVA DE SISTEMAS BASADOS EN CONOCIMIENTO. Pag. 187 - 193. En: REPRESENTACIÓN Y ORGANIZACIÓN DEL CONOCIMIENTO EN SUS DISTINTAS PERSPECTIVAS. SU INFLUENCIA EN LA RECUPERACIÓN DE LA INFORMACIÓN.. ISKO-ESPAÑA. 1999. ISBN 84-699-0289-X
• Borrego-Diaz, Joaquin, Fernandez-Margarit, Alejandro, Pérez-Jiménez, Mario Jesús:
  ESPECIFICACIÓN Y DEDUCCIÓN DE PROPIEDADES TEMPORALES FACTIBLES. EL SISTEMA FDUX. Pag. 351 - 362. En: ACTAS DE LAS II JORNADAS DE INGENIERÍA DEL SOFTWARE. D. MARTÍN LIBRERO-EDITOR, S.L.. 1998. ISBN 84-95095-45-9
• Borrego-Diaz, Joaquin, Graciani-Díaz, Mª Del Carmen, Pérez-Jiménez, Mario Jesús:
  MATEMÁTICAS PARA LA VERIFICACIÓN DE PROGRAMAS. Pag. 380 - 385. En: IV JORNADES SOBRE L'ENSENYAMENT UNIVERSITARI DE LA INFORMATICA (JENUI 98). ENGINYERIA I ARQUITECTURA LA SALLE. 1998. ISBN 84-922538-3-5
• Borrego-Diaz, Joaquin, Fernandez-Margarit, Alejandro, Pérez-Jiménez, Mario Jesús:
  END AND COFINAL EXTENSIONS IN ARITHMETIC. Pag. 119 - 137. En: THE BULLETIN OF THE WORKSHOP ON MODEL THEORY AND COMPLEXITY. EDITORIAL KRONOS. 1997. ISBN 84-88620-08-X
• Borrego-Diaz, Joaquin, Balbontin-Noval, Delia, Pérez-Jiménez, Mario Jesús:
  FUNDAMENTOS DE ALGORÍTMICA. ALGUNAS CUESTIONES METODOLÓGICAS. Pag. 121 - 122. En: ACTAS DE LAS II JORNADAS NACIONALES DE INNOVACIÓN EN LAS ENSEÑANZAS DE LAS INGENIERÍAS. ICE DE LA UNIVERSIDAD DE MADRID. 1996. ISBN 84-88760-05-1
• Borrego-Diaz, Joaquin, Fernandez-Margarit, Alejandro, Pérez-Jiménez, Mario Jesús:
  LAS TEORÍA I-DELTA_N E I-NABLA_N. Pag. 128 - 131. En: ACTAS DEL I CONGRESO DE LA SOCIEDAD DE LÓGICA, METODOLOGÍA Y FILOSOFÍA DE LA CIENCIA. DEPARTAMENTO DE REPROGRAFÍA DE LA UNED. 1993. ISBN 84-604-8342-8
• Borrego-Diaz, Joaquin, Fernandez-Margarit, Alejandro, Pérez-Jiménez, Mario Jesús:
  EXTENSIONES COFINALES DE MODELOS DE LA ARITMÉTICA. Pag. 273 - 277. En: LENGUAJES NATURALES Y LENGUAJES FORMALES, IX. Promociones Y Publicaciones Universitarias. 1993. ISBN 84-477-0264-2
• Borrego-Diaz, Joaquin, Fernandez-Margarit, Alejandro, Pérez-Jiménez, Mario Jesús:
  INDUCCIÓN ACOTADA. Pag. 122 - 127. En: ACTAS DEL I CONGRESO DE LA SOCIEDAD DE LÓGICA, METODOLOGÍA Y FILOSOFÍA DE LA CIENCIA. DEPARTAMENTO DE REPROGRAFÍA DE LA UNED. 1993. ISBN 84-604-8342-8
• Borrego-Diaz, Joaquin:
  MEREOTOPOLOGICAL ANALYSIS OF FORMAL CONCEPTS IN SECURITY ONTOLOGIES. Pag. 33 - 40. En: .. Sinónimo Desconocido. 1967. ISBN

Publicaciones en Revistas:

• Rodríguez-chavarría, Daniel, Gutierrez-Naranjo, Miguel Angel, Borrego-Diaz, Joaquin:
  Logic Negation with Spiking Neural P Systems. En: Neural Processing Letters. 2020. Vol. 52. Núm. 2. Pag. 1583-1599 https://doi.org/10.1007/s11063-020-10324-6
• Alonso-Jimenez, Jose Antonio, Aranda-Corral, Gonzalo A., Borrego-Diaz, Joaquin, Fernandez-Lebron, Magdalena, Hidalgo-Doblado, Maria Jose:
  A logic-algebraic tool for reasoning with Knowledge-Based Systems. En: Journal of Logical and Algebraic Methods in Programming. 2018. Vol. 101. Núm. 1. Pag. 88-109 https://doi.org/10.1016/j.jlamp.2018.09.001
• Alonso-Jimenez, Jose Antonio, Hidalgo-Doblado, Maria Jose, Borrego-Diaz, Joaquin, Martín-mateos, Francisco Jesús, Ruiz-Reina, Jose Luis:
  FORMALLY VERIFIED TABLEAU-BASED REASONERS FOR A DESCRIPTION LOGIC. En: Journal of Automated Reasoning. 2014. Vol. 52. Núm. 3. Pag. 331-360 10.1007/s10817-013-9291-8
• Chavez-Gonzalez, Antonia Mª, Aranda-Corral, Gonzalo A., Borrego-Diaz, Joaquin:
  Extending Qualitative Spatial Theories with Emergent Spatial Concepts. An Automated Reasoning Approach. En: Lecture Notes in Computer Science. 2014. Vol. LNAI 8480. Núm. . Pag. 427-438 10.1007/978-3-319-07617-1_38
• Aranda-Corral, Gonzalo A., Borrego-Diaz, Joaquin, Galán-páez, Juan:
  Qualitative Reasoning on Complex Systems from Observations. En: Lecture Notes in Computer Science. 2013. Vol. 8073. Núm. 1. Pag. 202-211 10.1007/978-3-642-40846-5_21
• Aranda-Corral, Gonzalo A., Borrego-Diaz, Joaquin, Giráldez, Jesús:
  Agent-mediated shared conceptualizations in tagging services. En: Multimedia Tools and Applications. 2013. Vol. 65. Núm. 1. Pag. 5-28 10.1007/s11042-012-1146-5
• Aranda-Corral, Gonzalo A., Borrego-Diaz, Joaquin, Galán-páez, Juan:
  On the Phenomenological Reconstruction of Complex Systems -- The Scale-Free Conceptualization Hypothesis. En: Systems Research and Behavioral Science. 2013. Vol. 30. Núm. 6. Pag. 716-734 10.1002/sres.2240
• Aranda-Corral, Gonzalo A., Borrego-Diaz, Joaquin, Galán-páez, Juan:
  Complex concept lattices for simulating human prediction in sport. En: Journal of Systems Science and Complexity. 2013. Vol. 26. Núm. 1. Pag. 117-136 10.1007/s11424-013-2288-x
• Borrego-Diaz, Joaquin, Chavez-Gonzalez, Antonia Mª:
  SEMANTIC GEODEMOGRAPHY AND URBAN INTEROPERABILITY. En: Communications in Computer and Information Science. 2012. Vol. . Núm. 343. Pag. 1-12 10.1007/978-3-642-35233-I
• Aranda-Corral, Gonzalo A., Borrego-Diaz, Joaquin, Galán-páez, Juan:
  Bounded Rationality for Data Reasoning Based on Formal Concept Analysis. En: International Workshop on Database and Expert Systems Applications. 2011. Vol. 22. Núm. 1. Pag. 350-354 10.1109/DEXA.2011.18
• Aranda-Corral, Gonzalo A., Borrego-Diaz, Joaquin, Galán-páez, Juan:
  Confidence-Based Reasoning with Local Temporal Formal Contexts. En: Lecture Notes in Computer Science. 2011. Vol. 6692. Núm. 1. Pag. 461-468 10.1007/978-3-642-21498-1_58
• Aranda-Corral, Gonzalo A., Borrego-Diaz, Joaquin, Galán-páez, Juan:
  BOUNDED RATIONALITY FOR DATA REASONING. En: International Workshop on Database and Expert Systems Applications. 2011. Vol. . Núm. . Pag. 350-354
• Borrego-Diaz, Joaquin, Aranda-Corral, Gonzalo A., Jiménez-Mavillard, Antonio:
  SOCIAL ONTOLOGY DOCUMENTATION FOR KNOWLEDGE EXTERNALIZATION. En: Communications in Computer and Information Science. 2010. Vol. 108. Núm. . Pag. 137-148
• Aranda-Corral, Gonzalo A., Borrego-Diaz, Joaquin:
  MEREOTOPOLOGICAL ANALYSIS OF FORMAL CONCEPTS IN SECURITY ONTOLOGIES. En: Advances in Soft Computing. 2010. Vol. 85. Núm. . Pag. 33-40
• Aranda-Corral, Gonzalo A., Borrego-Diaz, Joaquin:
  RECONCILING KNOWLEDGE IN SOCIAL TAGGING WEB SERVICES. En: Lecture Notes in Computer Science. 2010. Vol. 6076. Núm. 2. Pag. 383-390
• Aranda-Corral, Gonzalo A., Borrego-Diaz, Joaquin, Fernandez-Lebron, Magdalena:
  CONSERVATIVE RETRACTIONS OF PROPOSITIONAL LOGIC THEORIES BY MEANS OF BOOLEAN DERIVATIVES: THEORETICAL FOUNDATIONS. En: Lecture Notes in Computer Science. 2009. Vol. 5625/2009. Núm. . Pag. 45-58
• Borrego-Diaz, Joaquin, Aranda-Corral, Gonzalo A.:
  TOWARD SEMANTIC MOBILE WEB 2.0 THROUGH MULTIAGENT SYSTEMS. En: Lecture Notes in Computer Science. 2009. Vol. 5559. Núm. . Pag. 400-409
• Borrego-Diaz, Joaquin, Chavez-Gonzalez, Antonia Mª:
  USING COGNITIVE ENTROPY TO MANAGE UNCERTAIN CONCEPTS IN FORMAL ONTOLOGIES. En: Lecture Notes in Computer Science. 2008. Vol. . Núm. . Pag. 315-329
• Alonso-Jimenez, Jose Antonio, Borrego-Diaz, Joaquin, Hidalgo-Doblado, Maria Jose, Martín-mateos, Francisco Jesús, Ruiz-Reina, Jose Luis:
  A FORMALLY VERIFIED PROVER FOR THE ALC DESCRIPTION LOGIC. En: Lecture Notes in Computer Science. 2007. Vol. 4732. Núm. . Pag. 135-150
• Borrego-Diaz, Joaquin, Chavez-Gonzalez, Antonia Mª:
  A FORMAL FOUNDATION FOR KNOWLEDGE INTEGRATION OF DEFFICENT INFORMATION IN THE SEMANTIC WEB. En: Lecture Notes in Computer Science. 2007. Vol. . Núm. 4739. Pag. 305-312
• Alonso-Jimenez, Jose Antonio, Borrego-Diaz, Joaquin, Chavez-Gonzalez, Antonia Mª, Martin-Mateos, Francisco Jesus:
  FOUNDATIONAL CHALLENGES IN AUTOMATED SEMANTIC WEB DATA AND ONTOLOGY CLEANING. En: IEEE Intelligent Systems and Their Applications. 2006. Vol. 21. Núm. 1. Pag. 42-52
• Borrego-Diaz, Joaquin, Chavez-Gonzalez, Antonia Mª:
  VISUAL ONTOLOGY CLEANING: COGNITIVE PRINCIPLES AND APPLICABILITY. En: Lecture Notes in Computer Science. 2006. Vol. 4011. Núm. . Pag. 317-331
• Borrego-Diaz, Joaquin, Chavez-Gonzalez, Antonia Mª:
  CONTROLLING ONTOLOGY EXTENSION BY UNCERTAIN CONCEPTS THROUGH COGNITIVE ENTROPY. En: CEUR Workshop Proceedings. 2006. Vol. 173. Núm. . Pag. 1-10
• Borrego-Diaz, Joaquin, Chavez-Gonzalez, Antonia Mª:
  EXTENSION OF ONTOLOGIES ASSISTED BY AUTOMATED REASONING SYSTEMS. En: Lecture Notes in Computer Science. 2005. Vol. 3643. Núm. . Pag. 247-253
• Chavez-Gonzalez, Antonia Mª, Borrego-Diaz, Joaquin, Alonso-Jimenez, Jose Antonio:
  ONTOLOGY CLEANING BY MEREOTOPOLOGICAL REASONING. En: International Workshop on Database and Expert Systems Applications. 2004. Vol. . Núm. . Pag. 132-137
• Gutierrez-Naranjo, Miguel Angel, Alonso-Jimenez, Jose Antonio, Borrego-Diaz, Joaquin:
  GENERALIZING PROGRAMS VIA SUBSUMPTION. En: Lecture Notes in Computer Science. 2003. Vol. 2809. Núm. . Pag. 115-126
• Alonso-Jimenez, Jose Antonio, Borrego-Diaz, Joaquin, Chavez-Gonzalez, Antonia Mª, Gutierrez-Naranjo, Miguel Angel, Navarro-Marín,Jorge D.:
  TOWARDS A PRACTICAL ARGUMENTATIVE REASONING WITH QUALITATIVE SPATIAL DATABASES. En: Lecture Notes in Computer Science. 2003. Vol. 2718. Núm. . Pag. 789-798
• Gutierrez-Naranjo, Miguel Angel, Alonso-Jimenez, Jose Antonio, Borrego-Diaz, Joaquin:
  A QUASI-METRIC FOR MACHINE LEARNING. En: Lecture Notes in Computer Science. 2002. Vol. 2527. Núm. . Pag. 193-203
• Borrego-Diaz, Joaquin, Fernandez-Margarit, Alejandro:
  ON OVERSPILL PRINCIPLES AND AXIOM SCHEMES FOR BOUNDED FORMULAS. En: Mathematical Logic Quarterly. 1996. Vol. 42. Núm. 3. Pag. 341-348
• Borrego-Diaz, Joaquin, Fernandez-Margarit, Alejandro, Pérez-Jiménez, Mario Jesús:
  On overspill Principles and Axiom Schemes for Bounded Formulas. En: Mathematical Logic Quarterly. 1996. Vol. 42. Núm. . Pag. 341-348

Otra participación en Libros de Actas:

• Borrego-Diaz, Joaquin, Ruiz-Reina, Jose Luis, Alonso-Jimenez,Jose A:
  IDEIA 2002: I TALLER IBEROAMERICANO SOBRE DEDUCCIÓN AUTOMÁTICA E INTELIGENCIA ARTIFICIAL. 2002. ISBN . DEPARTAMENTO DE CIENCIAS DE LA COMPUTACION E INTELIGENCIA ARTIFICIAL. UNIVERSIDAD DE SEVILLA Santander (ESPAÑA)

Aportaciones a Congresos:

• Aranda-Corral, Gonzalo A., Borrego-Diaz, Joaquin, Galán-páez, Juan, Trujillo-caballero, Alejandro:
  On experimental efficiency for retraction operator to stem basis. Comunicación en congreso. European Symposium on Computational Intelligence and Mathematics. - Faro; Portugal. 2017
• Aranda-Corral, Gonzalo A., Borrego-Diaz, Joaquin, Galán-páez, Juan:
  Urban Knowledge Extraction, Representation and Reasoning as a Bridge from Data City towards Smart City. Ponencia en Congreso. UIC/ATC/ScalCom/CBDCom/IoP/SmartWorld 2016. Toulouse. 2016
• Galán-páez, Juan, Borrego-Diaz, Joaquin, Aranda-Corral, Gonzalo A.:
  Modeling Lexicon Emergence as Concept Emergence in Networks. Ponencia en Congreso. International Afro-European Conference for Industrial Advancement. Villejuif (Paris-sud). 2015
• Aranda-Corral, Gonzalo A., Borrego-Diaz, Joaquin, Solis-martín, David:
  iaBastos: An Intelligent Marketplace for Agricultural Products. Ponencia en Congreso. 13th International Conference on Practical Applications of Agents and Multi-Agent Systems. - Salamanca, España. 2015
• Pro, José Luis, Chavez-Gonzalez, Antonia Mª, Borrego-Diaz, Joaquin:
  Specifying and Verifying Meta-Security by Means of Semantic Web Methods. Comunicación en congreso. CISIS. International Conference on Computational Intelligence in Security for Information Systems.. Bilbao, Spain.. 2014
• Aranda-Corral, Gonzalo A., Borrego-Diaz, Joaquin, Galán-páez, Juan, Jiménez-Mavillard, Antonio:
  Emergent Concepts on Knowledge Intensive Processes. Ponencia en Congreso. International Conference on Computational Collective Intelligence. Seul. 2014
• Aranda-Corral, Gonzalo A., Borrego-Diaz, Joaquin, Galán-páez, Juan:
  Simulating Language Dynamics by Means of Concept Reasoning. Ponencia en Congreso. 7th International ICST Conference on Bio-Inspired Models of Network, Information, and Computing Systems. Lugano. 2012
• Aranda-Corral, Gonzalo A., Borrego-Diaz, Joaquin, Giráldez, Jesús:
  On the Complexity of Shared Conceptualizations. Ponencia en Congreso. 11th International Conference on Artificial Intelligence and Soft Computing. Cz¿stochowa,Poland. 2012
• Aranda-Corral, Gonzalo A., Borrego-Diaz, Joaquin:
  FCA & SEMANTIC MOBILE WEB 2.0. Ponencia en Congreso. IFCA: INFORMAL FCA WORKSHOP () (.2011.DRESDEN. GERMANY). DRESDEN. GERMANY. 2011
• Aranda-Corral, Gonzalo A., Borrego-Diaz, Joaquin:
  ROBOCUP: IA EN SISTEMAS MULTIAGENTE Y FÚTBOL DE SIMULACIÓN. Conferencia Congreso no publicada. JORNADAS DE ROBÓTICA ROBOTUS (1) (1.2010.SEVILLA). . 2010
• Paredes-Moreno, Antonio, Alonso-Jimenez, Jose Antonio, Borrego-Diaz, Joaquin, Aranda-Corral, Gonzalo A.:
  PRAGMATIC KNOWLEDGE INTEGRATION BASED ON SEMANTIC INTEROPERABILITY IN BUSINESS.. Ponencia en Congreso. III Congreso Internacional de Patrimonio Cultural y Cooperación al Desarrollo.. Museo Nacional de Antropología. Ciudad de México.. 2010
• Borrego-Diaz, Joaquin, Chavez-Gonzalez, Antonia Mª, Aranda-Corral, Gonzalo A.:
  MEREOTOPOLOGICAL PATTERNS FOR ONTOLOGY EVOLUTION AND DEBUGGING. Comunicación en congreso. CTIC 2010 WORKSHOP ON COMPUTATIONAL TOPOLOGY IN IMAGE CONTEXT, CHIPIONA (CÁDIZ), 2010). CHIPIONA, CÁDIZ. 2010
• Borrego-Diaz, Joaquin, Aranda-Corral, Gonzalo A., Alonso-Jimenez, Jose Antonio:
  SISTEMA CERTIFICADO DE DECISIÓN PROPOSICIONAL BASADO EN POLINOMIOS. Comunicación en congreso. COMPUTATIONAL LOGICS AND ARTIFICIAL INTELLIGENCE. . 2009
• Borrego-Diaz, Joaquin:
  OPORTUNIDADES DE NEGOCIO PARA LA INTELIGENCIA ARTIFICIAL EN LA (POST)WEB 2.0. Conferencia Congreso no publicada. IMAGINÁTICA () (.2009.SEVILLA). . 2009
• Aranda-Corral, Gonzalo A., Alonso-Jimenez, Jose Antonio, Borrego-Diaz, Joaquin:
  SISTEMA CERTIFICADO DE DECISIÓN PROPOSICIONAL BASADO EN POLINOMIOS.. Comunicación en congreso. COMPUTATIONAL LOGICS AND ARTIFICIAL INTELLIGENCE. . 2009
• Borrego-Diaz, Joaquin:
  PROYECTO MINERVA: INVESTIGACIÓN E INNOVACIÓN. Mesa redonda de Congreso. I FORO DE PROYECTOS ANDALUCES EN MOVILIDAD (1) (1.2009.SEVILLA). . 2009
• Borrego-Diaz, Joaquin, Aranda-Corral, Gonzalo A.:
  WEB SEMÁNTICA, SISTEMAS MULTIAGENTE Y REDES SOCIALES MÓVILES: PROYECTO MOWENTO. Conferencia Congreso no publicada. JORNADAS CIENTÍFICO-TÉCNICAS DE DIFUSIÓN DE LA TECNOLOGÍA MULTIAGENTE EN LA UNIVERSIDAD DE SEVILLA (1) (1.2009.SEVILLA). . 2009
• Aranda-Corral, Gonzalo A., Borrego-Diaz, Joaquin:
  ONTOXICWIKI: UNA HERRAMIENTA PARA LA REPARACIÓN Y DOCUMENTACIÓN SOCIAL Y COLECTIVA DE ONTOLOGÍAS. Conferencia Congreso no publicada. OPEN SOURCE WORLD CONFERENCE 2008 (1) (1.2008.MÁLAGA). . 2008
• Paredes-Moreno, Antonio, Alonso -jimenez, José Antonio , Borrego-Diaz, Joaquin, Chavez-Gonzalez, Antonia Mª:
  La ontología empresarial: Un motor lógico de renovación del sistema de información de la empresa.. Comunicación en congreso. INTERTIC () (.2007.OPORTO, PORTUGAL). . 2007
• Borrego-Diaz, Joaquin, Chavez-Gonzalez, Antonia Mª:
  A FORMAL FOUNDATION FOR KNOWLEDGE INTEGRATION OF DEFFICENT INFORMATION IN THE SEMANTIC WEB. Comunicación en congreso. INTERNATIONAL CONFERENCE ON COMPUTER AIDED SYSTEMS THEORY. LAS PALMAS DE GRAN CANARIA, SPAIN. 2007
• Paredes-Moreno, Antonio, Alonso-Jimenez, Jose Antonio, Borrego-Diaz, Joaquin:
  LA INTEGRACIÓN DE LA INFORMACIÓN EN ENTORNOS EMPRESARIALES. LA ONTOLOGÍA DE EMPRESA COMO MOTOR LÓGICO DE RENOVACIÓN. PROPUESTA ESPECIFICA VS ONTOLOGÍA. Ponencia en Congreso. IASK - INTERNATIONAL ASOCIATION FOR THE SCIENTIFIC KNOWLEDGE () (.2007.OPORTO, PORTUGAL). . 2007
• Borrego-Diaz, Joaquin, Chavez-Gonzalez, Antonia Mª:
  ANOMALIAS EN ONTOLOGIAS PROVISIONALES. Comunicación en congreso. VIII CONGRESO ISKO ESPAÑA. LEÓN, ESPAÑA. 2007
• Alonso-Jimenez, Jose Antonio, Borrego-Diaz, Joaquin, Hidalgo-Doblado, Maria Jose, Martín-mateos, Francisco Jesús, Ruiz-Reina, Jose Luis:
  A FORMALLY VERIFIED PROVER FOR THE ALC DESCRIPTION LOGIC. Comunicación en congreso. THEOREM PROVING IN HIGHER ORDER LOGICS. KAISERSLAUTERN, ALEMANIA. 2007
• Borrego-Diaz, Joaquin, Chavez-Gonzalez, Antonia Mª:
  FUSION AUTOMATIZADA DE ONTOLOGIAS : APLICACIÓN AL RAZONAMIENTO ESPACIAL CUALITATIVO. Comunicación en congreso. CAMPUS MULTIDISCIPLINAR EN PERCEPCIÓN E INTELIGENCIA (CMPI 2006) () (.2006.ALBACETE, ESPAÑA). ALBACETE, ESPAÑA. 2006
• Borrego-Diaz, Joaquin, Chavez-Gonzalez, Antonia Mª:
  VISUAL ONTOLOGY CLEANING: COGNITIVE PRINCIPLES AND APPLICABILITY. Comunicación en congreso. EUROPEAN SEMANTIC WEB CONFERENCE ESWC 2006 () (.2006.BUDVA, MONTENEGRO). BUDVA, MONTENEGRO. 2006
• Borrego-Diaz, Joaquin, Chavez-Gonzalez, Antonia Mª:
  EXTENSION OF ONTOLOGIES ASSISTED BY AUTOMATED REASONING SYSTEMS. Conferencia Congreso no publicada. CONGRESO DE TIPOGRAFIA (1.2004.VALENCIA, ESPAÑA). VALENCIA, ESPAÑA. 2004
• Alonso-Jimenez, Jose Antonio, Borrego-Diaz, Joaquin, Chavez-Gonzalez, Antonia Mª:
  TOWARDS A TOOL FOR ONTOLOGY ENGINEERING. Comunicación en congreso. WORLD AUTOMATION CONGRESS () (.2004.SEVILLA, SPAIN). SEVILLA, SPAIN. 2004
• Chavez-Gonzalez, Antonia Mª, Alonso-Jimenez, Jose Antonio, Borrego-Diaz, Joaquin:
  ONTOLOGY CLEANING BY MEREOTOPOLOGICAL REASONING. Comunicación en congreso. INTERNATIONAL WORKSHOP ON WEB SEMANTICS. WEBS 2004. (DEXA 2004) (3) (3.2004.ZARAGOZA, ESPAÑA). ZARAGOZA, ESPAÑA. 2004
• Chavez-Gonzalez, Antonia Mª, Borrego-Diaz, Joaquin, Alonso-Jimenez, Jose Antonio:
  TOWARDS A PRACTICAL ARGUMENTATIVE REASONING WITH QUALITATIVE SPATIAL DATABASES (IEA/AIE 2003). Comunicación en congreso. IEA/AIE 2003 () (.2003.LOUGHBOROUGH, UNITED KINGDOM). LOUGHBOROUGH, UNITED KINGDOM. 2003
• Alonso-Jimenez, Jose Antonio, Borrego-Diaz, Joaquin:
  GENERALIZING LOGIC PROGRAMS VIA SUBSUMPTION. Comunicación en congreso. INTERNATIONAL WORKSHOP ON COMPUTER AIDED SYSTEMS THEORY (9.2003.LAS PALMAS DE GRAN CANARIA). LAS PALMAS DE GRAN CANARIA. 2003
• Gutierrez-Naranjo, Miguel Angel, Alonso-Jimenez, Jose Antonio, Borrego-Diaz, Joaquin:
  GENERALIZING LOGIC PROGRAMS VIA SUBSUMPTION. Comunicación en congreso. INTERNATIONAL CONFERENCE ON COMPUTER AIDED SYSTEMS THEORY (9.2003.LAS PALMAS DE GRAN CANARIA). LAS PALMAS DE GRAN CANARIA. 2003
• Alonso-Jimenez, Jose Antonio, Borrego-Diaz, Joaquin, Chavez-Gonzalez, Antonia Mª, Navarro-Marín,Jorge D.:
  A METHODOLOGY FOR THE COMPUTER-AIDED CLEANING OF COMPLEX KNOWLEDGE DATABASES. Comunicación en congreso. THE 28TH ANNUAL CONFERENCE OF IEEE INDUSTRIAL ELECTRONICS SOCIETY (.2002.SEVILLA, ESPAÑA). Santander (ESPAÑA). 2002
• Alonso-Jimenez, Jose Antonio, Borrego-Diaz, Joaquin, Hidalgo-Doblado, Maria Jose, Martín-mateos, Francisco Jesús, Ruiz-Reina, Jose Luis:
  UNA INTRODUCCIÓN AL ANÁLISIS FORMAL DE CONCEPTOS EN PVS. Comunicación en congreso. I TALLER IBEROAMERICANO SOBRE DEDUCCION AUTOMATICA E INTELIGENCIA ARTIFICIAL. Santander (ESPAÑA). 2002
• Alonso-Jimenez, Jose Antonio, Borrego-Diaz, Joaquin, Hidalgo-Doblado, Maria Jose, Ruiz-Reina, Jose Luis:
  UNA INTRODUCCIÓN AL ANÁLISIS FORMAL DE CONCEPTOS EN PVS. Comunicación en congreso. I TALLER IBEROAMERICANO SOBRE DEDUCCION AUTOMATICA E INTELIGENCIA ARTIFICIAL. Santander (ESPAÑA). 2002
• Alonso-Jimenez, Jose Antonio, Borrego-Diaz, Joaquin, Chavez-Gonzalez, Antonia Mª, Gutierrez-Naranjo, Miguel Angel, Navarro-Marín,Jorge D.:
  A METHODOLOGY FOR THE COMPUTER-AIDED CLEANING OF COMPLEX KNOWLEDGE DATABASES. Comunicación en congreso. INDUSTRIAL ELECTRONICS CONFERENCE (.2002.SEVILLA). . 2002
• Alonso-Jimenez, Jose Antonio, Borrego-Diaz, Joaquin:
  A QUASI-METRIC FOR MACHINE LEARNING. Comunicación en congreso. IBERO-AMERICAN CONFERENCE ON A.I. (8.2002.SEVILLA). . 2002
• Alonso-Jimenez, Jose Antonio, Borrego-Diaz, Joaquin, Chavez-Gonzalez, Antonia Mª, Gutierrez-Naranjo, Miguel Angel:
  TOWARDS A PRACTICAL ARGUMENTATIVE REASONING WITH QSD. Comunicación en congreso. I TALLER IBEROAMERICANO SOBRE DEDUCCION AUTOMATICA E INTELIGENCIA ARTIFICIAL. Santander (ESPAÑA). 2002
• Alonso-Jimenez, Jose Antonio, Borrego-Diaz, Joaquin:
  PROXIMIDAD ENTRE CLAUSULAS EN PROGRAMACION LOGICA INDUCTIVA. Comunicación en congreso. ENCUENTRO DE MATEMÁTICOS ANDALUCES (1.2000.SEVILLA, ESPAÑA). Santander (ESPAÑA). 2000
• Gutierrez-Naranjo, Miguel Angel, Alonso-Jimenez, Jose Antonio, Borrego-Diaz, Joaquin:
  PROXIMIDAD ENTRE CLÁUSULAS EN PROGRAMACIÓN LÓGICA INDUCTIVA. Comunicación en congreso. ENCUENTRO DE MATEMÁTICOS ANDALUCES (1.2000.SEVILLA, ESPAÑA). Santander (ESPAÑA). 2000
• Gutierrez-Naranjo, Miguel Angel, Alonso-Jimenez, Jose Antonio, Borrego-Diaz, Joaquin:
  UNA QUASI-METRICA BASADA EN SUBSUNCION. Comunicación en congreso. JORNADAS CIENTIFICAS EN TECNOLOGIAS DE LA INFORMACION (4.2000.CADIZ, ESPAÑA). CADIZ, ESPAÑA. 2000
• Gutierrez-Naranjo, Miguel Angel, Alonso-Jimenez, Jose Antonio, Borrego-Diaz, Joaquin:
  A TOPOLOGICAL STUDY OF THE UPWARD REFINEMENT OPERATORS ON ILP. Poster en Congreso. INDUCTIVE LOGIC PROGRAMMING 10TH INTERNATIONAL CONFERENCE, ILP 2000 (.2000.LONDRES, REINO UNIDO). LONDRES, REINO UNIDO. 2000
• Borrego-Diaz, Joaquin, Graciani-Díaz, Mª Del Carmen, Pérez-Jiménez, Mario Jesús:
  MATEMÁTICAS PARA LA VERIFICACIÓN DE PROGRAMAS. Comunicación en congreso. IV JORNADAS SOBRE LA ENSEÑANZA UNIVERSITARIA DE LA INFORMATICA. ANDORRA. 1998
• Balbontin-Noval, Delia, Borrego-Diaz, Joaquin, Pérez-Jiménez, Mario Jesús:
  FUNDAMENTOS DE ALGORÍTMICA. ALGUNAS CUESTIONES METODOLÓGICAS. Comunicación en congreso. JORNADAS NACIONALES DE INNOVACIÓN EN LAS ENSEÑANZAS DE LAS INGENIERÍAS (2) . MADRID (ESPAÑA). 1996

Tesis dirigidas y co-dirigidas:

• Paredes-Moreno, Antonio:
  TÉCNICAS DE DEPURACIÓN E INTEGRACIÓN DE ONTOLOGÍAS EN EL ÁMBITO EMPRESARIAL. Tesis Doctoral. 2008
• Chavez-Gonzalez, Antonia Mª:
  RAZONAMIENTO MEREOTOPOLÓGICO AUTOMATIZADO PARA LA DEPURACIÓN DE ONTOLOGÍAS. Tesis Doctoral. 2005
• Gutierrez-Naranjo, Miguel Angel:
  OPERADORES DE GENERALIZACION PARA EL APRENDIZAJE CLAUSAL. Tesis Doctoral. 2002