Directorio
JOAQUIN BORREGO DIAZ
Categoría
Profesor Titular de Universidad
Departamento
Área
Ciencia de la Computación e Inteligenc. Artificial
Docencia
Asignaturas que imparte
Investigación
Grupo de investigación
LOGICA, COMPUTACION E INGENIERIA DEL CONOCIMIENTO (LOCIC)
Proyectos y contratos de investigación
CLASIFICACIÓN DE LAS FUNCIONES COMPUTABLES MEDIANTE ESPECIFICACIONES ARITMÉTICAS: METODOLOGÍA Y DISEÑO (DGES PB96-1345 - Investigador/a)
SISTEMAS VERIFICADOS PARA RAZONAMIENTO EN LA WEB SEMÁNTICA (TIN2004-03884 - Investigador/a)
MODELO LÓGICO-COMPUTACIONAL PARA LA EVOLUCIÓN DE TEORÍAS SOBRE CONCEPTOS FORMALES (TIN2009-09492 - Responsable)
PROYECTO MINERVA "PLATAFORMA DE SERVICIOS EN MOVILIDAD CARTUJA-93" WETEVE (OG-003/08 - Responsable)
Escalabilidad y eficiencia mediante computación heterogénea CPU-GPU (EFICOMP-GPU). (P033-17/E21 - Responsable)
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)
Nomad Garden - Gestión interactiva de jardines mediante el tratamiento inteligente de datos (P066-15/E21 - Responsable)
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)
Lógica Computacional para la Ciencia del Dato (TIN2013-41086-P - Responsable)
Lógica Computacional para la Ciencia del Dato (TIN2013-41086-P - Responsable)
eComplexcity: Conceptos emergentes en sistemas complejos. Aplicaciones en entornos urbanos y en complejidad cultural (P10-TIC 06064 - Responsable)
Libros publicados
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. 978-84-617-9075-3
FORMA 14 : Complex Systems Workshop: Sevilla 22-25 Octubre 2014. FIDETIA. 2015. 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. 978-84-617-9076-0
FORMA 13 : Complex Systems Workshop: Sevilla 23-26 Oct 2013. FIDETIA. 2014. 978-84-617-9076-0
Alonso-Jimenez, Jose Antonio;Borrego-Diaz, Joaquin:
AGENTES INTELIGENTES: UNA APROXIMACIÓN DESDE LA LÓGICA COMPUTACIONAL. EDITORIAL KRONOS. 2002. 84-86273-59-5
AGENTES INTELIGENTES: UNA APROXIMACIÓN DESDE LA LÓGICA COMPUTACIONAL. EDITORIAL KRONOS. 2002. 84-86273-59-5
Alonso-Jimenez, Jose Antonio;Borrego-Diaz, Joaquin:
DEDUCCIÓN AUTOMÁTICA. EDITORIAL KRONOS. 2002. 84-86273-58-7
DEDUCCIÓN AUTOMÁTICA. EDITORIAL KRONOS. 2002. 84-86273-58-7
Borrego-Diaz, Joaquin:
COMPUTACION, COMPUTABILIDAD Y PROGRAMACION. DEPARTAMENTO DE CIENCIAS DE LA COMPUTACION E INTELIGENCIA ARTIFICIAL. UNIVERSIDAD DE SEVILLA. 2001.
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. EDICIONES LA Ñ. 1998. 84-89524-45-9 94152 2
Curso práctico de Teoría de Conjuntos. EDICIONES LA Ñ. 1998. 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. 84-88620-08-X
THE BULLETIN OF THE WORKSHOP ON MODEL THEORY AND COMPLEXITY. EDITORIAL KRONOS. 1997. 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. Pág. 243-260. Springer, Cham. Springer, Cham. 2016.
Synthetizing Qualitative (Logical) Patterns for Pedestrian Simulation from Data. Pág. 243-260. Springer, Cham. Springer, Cham. 2016.
Aranda-Corral, Gonzalo A.;Borrego-Diaz, Joaquin:
Towards a Soft Evaluation and Refinement of Tagging in Digital Humanities. Pág. 79-89. Springer Cham, Heidelberg.. Springer Cham, Heidelberg.. 2015.
Towards a Soft Evaluation and Refinement of Tagging in Digital Humanities. Pág. 79-89. Springer Cham, Heidelberg.. Springer Cham, Heidelberg.. 2015.
Aranda-Corral, Gonzalo A.;Borrego-Diaz, Joaquin;Solís-martín, David:
Towards a Soft Evaluation and Refinement of Tagging in Digital Humanities. Pág. 79-89. Springer Cham, Heidelberg.. Springer Cham, Heidelberg.. 2015.
Towards a Soft Evaluation and Refinement of Tagging in Digital Humanities. Pág. 79-89. Springer Cham, Heidelberg.. Springer Cham, Heidelberg.. 2015.
Alonso-Jimenez, Jose Antonio;Borrego-Diaz, Joaquin;Chavez-Gonzalez, Antonia Mª:
Computational Logic and Knowledge Representation Issues in Data Annalysis for the Semantic Web. Pág. 105-130. NOVA. NOVA. 2013.
Computational Logic and Knowledge Representation Issues in Data Annalysis for the Semantic Web. Pág. 105-130. NOVA. NOVA. 2013.
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 . Pág. 739-744. En: 1. IEEE Xplore. IEEE Xplore. 2012.
Repairing conceptual relations in ontologies by means of an interactive visual reasoning: Cognitive and design principles . Pág. 739-744. En: 1. IEEE Xplore. IEEE Xplore. 2012.
Aranda-Corral, Gonzalo A.;Borrego-Diaz, Joaquin;Galán-páez, Juan:
Scale-free structure in concept lattices associated to complex systems}. Pág. 1-6. En: 1. 2012.
Scale-free structure in concept lattices associated to complex systems}. Pág. 1-6. En: 1. 2012.
Aranda-Corral, Gonzalo A.;Borrego-Diaz, Joaquin:
ONTOLOGICAL DIMENSIONS OF SEMANTIC MOBILE WEB 2.0. Pág. 667-688. Igi Global. Igi Global. 2011.
ONTOLOGICAL DIMENSIONS OF SEMANTIC MOBILE WEB 2.0. Pág. 667-688. Igi Global. Igi Global. 2011.
Alonso-Jimenez, Jose Antonio;Borrego-Diaz, Joaquin;Chavez-Gonzalez, Antonia Mª:
INCONSISTENCY, LOGIC DATABASES AND ONTOLOGIES. Pág. 452-459. En: 2. Igi Global. Igi Global. 2009.
INCONSISTENCY, LOGIC DATABASES AND ONTOLOGIES. Pág. 452-459. En: 2. Igi Global. Igi Global. 2009.
Borrego-Diaz, Joaquin:
ARTIFICIAL INTELLIGENCE AND THE SEMANTICS OF (VIRTUAL) SPACE.. Pág. 52-68. En: 2. MEDIA LAB MADRID. MEDIA LAB MADRID. 2009.
ARTIFICIAL INTELLIGENCE AND THE SEMANTICS OF (VIRTUAL) SPACE.. Pág. 52-68. En: 2. MEDIA LAB MADRID. MEDIA LAB MADRID. 2009.
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. Pág. 121-132. En: 1. RADIM BELOHLAVEK AND SERGEI O. KUZNETSOV. RADIM BELOHLAVEK AND SERGEI O. KUZNETSOV. 2008.
EXTENDING ATTRIBUTE EXPLORATIONS BY MEANS OF BOOLEAN DERIVATIVES. Pág. 121-132. En: 1. RADIM BELOHLAVEK AND SERGEI O. KUZNETSOV. RADIM BELOHLAVEK AND SERGEI O. KUZNETSOV. 2008.
Borrego-Diaz, Joaquin;Chavez-Gonzalez, Antonia Mª:
ANOMALÍAS EN ONTOLOGÍAS PROVISIONALES. Pág. 159-167. S. E. UNIVERSIDAD DE LEÓN. S. E. UNIVERSIDAD DE LEÓN. 2007.
ANOMALÍAS EN ONTOLOGÍAS PROVISIONALES. Pág. 159-167. S. E. UNIVERSIDAD DE LEÓN. S. E. UNIVERSIDAD DE LEÓN. 2007.
Borrego-Diaz, Joaquin;Chavez-Gonzalez, Antonia Mª;Aranda-Corral, Gonzalo A.:
LEARNING SERVICES BASED ON FORMAL CONCEPT REASONING. Pág. 1-10. IADIS PRESS PUBLISHER. IADIS PRESS PUBLISHER. 2007.
LEARNING SERVICES BASED ON FORMAL CONCEPT REASONING. Pág. 1-10. IADIS PRESS PUBLISHER. IADIS PRESS PUBLISHER. 2007.
Borrego-Diaz, Joaquin;Chavez-Gonzalez, Antonia Mª:
EXTENSION OF ONTOLOGIES ASSITED BY AUTOMATED REASONING SYSTEMS. Pág. 143-144. IDEA GROUP REFERENCE. IDEA GROUP REFERENCE. 2006.
EXTENSION OF ONTOLOGIES ASSITED BY AUTOMATED REASONING SYSTEMS. Pág. 143-144. IDEA GROUP REFERENCE. IDEA GROUP REFERENCE. 2006.
Borrego-Diaz, Joaquin;Chavez-Gonzalez, Antonia Mª:
FUSION AUTOMATIZADA DE ONTOLOGIAS: APLICACIÓN AL RAZONAMIENTO ESPACIAL CUALITATIVO. Pág. 91-102. UNIVERSIDAD DE CASTILLA LA MANCHA. UNIVERSIDAD DE CASTILLA LA MANCHA. 2006.
FUSION AUTOMATIZADA DE ONTOLOGIAS: APLICACIÓN AL RAZONAMIENTO ESPACIAL CUALITATIVO. Pág. 91-102. UNIVERSIDAD DE CASTILLA LA MANCHA. UNIVERSIDAD DE CASTILLA LA MANCHA. 2006.
Alonso-Jimenez, Jose Antonio;Borrego-Diaz, Joaquin;Chavez-Gonzalez, Antonia Mª:
LOGIC DATABASES AND INCONSISTGENCY HANDLING. Pág. 336-340. IDEA GROUP REFERENCE. IDEA GROUP REFERENCE. 2006.
LOGIC DATABASES AND INCONSISTGENCY HANDLING. Pág. 336-340. IDEA GROUP REFERENCE. IDEA GROUP REFERENCE. 2006.
Borrego-Diaz, Joaquin;Fernandez-Margarit, Alejandro;Pérez-Jiménez, Mario Jesús:
ON SIGMA_N DEFINABILITY IN ARITHMETIC. Pág. 47-56. KLUWER ACADEMIC PUBLISHERS. KLUWER ACADEMIC PUBLISHERS. 2003.
ON SIGMA_N DEFINABILITY IN ARITHMETIC. Pág. 47-56. KLUWER ACADEMIC PUBLISHERS. KLUWER ACADEMIC PUBLISHERS. 2003.
Alonso-Jimenez, Jose Antonio;Borrego-Diaz, Joaquin:
GENERALIZING LOGIC PROGRAMS VIA SUBSUMPTION. Pág. 185-188. En: 1. IUCTC UNIVERSIDAD DE LAS PALMAS DE GRAN CANARIA. IUCTC UNIVERSIDAD DE LAS PALMAS DE GRAN CANARIA. 2003.
GENERALIZING LOGIC PROGRAMS VIA SUBSUMPTION. Pág. 185-188. En: 1. IUCTC UNIVERSIDAD DE LAS PALMAS DE GRAN CANARIA. IUCTC UNIVERSIDAD DE 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. Pág. 1806-1811. IEEE INDUSTRIAL ELECTRONIC SOCIETY. IEEE INDUSTRIAL ELECTRONIC SOCIETY. 2002.
A METHODOLOGY FOR THE COMPUTER-AIDED CLEANING OF COMPLEX KNOWLEDGE DATABASES. Pág. 1806-1811. IEEE INDUSTRIAL ELECTRONIC SOCIETY. IEEE INDUSTRIAL ELECTRONIC SOCIETY. 2002.
Alonso-Jimenez, Jose Antonio;Borrego-Diaz, Joaquin:
PROXIMIDAD ENTRE CLAUSULAS EN PROGRAMACION LOGICA INDUCTIVA. Pág. 33-40. En: 2. UNIVERSIDAD DE SEVILLA. SECRETARIADO DE PUBLICACIONES, SEVILLE; FUNDACIÓN EL MONTE, SEVILLE. UNIVERSIDAD DE SEVILLA. SECRETARIADO DE PUBLICACIONES, SEVILLE; FUNDACIÓN EL MONTE, SEVILLE. 2001.
PROXIMIDAD ENTRE CLAUSULAS EN PROGRAMACION LOGICA INDUCTIVA. Pág. 33-40. En: 2. UNIVERSIDAD DE SEVILLA. SECRETARIADO DE PUBLICACIONES, SEVILLE; FUNDACIÓN EL MONTE, SEVILLE. UNIVERSIDAD DE SEVILLA. SECRETARIADO DE PUBLICACIONES, SEVILLE; FUNDACIÓN EL MONTE, SEVILLE. 2001.
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. Pág. 23-32. UNIVERSIDAD DE SEVILLA. SECRETARIADO DE PUBLICACIONES, SEVILLE; FUNDACIÓN EL MONTE, SEVILLE. UNIVERSIDAD DE SEVILLA. SECRETARIADO DE PUBLICACIONES, SEVILLE; FUNDACIÓN EL MONTE, SEVILLE. 2001.
DEDUCCION AUTOMATICA EN ANILLOS TERNARIOS: ALGUNOS MÉTODOS DE PROCESAMIENTO DEL CONOCIMIENTO MATEMÁTICO. Pág. 23-32. UNIVERSIDAD DE SEVILLA. SECRETARIADO DE PUBLICACIONES, SEVILLE; FUNDACIÓN EL MONTE, SEVILLE. UNIVERSIDAD DE SEVILLA. SECRETARIADO DE PUBLICACIONES, SEVILLE; FUNDACIÓN EL MONTE, SEVILLE. 2001.
Alonso-Jimenez, Jose Antonio;Borrego-Diaz, Joaquin;Chavez-Gonzalez, Antonia Mª:
ESTRATEGIAS PARA LA DEMOSTRACIÓN AUTOMÁTICA DE TEOREMAS. Pág. 276-283. SERVICIO DE PUBLICACIONES DE LA UNIVERSIDAD DE CÁDIZ. SERVICIO DE PUBLICACIONES DE LA UNIVERSIDAD DE CÁDIZ. 2000.
ESTRATEGIAS PARA LA DEMOSTRACIÓN AUTOMÁTICA DE TEOREMAS. Pág. 276-283. SERVICIO DE PUBLICACIONES DE LA UNIVERSIDAD DE CÁDIZ. 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. Pág. 187-193. ISKO-ESPAÑA. ISKO-ESPAÑA. 1999.
INTERPRETACIÓN REACTIVA DE SISTEMAS BASADOS EN CONOCIMIENTO. Pág. 187-193. ISKO-ESPAÑA. ISKO-ESPAÑA. 1999.
Borrego-Diaz, Joaquin;Graciani-Díaz, Mª Del Carmen;Pérez-Jiménez, Mario Jesús:
MATEMÁTICAS PARA LA VERIFICACIÓN DE PROGRAMAS. Pág. 380-385. ENGINYERIA I ARQUITECTURA LA SALLE. ENGINYERIA I ARQUITECTURA LA SALLE. 1998.
MATEMÁTICAS PARA LA VERIFICACIÓN DE PROGRAMAS. Pág. 380-385. ENGINYERIA I ARQUITECTURA LA SALLE. ENGINYERIA I ARQUITECTURA LA SALLE. 1998.
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. Pág. 351-362. D. MARTÍN LIBRERO-EDITOR, S.L.. D. MARTÍN LIBRERO-EDITOR, S.L.. 1998.
ESPECIFICACIÓN Y DEDUCCIÓN DE PROPIEDADES TEMPORALES FACTIBLES. EL SISTEMA FDUX. Pág. 351-362. D. MARTÍN LIBRERO-EDITOR, S.L.. D. MARTÍN LIBRERO-EDITOR, S.L.. 1998.
Borrego-Diaz, Joaquin;Fernandez-Margarit, Alejandro;Pérez-Jiménez, Mario Jesús:
END AND COFINAL EXTENSIONS IN ARITHMETIC. Pág. 119-137. EDITORIAL KRONOS. EDITORIAL KRONOS. 1997.
END AND COFINAL EXTENSIONS IN ARITHMETIC. Pág. 119-137. EDITORIAL KRONOS. EDITORIAL KRONOS. 1997.
Borrego-Diaz, Joaquin;Balbontin-Noval, Delia;Pérez-Jiménez, Mario Jesús:
FUNDAMENTOS DE ALGORÍTMICA. ALGUNAS CUESTIONES METODOLÓGICAS. Pág. 121-122. ICE DE LA UNIVERSIDAD DE MADRID. ICE DE LA UNIVERSIDAD DE MADRID. 1996.
FUNDAMENTOS DE ALGORÍTMICA. ALGUNAS CUESTIONES METODOLÓGICAS. Pág. 121-122. ICE DE LA UNIVERSIDAD DE MADRID. ICE DE LA UNIVERSIDAD DE MADRID. 1996.
Borrego-Diaz, Joaquin;Fernandez-Margarit, Alejandro;Pérez-Jiménez, Mario Jesús:
LAS TEORÍA I-DELTA_N E I-NABLA_N. Pág. 128-131. DEPARTAMENTO DE REPROGRAFÍA DE LA UNED. DEPARTAMENTO DE REPROGRAFÍA DE LA UNED. 1993.
LAS TEORÍA I-DELTA_N E I-NABLA_N. Pág. 128-131. DEPARTAMENTO DE REPROGRAFÍA DE LA UNED. DEPARTAMENTO DE REPROGRAFÍA DE LA UNED. 1993.
Borrego-Diaz, Joaquin;Fernandez-Margarit, Alejandro;Pérez-Jiménez, Mario Jesús:
INDUCCIÓN ACOTADA. Pág. 122-127. DEPARTAMENTO DE REPROGRAFÍA DE LA UNED. DEPARTAMENTO DE REPROGRAFÍA DE LA UNED. 1993.
INDUCCIÓN ACOTADA. Pág. 122-127. DEPARTAMENTO DE REPROGRAFÍA DE LA UNED. DEPARTAMENTO DE REPROGRAFÍA DE LA UNED. 1993.
Borrego-Diaz, Joaquin;Fernandez-Margarit, Alejandro;Pérez-Jiménez, Mario Jesús:
EXTENSIONES COFINALES DE MODELOS DE LA ARITMÉTICA. Pág. 273-277. Promociones Y Publicaciones Universitarias. Promociones Y Publicaciones Universitarias. 1993.
EXTENSIONES COFINALES DE MODELOS DE LA ARITMÉTICA. Pág. 273-277. Promociones Y Publicaciones Universitarias. Promociones Y Publicaciones Universitarias. 1993.
Borrego-Diaz, Joaquin:
MEREOTOPOLOGICAL ANALYSIS OF FORMAL CONCEPTS IN SECURITY ONTOLOGIES. Pág. 33-40. Sinónimo Desconocido. Sinónimo Desconocido. 1967.
MEREOTOPOLOGICAL ANALYSIS OF FORMAL CONCEPTS IN SECURITY ONTOLOGIES. Pág. 33-40. Sinónimo Desconocido. Sinónimo Desconocido. 1967.
Aranda-Corral, Gonzalo A.;Borrego-Diaz, Joaquin;Galán-páez, Juan:
Synthetizing Qualitative (Logical) Patterns for Pedestrian Simulation from Data. Pág. 243-260.
Synthetizing Qualitative (Logical) Patterns for Pedestrian Simulation from Data. Pág. 243-260.
Balbotín, Delia;Borrego-Diaz, Joaquin;Pérez-Jiménez, Mario Jesús:
Curso de Algorítmica. Parte I. Pág. 1-158.
Curso de Algorítmica. Parte I. Pág. 1-158.
Borrego-Diaz, Joaquin;Perez-Jimenez, Antonio Jesus;Pérez-Jiménez, Mario Jesús:
Fundamentos de Computación Paralela. Algoritmos Paralelos. Pág. 1-86.
Fundamentos de Computación Paralela. Algoritmos Paralelos. Pág. 1-86.
Asistencia 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
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
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
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
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
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
Emergent Concepts on Knowledge Intensive Processes. Ponencia en Congreso. International Conference on Computational Collective Intelligence. Seul. 2014
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
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:
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
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
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
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
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
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
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
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
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;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
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
SISTEMA CERTIFICADO DE DECISIÓN PROPOSICIONAL BASADO EN POLINOMIOS.. Comunicación en congreso. COMPUTATIONAL LOGICS AND ARTIFICIAL INTELLIGENCE. . 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
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
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
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:
OPORTUNIDADES DE NEGOCIO PARA LA INTELIGENCIA ARTIFICIAL EN LA (POST)WEB 2.0. Conferencia Congreso no publicada. IMAGINÁTICA () (.2009.SEVILLA). . 2009
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.;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
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
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
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ª:
ANOMALIAS EN ONTOLOGIAS PROVISIONALES. Comunicación en congreso. VIII CONGRESO ISKO ESPAÑA. LEÓN, ESPAÑA. 2007
ANOMALIAS EN ONTOLOGIAS PROVISIONALES. Comunicación en congreso. VIII CONGRESO ISKO ESPAÑA. LEÓN, ESPAÑA. 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
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, 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
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
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
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ª:
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
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
VISUAL ONTOLOGY CLEANING: COGNITIVE PRINCIPLES AND APPLICABILITY. Comunicación en congreso. EUROPEAN SEMANTIC WEB CONFERENCE ESWC 2006 () (.2006.BUDVA, MONTENEGRO). BUDVA, MONTENEGRO. 2006
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
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
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
TOWARDS A TOOL FOR ONTOLOGY ENGINEERING. Comunicación en congreso. WORLD AUTOMATION CONGRESS () (.2004.SEVILLA, SPAIN). SEVILLA, SPAIN. 2004
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
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:
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
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
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
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
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;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
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
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:
TOWARDS A PRACTICAL ARGUMENTATIVE REASONING WITH QSD. Comunicación en congreso. I TALLER IBEROAMERICANO SOBRE DEDUCCION AUTOMATICA E INTELIGENCIA ARTIFICIAL. Santander (ESPAÑA). 2002
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;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
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
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ª;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
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
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
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
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
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
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
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
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
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
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
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
Artículos publicados
Rodríguez-chavarría, Daniel;Gutierrez-Naranjo, Miguel Angel;Borrego-Diaz, Joaquin:
Logic Negation with Spiking Neural P Systems. Neural Processing Letters. 2020. Vol: 52. Núm: 2. Pág. 1583-1599. https://doi.org/10.1007/s11063-020-10324-6.
Logic Negation with Spiking Neural P Systems. Neural Processing Letters. 2020. Vol: 52. Núm: 2. Pág. 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. Journal of Logical and Algebraic Methods in Programming. 2018. Vol: 101. Núm: 1. Pág. 88-109. https://doi.org/10.1016/j.jlamp.2018.09.001.
A logic-algebraic tool for reasoning with Knowledge-Based Systems. Journal of Logical and Algebraic Methods in Programming. 2018. Vol: 101. Núm: 1. Pág. 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. Journal of Automated Reasoning. 2014. Vol: 52. Núm: 3. Pág. 331-360. 10.1007/s10817-013-9291-8.
FORMALLY VERIFIED TABLEAU-BASED REASONERS FOR A DESCRIPTION LOGIC. Journal of Automated Reasoning. 2014. Vol: 52. Núm: 3. Pág. 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. Lecture Notes in Computer Science. 2014. Vol: LNAI 8480. Pág. 427-438. 10.1007/978-3-319-07617-1_38.
Extending Qualitative Spatial Theories with Emergent Spatial Concepts. An Automated Reasoning Approach. Lecture Notes in Computer Science. 2014. Vol: LNAI 8480. Pág. 427-438. 10.1007/978-3-319-07617-1_38.
Aranda-Corral, Gonzalo A.;Borrego-Diaz, Joaquin;Giráldez, Jesús:
Agent-mediated shared conceptualizations in tagging services. Multimedia Tools and Applications. 2013. Vol: 65. Núm: 1. Pág. 5-28. 10.1007/s11042-012-1146-5.
Agent-mediated shared conceptualizations in tagging services. Multimedia Tools and Applications. 2013. Vol: 65. Núm: 1. Pág. 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. Systems Research and Behavioral Science. 2013. Vol: 30. Núm: 6. Pág. 716-734. 10.1002/sres.2240.
On the Phenomenological Reconstruction of Complex Systems -- The Scale-Free Conceptualization Hypothesis. Systems Research and Behavioral Science. 2013. Vol: 30. Núm: 6. Pág. 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. Journal of Systems Science and Complexity. 2013. Vol: 26. Núm: 1. Pág. 117-136. 10.1007/s11424-013-2288-x.
Complex concept lattices for simulating human prediction in sport. Journal of Systems Science and Complexity. 2013. Vol: 26. Núm: 1. Pág. 117-136. 10.1007/s11424-013-2288-x.
Aranda-Corral, Gonzalo A.;Borrego-Diaz, Joaquin;Galán-páez, Juan:
Qualitative Reasoning on Complex Systems from Observations. Lecture Notes in Computer Science. 2013. Vol: 8073. Núm: 1. Pág. 202-211. 10.1007/978-3-642-40846-5_21.
Qualitative Reasoning on Complex Systems from Observations. Lecture Notes in Computer Science. 2013. Vol: 8073. Núm: 1. Pág. 202-211. 10.1007/978-3-642-40846-5_21.
Borrego-Diaz, Joaquin;Chavez-Gonzalez, Antonia Mª:
SEMANTIC GEODEMOGRAPHY AND URBAN INTEROPERABILITY. Communications in Computer and Information Science. 2012. Núm: 343. Pág. 1-12. 10.1007/978-3-642-35233-I.
SEMANTIC GEODEMOGRAPHY AND URBAN INTEROPERABILITY. Communications in Computer and Information Science. 2012. Núm: 343. Pág. 1-12. 10.1007/978-3-642-35233-I.
Aranda-Corral, Gonzalo A.;Borrego-Diaz, Joaquin;Galán-páez, Juan:
Confidence-Based Reasoning with Local Temporal Formal Contexts. Lecture Notes in Computer Science. 2011. Vol: 6692. Núm: 1. Pág. 461-468. 10.1007/978-3-642-21498-1_58.
Confidence-Based Reasoning with Local Temporal Formal Contexts. Lecture Notes in Computer Science. 2011. Vol: 6692. Núm: 1. Pág. 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. International Workshop on Database and Expert Systems Applications. 2011. Pág. 350-354.
BOUNDED RATIONALITY FOR DATA REASONING. International Workshop on Database and Expert Systems Applications. 2011. Pág. 350-354.
Aranda-Corral, Gonzalo A.;Borrego-Diaz, Joaquin;Galán-páez, Juan:
Bounded Rationality for Data Reasoning Based on Formal Concept Analysis. International Workshop on Database and Expert Systems Applications. 2011. Vol: 22. Núm: 1. Pág. 350-354. 10.1109/DEXA.2011.18.
Bounded Rationality for Data Reasoning Based on Formal Concept Analysis. International Workshop on Database and Expert Systems Applications. 2011. Vol: 22. Núm: 1. Pág. 350-354. 10.1109/DEXA.2011.18.
Aranda-Corral, Gonzalo A.;Borrego-Diaz, Joaquin:
MEREOTOPOLOGICAL ANALYSIS OF FORMAL CONCEPTS IN SECURITY ONTOLOGIES. Advances in Soft Computing. 2010. Vol: 85. Pág. 33-40.
MEREOTOPOLOGICAL ANALYSIS OF FORMAL CONCEPTS IN SECURITY ONTOLOGIES. Advances in Soft Computing. 2010. Vol: 85. Pág. 33-40.
Borrego-Diaz, Joaquin;Aranda-Corral, Gonzalo A.;Jiménez-Mavillard, Antonio:
SOCIAL ONTOLOGY DOCUMENTATION FOR KNOWLEDGE EXTERNALIZATION. Communications in Computer and Information Science. 2010. Vol: 108. Pág. 137-148.
SOCIAL ONTOLOGY DOCUMENTATION FOR KNOWLEDGE EXTERNALIZATION. Communications in Computer and Information Science. 2010. Vol: 108. Pág. 137-148.
Aranda-Corral, Gonzalo A.;Borrego-Diaz, Joaquin:
RECONCILING KNOWLEDGE IN SOCIAL TAGGING WEB SERVICES. Lecture Notes in Computer Science. 2010. Vol: 6076. Núm: 2. Pág. 383-390.
RECONCILING KNOWLEDGE IN SOCIAL TAGGING WEB SERVICES. Lecture Notes in Computer Science. 2010. Vol: 6076. Núm: 2. Pág. 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. Lecture Notes in Computer Science. 2009. Vol: 5625/2009. Pág. 45-58.
CONSERVATIVE RETRACTIONS OF PROPOSITIONAL LOGIC THEORIES BY MEANS OF BOOLEAN DERIVATIVES: THEORETICAL FOUNDATIONS. Lecture Notes in Computer Science. 2009. Vol: 5625/2009. Pág. 45-58.
Borrego-Diaz, Joaquin;Aranda-Corral, Gonzalo A.:
TOWARD SEMANTIC MOBILE WEB 2.0 THROUGH MULTIAGENT SYSTEMS. Lecture Notes in Computer Science. 2009. Vol: 5559. Pág. 400-409.
TOWARD SEMANTIC MOBILE WEB 2.0 THROUGH MULTIAGENT SYSTEMS. Lecture Notes in Computer Science. 2009. Vol: 5559. Pág. 400-409.
Borrego-Diaz, Joaquin;Chavez-Gonzalez, Antonia Mª:
USING COGNITIVE ENTROPY TO MANAGE UNCERTAIN CONCEPTS IN FORMAL ONTOLOGIES. Lecture Notes in Computer Science. 2008. Pág. 315-329.
USING COGNITIVE ENTROPY TO MANAGE UNCERTAIN CONCEPTS IN FORMAL ONTOLOGIES. Lecture Notes in Computer Science. 2008. Pág. 315-329.
Borrego-Diaz, Joaquin;Chavez-Gonzalez, Antonia Mª:
A FORMAL FOUNDATION FOR KNOWLEDGE INTEGRATION OF DEFFICENT INFORMATION IN THE SEMANTIC WEB. Lecture Notes in Computer Science. 2007. Núm: 4739. Pág. 305-312.
A FORMAL FOUNDATION FOR KNOWLEDGE INTEGRATION OF DEFFICENT INFORMATION IN THE SEMANTIC WEB. Lecture Notes in Computer Science. 2007. Núm: 4739. Pág. 305-312.
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. Lecture Notes in Computer Science. 2007. Vol: 4732. Pág. 135-150.
A FORMALLY VERIFIED PROVER FOR THE ALC DESCRIPTION LOGIC. Lecture Notes in Computer Science. 2007. Vol: 4732. Pág. 135-150.
Borrego-Diaz, Joaquin;Chavez-Gonzalez, Antonia Mª:
VISUAL ONTOLOGY CLEANING: COGNITIVE PRINCIPLES AND APPLICABILITY. Lecture Notes in Computer Science. 2006. Vol: 4011. Pág. 317-331.
VISUAL ONTOLOGY CLEANING: COGNITIVE PRINCIPLES AND APPLICABILITY. Lecture Notes in Computer Science. 2006. Vol: 4011. Pág. 317-331.
Borrego-Diaz, Joaquin;Chavez-Gonzalez, Antonia Mª:
CONTROLLING ONTOLOGY EXTENSION BY UNCERTAIN CONCEPTS THROUGH COGNITIVE ENTROPY. CEUR Workshop Proceedings. 2006. Vol: 173. Pág. 1-10.
CONTROLLING ONTOLOGY EXTENSION BY UNCERTAIN CONCEPTS THROUGH COGNITIVE ENTROPY. CEUR Workshop Proceedings. 2006. Vol: 173. Pág. 1-10.
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. IEEE Intelligent Systems and Their Applications. 2006. Vol: 21. Núm: 1. Pág. 42-52.
FOUNDATIONAL CHALLENGES IN AUTOMATED SEMANTIC WEB DATA AND ONTOLOGY CLEANING. IEEE Intelligent Systems and Their Applications. 2006. Vol: 21. Núm: 1. Pág. 42-52.
Borrego-Diaz, Joaquin;Chavez-Gonzalez, Antonia Mª:
EXTENSION OF ONTOLOGIES ASSISTED BY AUTOMATED REASONING SYSTEMS. Lecture Notes in Computer Science. 2005. Vol: 3643. Pág. 247-253.
EXTENSION OF ONTOLOGIES ASSISTED BY AUTOMATED REASONING SYSTEMS. Lecture Notes in Computer Science. 2005. Vol: 3643. Pág. 247-253.
Chavez-Gonzalez, Antonia Mª;Borrego-Diaz, Joaquin;Alonso-Jimenez, Jose Antonio:
ONTOLOGY CLEANING BY MEREOTOPOLOGICAL REASONING. International Workshop on Database and Expert Systems Applications. 2004. Pág. 132-137.
ONTOLOGY CLEANING BY MEREOTOPOLOGICAL REASONING. International Workshop on Database and Expert Systems Applications. 2004. Pág. 132-137.
Gutierrez-Naranjo, Miguel Angel;Alonso-Jimenez, Jose Antonio;Borrego-Diaz, Joaquin:
GENERALIZING PROGRAMS VIA SUBSUMPTION. Lecture Notes in Computer Science. 2003. Vol: 2809. Pág. 115-126.
GENERALIZING PROGRAMS VIA SUBSUMPTION. Lecture Notes in Computer Science. 2003. Vol: 2809. Pág. 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. Lecture Notes in Computer Science. 2003. Vol: 2718. Pág. 789-798.
TOWARDS A PRACTICAL ARGUMENTATIVE REASONING WITH QUALITATIVE SPATIAL DATABASES. Lecture Notes in Computer Science. 2003. Vol: 2718. Pág. 789-798.
Gutierrez-Naranjo, Miguel Angel;Alonso-Jimenez, Jose Antonio;Borrego-Diaz, Joaquin:
A QUASI-METRIC FOR MACHINE LEARNING. Lecture Notes in Computer Science. 2002. Vol: 2527. Pág. 193-203.
A QUASI-METRIC FOR MACHINE LEARNING. Lecture Notes in Computer Science. 2002. Vol: 2527. Pág. 193-203.
Borrego-Diaz, Joaquin;Fernandez-Margarit, Alejandro:
ON OVERSPILL PRINCIPLES AND AXIOM SCHEMES FOR BOUNDED FORMULAS. Mathematical Logic Quarterly. 1996. Vol: 42. Núm: 3. Pág. 341-348.
ON OVERSPILL PRINCIPLES AND AXIOM SCHEMES FOR BOUNDED FORMULAS. Mathematical Logic Quarterly. 1996. Vol: 42. Núm: 3. Pág. 341-348.
Borrego-Diaz, Joaquin;Fernandez-Margarit, Alejandro;Pérez-Jiménez, Mario Jesús:
On overspill Principles and Axiom Schemes for Bounded Formulas. Mathematical Logic Quarterly. 1996. Vol: 42. Pág. 341-348.
On overspill Principles and Axiom Schemes for Bounded Formulas. Mathematical Logic Quarterly. 1996. Vol: 42. Pág. 341-348.
Tesis dirigidas o codirigidas
Paredes-Moreno, Antonio:
TÉCNICAS DE DEPURACIÓN E INTEGRACIÓN DE ONTOLOGÍAS EN EL ÁMBITO EMPRESARIAL. Tesis Doctoral. 2008
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
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
OPERADORES DE GENERALIZACION PARA EL APRENDIZAJE CLAUSAL. Tesis Doctoral. 2002
