Joaquín Borrego Díaz
Telefono: 95.455.78.79
Email: Solicitar correo
Perfil en ORCID: 0000-0003-0528-9459
Perfil en WOS: M-3295-2014
Perfil en Scopus: 6507161404
Perfil en Dialnet: 1013060

Grupo de Investigación: Logica, Computacion e Ingenieria del Conocimiento
Departamento/Unidad: Ciencias de la Computación e Inteligencia Artificial
Situación profesional: Profesor Titular de Universidad

Responsable de los siguientes proyectos/ayudas en la US:

• Proyecto de investigación:
  • Herramientas Lógicas y Algebraicas para el Análisis de Sistemas Basados en Conocimiento. Aplicaciones (PID2019-109152GB-I00)
  • Lógica Computacional para la Ciencia del Dato (TIN2013-41086-P)
  • Conceptos Emergentes en Sistemas Complejos. Aplicaciones en Entornos Urbanos y en Complejidad Cultural (P10-TIC-6064)
  • Modelo lógico-computacional para la evolución de teorías sobre conceptos formales (TIN2009-09492)
  
  
• Contrato con empresas (Arts. 68/83 LOU):
  • 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)
  
  
• Ayuda a la investigación:
  • Incentivo al Grupo de Investigación TIC-137 (2021/TIC-137)
  • Incentivo al Grupo de Investigación TIC-137 (2019/TIC-137)
  • Cla 2010, the International Conference on Concept Lattices and Their Applications. (PP2010-01-023)
  • CLA 2010, the International Conference on Concept Lattices and Their Applications (TIN2010-11572-E)
  • Verificación automática de bases de conocimiento semiestructuradas (PP2002/02-02)
  
  

Participa en los siguientes proyectos/ayudas en la US:

• Proyecto de investigación:
  • Sistemas verificados para razonamiento en la Web semántica (TIN2004-03884 - Investigador)
  
  
• Contrato con empresas (Arts. 68/83 LOU):
  • CÁTEDRA DE INTELIGENCIA ARTIFICIAL US - GOOGLE (TSI-100930-2023-2 - Investigador)
  • 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 regeneración sostenible (2040/0701 - Investigador)
  
  
• Ayuda a la investigación:
  • Incentivo al Grupo de Investigación TIC-137 (2017/TIC-137 - Investigador)
  • Ayuda a la Consolidación del Grupo de Investigación TIC-137 (2007/TIC-137 - Investigador)
  • Ayuda a la Consolidación del Grupo de Investigación TIC-137 (2006/TIC-137 - Investigador)
  • Ayuda a la Consolidación del Grupo de Investigación TIC-137 (2005/TIC-137 - Investigador)
  
  

Cobertura de la base de datos de proyectos, véase aqui

Publicaciones:

Libros

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. Santander (ESPAÑA). 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

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. España. Ediciones la Ñ. 1998. 373. ISBN 84-89524-45-9 94152 2

Otra participación en Libros

Borrego Diaz, Joaquin (Coordinador), Sancho Caparrini, Fernando (Coordinador), Aranda Corral, Gonzalo A. (Coordinador), Domínguez, Ismael (Coordinador):
FORMA 14 : Complex Systems Workshop: Sevilla 22-25 Octubre 2014. Sevilla. Fidetia. 2015. ISBN 978-84-617-9075-3

Borrego Diaz, Joaquin (Coordinador), Sancho Caparrini, Fernando (Coordinador), Aranda Corral, Gonzalo A. (Coordinador), Domínguez, Ismael (Coordinador):
FORMA 13 : Complex Systems Workshop: Sevilla 23-26 Oct 2013. Sevilla. Fidetia. 2014. ISBN 978-84-617-9076-0

Borrego Diaz, Joaquin (Editor/a), Salguero Lamillar, Francisco Jose (Editor/a):
The Bulletin of the Workshop on Model Theory and Complexity. Editorial Kronos. 1997. ISBN 84-88620-08-X

Capítulos en 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

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

Aranda Corral, Gonzalo A., Borrego Diaz, Joaquin, Galán Páez, Juan:
Scale-free structure in concept lattices associated to complex systems}. Vol. 1. 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. Vol. 1. 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. Ed. 2011. Hershey, Pennsylvania (USA). Igi Global. 2011

Borrego Diaz, Joaquin:
Artificial Intelligence and the Semantics of (Virtual) Space. Vol. 2. Pag. 52-68. En: Inclusiva Net: Redes Digitales y Espacio Físico || Inclusiva Net: Digital Nets and Physical Space. Media Lab Madrid. 2009

Alonso Jimenez, Jose Antonio, Borrego Diaz, Joaquin, Chavez Gonzalez, Antonia Mª:
Inconsistency, Logic Databases and Ontologies. Vol. 2. Pag. 452-459. En: Handbook of Research on Innovations in Database Technologies and Applications: Current and Future Trends. Hershey Pa. 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. Vol. 1. Pag. 121-132. En: Proceedings of the Sixth International Conference on Concept Lattices and Their Applications. Olomouc, Chequia. Radim Belohlavek and Sergei O. Kuznetsov. 2008. ISBN 978-80-244-2111-7

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. Lisboa, Portugal. Iadis Press Publisher. 2007

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. Leon, España. S. E. Universidad de León. 2007

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. Hershey (Pennsylvania), Estados Unidos. Idea Group Reference. 2006. ISBN 1-59140-560-2

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. Albacete, España. 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. Hershey (Pennsylvania), Estados Unidos. Idea Group Reference. 2006. ISBN 1-59140-560-2

Alonso Jimenez, Jose Antonio, Borrego Diaz, Joaquin:
Generalizing Logic Programs Via Subsumption. Vol. 1. Pag. 185-188. En: Eurocast 2003 - Cast and Tools for Complexity in Biological, Physical and Engineering Systems (Extended Abstracts). Las Palmas de Gran Canaria, España. 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. Dordrecht, Holanda. 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. Santander (ESPAÑA). 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. Santander (ESPAÑA). 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. Vol. 2. Pag. 33-40. En: Proceedings of the Meeting of Andalusian Mathematicians. Santander (ESPAÑA). 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. Cadiz. Servicio de Publicaciones de la Universidad de Cádiz. 2000

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.. Granada. 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. Murcia. 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). . Barcelona, España. 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:
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, 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:
Mereotopological Analysis of Formal Concepts in Security Ontologies. Pag. 33-40. En: .. Spain. Sinónimo Desconocido. 1967

Borrego Diaz, Joaquin, Perez Jimenez, Antonio Jesus, Pérez Jiménez, Mario Jesús:
Fundamentos de Computación Paralela. Algoritmos Paralelos. Pag. 1-86

Balbotín, Delia, Borrego Diaz, Joaquin, Pérez Jiménez, Mario Jesús:
Curso de Algorítmica. Parte I. Pag. 1-158

Aranda Corral, Gonzalo A., Borrego Diaz, Joaquin, Galán Páez, Juan:
Synthetizing Qualitative (Logical) Patterns for Pedestrian Simulation from Data. Pag. 243-260

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

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. Pag. 427-438. 10.1007/978-3-319-07617-1_38

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

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:
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, 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. 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. Pag. 350-354

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:
Mereotopological Analysis of Formal Concepts in Security Ontologies. En: Advances in Soft Computing. 2010. Vol. 85. Pag. 33-40

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. Pag. 137-148

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. Pag. 400-409

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. Pag. 45-58

Borrego Diaz, Joaquin, Chavez Gonzalez, Antonia Mª:
Using Cognitive Entropy to Manage Uncertain Concepts in Formal Ontologies. En: Lecture Notes in Computer Science. 2008. 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. 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. 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. 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. 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. 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. Pag. 132-137

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. Pag. 789-798

Gutierrez Naranjo, Miguel Angel, Alonso Jimenez, Jose Antonio, Borrego Diaz, Joaquin:
Generalizing Programs Via Subsumption. En: Lecture Notes in Computer Science. 2003. Vol. 2809. Pag. 115-126

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. Pag. 193-203

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. Pag. 341-348

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

Otra participación en Libros de Actas

Borrego Diaz, Joaquin (Editor/a), Ruiz Reina, Jose Luis (Editor/a):
Ideia 2002: I Taller Iberoamericano Sobre Deducción Automática e Inteligencia Artificial. 2002. 142. 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, Galán Páez, Juan:
Selecting Attributes for Sport Forecasting using Formal Concept Analysis. Ponencia en Taller de trabajo. Workshop on Complex Systems and Sports. Granada. 2011

Aranda Corral, Gonzalo A., Borrego Diaz, Joaquin:
Fca & Semantic Mobile Web 2.0. Ponencia en Congreso. Ifca: Informal Fca Workshop. 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. 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. E-Commerce 2007 Iadis International Conference. 1. 37

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:
Oportunidades de Negocio para la Inteligencia Artificial en la (Post)Web 2.0. Conferencia Congreso no publicada. Imaginática. 2009

Borrego Diaz, Joaquin:
Proyecto Minerva: Investigación e Innovación. Mesa redonda de Congreso. I Foro de Proyectos Andaluces en Movilidad. 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. 2009

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

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. Computational Logics and Artificial Intelligence. 101. 111

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. 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

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ías Generalistas. Ponencia en Congreso. Iask - International Asociation for the Scientific Knowledge. 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. Computer Aided Systems Theory - Eurocast 2007. 305. 312

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. Actas del VIII Congreso Isko España. 159. 167

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. Theorem Proving in Higher Order Logics. 135. 150

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. Albacete, España. 2006. 50 Años de la Inteligencia Artificial. 91. 102

Borrego Diaz, Joaquin, Chavez Gonzalez, Antonia Mª:
Visual Ontology Cleaning: Cognitive Principles and Applicability. Comunicación en congreso. European Semantic Web Conference Eswc 2006. Budva, Montenegro. 2006. The Semantic Web: Research and Applications. 317. 331

Alonso Jimenez, Jose Antonio, Borrego Diaz, Joaquin, Chavez Gonzalez, Antonia Mª:
Towards a Tool for Ontology Engineering. Comunicación en congreso. World Automation Congress. Sevilla, Spain. 2004. World Automation Congress: Advances in Robotics, Manufacturing, Automation, Control, Soft Computing, Multimedia, Biomedicine, Image Processing and Financial Engineering. Vol. IV. 1. 100

Borrego Diaz, Joaquin, Chavez Gonzalez, Antonia Mª:
Extension of Ontologies Assisted by Automated Reasoning Systems. Conferencia Congreso no publicada. Congreso de Tipografia. Valencia, España. 2004. Cast and Tools for Robotics, Vehicular and Communication Systems. 143. 144

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. Zaragoza, España. 2004. Database and Expert Systems Applications. Webs 2004. 132. 137

Alonso Jimenez, Jose Antonio, Borrego Diaz, Joaquin:
Generalizing Logic Programs Via Subsumption. Comunicación en congreso. International Workshop on Computer Aided Systems Theory. Las Palmas de Gran Canaria. 2003. Computer Aided System Theory - Eurocast 2003: 9th International Workshop on Computer Aided Systems Theory [recurso Electrónico]. 115. 126

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. Loughborough, United Kingdom. 2003. Libro de Actas del 16th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems (Iea/Aie 2003). 789. 798

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. Las Palmas de Gran Canaria. 2003. Eurocast 2003: Cast and Tools for Complexity in Biological, Physical and Engineering Systems: Extended Abstracts. 185. 188

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, 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. Santander (ESPAÑA). 2002. Proc. of the 28th Annual Conference of IEEE Industrial Electronics Society. 1806. 1811

Alonso Jimenez, Jose Antonio, Borrego Diaz, Joaquin:
A Quasi-Metric for Machine Learning. Comunicación en congreso. Ibero-American Conference on A.I. 2002. 8th Ibero-American Conference on A.I. 193. 203

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. I Taller Iberoamericano Sobre Deduccion Automatica e Inteligencia Artificial. 111. 120

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. I Taller Iberoamericano Sobre Deduccion Automatica e Inteligencia Artificial. 33. 46

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

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. Londres, Reino Unido. 2000. ILP 2000 - Work in Progress Reports. 120. 137

Alonso Jimenez, Jose Antonio, Borrego Diaz, Joaquin:
Proximidad Entre Clausulas en Programacion Logica Inductiva. Comunicación en congreso. Encuentro de Matemáticos Andaluces. Santander (ESPAÑA). 2000. Actas del I Encuentro de Matemáticos Andaluces. 33. 40

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. Cadiz, España. 2000. IV Jornadas Cientificas en Tecnologias de la Informacion. 260. 267

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. Santander (ESPAÑA). 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. IV Jornades Sobre L'ensenyament Universitari de la Infomàtica. 380. 385

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

Borrego Diaz, Joaquin:
Conferencia: Oportunidades para la Economía Basada en la Ingeniería del Conocimiento en Internet. Conferencia en Jornada no publicada

Otras Publicaciones

Pérez Jiménez, Mario Jesús, Borrego Diaz, Joaquin, Perez Jimenez, Antonio Jesus, Pérez Jiménez, Mario Jesús:
Computación, Computabilidad y Programación. Otras Publicaciones. Español

Borrego Diaz, Joaquin:
Infoxicación Amiga, Ruido en Tu Creciente Vecindario Digital. Otras Publicaciones

Borrego Diaz, Joaquin:
Derechos Humanos Versus Derechos Digitales. Otras Publicaciones

Borrego Diaz, Joaquin:
Vacío Web 2.0 o la Emergencia de las Nuevas Marcas. Otras Publicaciones

Borrego Diaz,J, Domínguez Mayo, Francisco José, Borrego Diaz, Joaquin, Aranda Corral, Gonzalo A.:
Diseño e Implementación de un Equipo de Fútbol Virtual Genérico para la Competición Robocup Mediante Técnicas de Sistemas Multiagente. Otras Publicaciones. Español

Borrego Diaz, Joaquin, Aranda Corral, Gonzalo A., Borrego Diaz, Joaquin, Giráldez Cru,Jesús, Giráldez Cru,Jesús:
Sinnet. Red Social Móvil con Gestión Semántica de la Información Mediante un Sitema Multiagente. Otras Publicaciones. Español

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