Ver Investigador - - Prisma - Unidad de Bibliometría

Joaquín Borrego Díaz

Profesor Titular de Universidad
jborrego@us.es
Área de conocimiento: Ciencia de la Computación e Inteligencia Artificial
Departamento: Ciencias de la Computación e Inteligencia Artificial
Grupo: LOGICA, COMPUTACION E INGENIERIA DEL CONOCIMIENTO - TIC-137 (Universidad de Sevilla)
Instituto de Inv.: I3US
Prog. doctorado: INGENIERÍA INFORMÁTICA

Investiga en

Tipo Año Título Fuente
Capítulo2025 Bayesian Model Selection Pruning in Predictive Maintenance Lecture Notes in Computer Science
Artículo2024 A Logical–Algebraic Approach to Revising Formal Ontologies: Application in Mereotopology AI
Capítulo2024 Evaluación de guardarraíles de modelos LLM ante la generación de artículos sesgados DACIU 2023/2024: Ingeniería y Arquitectura
Artículo2024 FCA-based reasoning for privacy Logic Journal of the IGPL
Artículo2024 On conditional axioms and associated inference rules Axioms
Artículo2023 Logical–Mathematical Foundations of a Graph Query Framework for Relational Learning MATHEMATICS
Artículo2023 On the Soundness of XAI in Prognostics and Health Management (PHM) Information (Switzerland)
Ponencia2023 Prototyping Logic-Based AI Services with LogicUS Proceedings of the 37th AAAI Conference on Artificial Intelligence, AAAI 2023
Artículo2022 Concept learning consistency under three-way decision paradigm INTERNATIONAL JOURNAL OF MACHINE LEARNING AND CYBERNETICS
Capítulo2022 Enabling Knowledge Extraction on Bike Sharing Systems Throughout Open Data HCI in Mobility, Transport, and Automotive Systems
Ponencia2022 Estimating re-identification risk by means of formal conceptualization 14th International Conference on Computational Intelligence in Security for Information Systems and 12th International Conference on European Transnational Educational (CISIS 2021 and ICEUTE 2021)
Artículo2022 Explainable artificial intelligence in data science: from foundational issues towards socio-technical considerations MINDS AND MACHINES
Artículo2022 Knowledge representation for explainable artificial intelligence: modeling foundations from complex systems COMPLEX & INTELLIGENT SYSTEMS
Artículo2021 A stacked deep convolutional neural network to predict the remaining useful life of a turbofan engine Annual Conference of the PHM Society
Artículo2021 Algebraic combinatorics in bounded induction ANNALS OF PURE AND APPLIED LOGIC
Artículo2021 Towards a notion of basis for knowledge-based systems—applications MATHEMATICS
Artículo2020 A model of three-way decisions for Knowledge Harnessing INTERNATIONAL JOURNAL OF APPROXIMATE REASONING
Artículo2020 Logic Negation with Spiking Neural P Systems NEURAL PROCESSING LETTERS
Capítulo2019 On experimental efficiency for retraction operator to stem basis Trends in Mathematics and Computational Intelligence
Artículo2018 A logic-algebraic tool for reasoning with Knowledge-Based Systems JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING
Ponencia2018 Synthetizing Qualitative (Logical) Patterns for Pedestrian Simulation from Data PROCEEDINGS OF SAI INTELLIGENT SYSTEMS CONFERENCE (INTELLISYS) 2016, VOL 2
Artículo2017 Las Matemáticas en el país de los datos (I): de puntos a mónadas La Gaceta De La Real Sociedad Matemática Española
Artículo2017 Las Matemáticas en el país de los datos (II): ¿y las tres (cuatro) Vs? La Gaceta De La Real Sociedad Matemática Española
Ponencia2017 Urban Knowledge Extraction, Representation and Reasoning as a Bridge from Data City towards Smart City Proceedings - 13th IEEE International Conference on Ubiquitous Intelligence and Computing, 13th IEEE International Conference on Advanced and Trusted Computing, 16th IEEE International Conference on Scalable Computing and Communications, IEEE International Conference on Cloud and Big Data Computing, IEEE International Conference on Internet of People and IEEE Smart World Congress and Workshops, UIC-ATC-ScalCom-CBDCom-IoP-SmartWorld 2016
Ponencia2016 ASAP: A framework for designing gamified models of complex systems Iberian Conference on Information Systems and Technologies
Libro2016 FORMA 15 : Complex Systems Workshop: Sevilla 25-28 Noviembre 2015 FORMA 15 : Complex Systems Workshop: Sevilla 25-28 Noviembre 2015
Artículo2016 Inteligencia Artificial y el futuro: de la percepción a la realidad Libre pensamiento
Ponencia2016 Máster universitario: la calidad tiene su coste Calidad, docencia universitaria y encuestas: "Bolonia a coste cero"
Ponencia2016 Modeling lexicon emergence as concept emergence in networks Advances in Intelligent Systems and Computing
Artículo2016 Semantics for incident identification and resolution reports Logic Journal of the IGPL
Ponencia2015 Extracting emergent knowledge about the socioeconomic urban contexts UbiComp and ISWC 2015 - Proceedings of the 2015 ACM International Joint Conference on Pervasive and Ubiquitous Computing and the Proceedings of the 2015 ACM International Symposium on Wearable Computers
Libro2015 FORMA 14 : Complex Systems Workshop: Sevilla 22-25 Octubre 2014 FORMA 14 : Complex Systems Workshop: Sevilla 22-25 Octubre 2014
Ponencia2015 iaBastos: an intelligent marketplace for agricultural products ADVANCES IN PRACTICAL APPLICATIONS OF AGENTS, MULTI-AGENT SYSTEMS, AND SUSTAINABILITY
Ponencia2015 Pedestrian Behavior Mining from Data ECAL 2015: 13th European Conference on Artificial Life (2015), pp. 4-6.
Ponencia2015 Phenomenological percolation in conceptual networks associated to complex systems 2014 2nd World Conference on Complex Systems, WCCS 2014
Artículo2014 Emergent concepts on knowledge intensive processes Lecture Notes in Computer Science
Ponencia2014 Extending Qualitative Spatial Theories with Emergent Spatial Concepts An Automated Reasoning Approach HYBRID ARTIFICIAL INTELLIGENCE SYSTEMS, HAIS 2014
Artículo2014 Extracción y organización del conocimiento de etiquetados: aplicación a etiquetados en repositorios digitales sobre arte Humanidades Digitales: desafíos, logros y perspectivas de futuro
Libro2014 FORMA 13 : Complex Systems Workshop: Sevilla 23-26 Oct 2013 FORMA 13 : Complex Systems Workshop: Sevilla 23-26 Oct 2013
Artículo2014 Formally Verified Tableau-Based Reasoners for a Description Logic JOURNAL OF AUTOMATED REASONING
Capítulo2014 La "perversión" de Bolonia Calidad de la docencia universitaria y encuestas: balance del Plan Bolonia
Ponencia2014 La “perversión” de bolonia Calidad de la docencia universitaria y encuestas : Balance del Plan Bolonia: II Congreso Nacional
Ponencia2014 Simulating language dynamics by means of concept reasoning Lecture Notes of the Institute for Computer Sciences Social Informatics and Telecommunications Engineering
Ponencia2014 Specifying and Verifying Meta-Security by Means of Semantic Web Methods INTERNATIONAL JOINT CONFERENCE SOCO'14-CISIS'14-ICEUTE'14
Artículo2013 Agent-mediated shared conceptualizations in tagging services MULTIMEDIA TOOLS AND APPLICATIONS
Ponencia2013 Building knowledge layers and networks from urban digital information CTV 2013: 9º Congreso Internacional Ciudad y Territorio Virtual (2013), pp. 216-228.
Artículo2013 Complex concept lattices for simulating human prediction in sport JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY
Artículo2013 On the Phenomenological Reconstruction of Complex Systems-The Scale-Free Conceptualization Hypothesis SYSTEMS RESEARCH AND BEHAVIORAL SCIENCE
Ponencia2013 Qualitative Reasoning on Complex Systems from Observations HYBRID ARTIFICIAL INTELLIGENT SYSTEMS
Ponencia2012 CONCEPTUAL-BASED REASONING IN MOBILE WEB 2.0 BY MEANS MULTIAGENT SYSTEMS Knowledge Engineering Notes ICAART: PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE, VOL. 2
Ponencia2012 Conceptual-based reasoning in Mobile Web 2.0 by means multiagent systems: Knowledge engineering notes ICAART 2012 - Proceedings of the 4th International Conference on Agents and Artificial Intelligence
Ponencia2012 On the complexity of shared conceptualizations ARTIFICIAL INTELLIGENCE AND SOFT COMPUTING, PT I
Ponencia2012 Repairing conceptual relations in ontologies by means of an interactive visual reasoning: Cognitive and design principles 3rd IEEE International Conference on Cognitive Infocommunications, CogInfoCom 2012 - Proceedings
Ponencia2012 Scale-Free Structure in Concept Lattices Associated to Complex Systems PROCEEDINGS OF 2012 INTERNATIONAL CONFERENCE ON COMPLEX SYSTEMS (ICCS12)
Ponencia2012 Semantic geodemography and urban interoperability METADATA AND SEMANTICS RESEARCH
Ponencia2011 Bounded rationality for data reasoning based on formal concept analysis 22nd International Workshop on Database and Expert Systems Applications
Capítulo2011 Computational logic and knowledge representation issues in data analysis for the semantic web Data Management in the Semantic Web
Ponencia2011 Confidence-Based Reasoning with Local Temporal Formal Contexts ADVANCES IN COMPUTATIONAL INTELLIGENCE, IWANN 2011, PT II
Ponencia2011 Data-in-the-cloud City: Análisis proactivo de la información digital de la ciudad 7VCT 2011: 7th Virtual Cities and Territories (2011), pp. 565-571.
Capítulo2011 Ontological dimensions of semantic mobile web 2.0: First principles Handbook of Research on Mobility and Computing: Evolving Technologies and Ubiquitous Impacts
Ponencia2010 Mereotopological Analysis of Formal Concepts in Security Ontologies COMPUTATIONAL INTELLIGENCE IN SECURITY FOR INFORMATION SYSTEMS 2010
Artículo2010 MEREOTOPOLOGICAL PATTERNS FOR ONTOLOGY EVOLUTION AND DEBUGGING Image-A
Ponencia2010 Reconciling Knowledge in Social Tagging Web Services HYBRID ARTIFICIAL INTELLIGENCE SYSTEMS, PT 2
Ponencia2010 Social ontology documentation for knowledge externalization METADATA AND SEMANTIC RESEARCH
Ponencia2009 Conservative retractions of propositional logic theories by means of boolean derivatives: Theoretical foundations INTELLIGENT COMPUTER MATHEMATICS, PROCEEDINGS
Ponencia2009 Extending attribute exploration by means of Boolean derivatives CEUR workshop proceedings
Ponencia2009 On the use of Automated Reasoning Systems in Ontology Integration CEUR workshop proceedings
Ponencia2009 Toward Semantic Mobile Web 2.0 through Multiagent Systems AGENT AND MULTI-AGENT SYSTEMS: TECHNOLOGIES AND APPLICATIONS, PROCEEDINGS
Ponencia2008 Using Cognitive Entropy to Manage Uncertain Concepts in Formal Ontologies UNCERTAINTY REASONING FOR THE SEMANTIC WEB I
Ponencia2007 A formal foundation for Knowledge Integration of defficent information in the Semantic Web COMPUTER AIDED SYSTEMS THEORY- EUROCAST 2007
Ponencia2007 A formally verified prover for the ALC description logic Lecture Notes in Computer Science
Ponencia2007 A formally verified prover for the ALC description logic THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS
Ponencia2007 Anomalías en ontologías provisionales La interdisciplinariedad y la transdisciplinariedad en la organización del conocimiento científico: Interdisciplinarity and transdisciplinarity in the organization of scientific knowledge : Actas del VIII Congreso ISKO - España, León, 18, 19 y 20 de Abril de 2007
Ponencia2007 Learning services based on formal concept reasoning MCCSIS 2007 - IADIS Multi Conference on Computer Science and Information Systems - Proceedings of Intelligent Systems and Agents 2007, Interfaces and Human Computer Interaction 2007, Computer Graphics and Visualization 2007
Artículo2006 Foundational challenges in automated Semantic Web data and ontology cleaning IEEE INTELLIGENT SYSTEMS
Ponencia2006 Fusión automatizada de ontologías: aplicación al razonamiento espacial cualitativo Una perspectiva de la inteligencia artificial en su 50 aniversario: Campus Multidisciplinar en Percepción e Inteligencia, CMPI 2006, Albacete, España, 10-14 de Julio del 2006 : actas
Artículo2006 Visual ontology cleaning: Cognitive principles and applicability SEMANTIC WEB: RESEARCH AND APPLICATIONS, PROCEEDINGS
Ponencia2005 Controlling ontology extension by uncertain concepts through cognitive entropy CEUR workshop proceedings
Artículo2005 Extension of ontologies assisted by automated reasoning systems Computer Aided Systems Theory – EUROCAST 2005: 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Selected Papers
Capítulo2005 Logic databases and inconsistency handling Encyclopedia of Database Technologies and Applications
Artículo2004 Generalizing programs via subsumption Lecture Notes in Computer Science
Ponencia2004 Ontology cleaning by mereotopological reasoning 15TH INTERNATIONAL WORKSHOP ON DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS
Ponencia2004 Towards a tool for ontology engineering Intelligent Automation and Control Trends, Principles, and Applications - Proceedings of the Sixth Biannual World Automation Congress, WAC
Artículo2003 Generalizing programs via subsumption COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2003
Ponencia2003 On Sigma(N)-definability in arithmetic PHILOSOPHICAL DIMENSIONS OF LOGIC AND SCIENCE
Artículo2003 Towards a practical argumentative reasoning with qualitative spatial databases DEVELOPMENTS IN APPLIED ARTIFICIAL INTELLIGENCE
Ponencia2002 A methodology for the computer-aided cleaning of complex knowledge databases IECON-2002: PROCEEDINGS OF THE 2002 28TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, VOLS 1-4
Artículo2002 A quasi-metric for machine learning Advances in Artificial Intelligence - IBERAMIA 2002 : 8th Ibero-American Conference on AI, Seville, Spain, November 12-15, 2002, proceedings
Libro2002 Deducción automática (Vol. 1: Construcción lógica de sistemas lógicos) Deducción automática (Vol. 1: Construcción lógica de sistemas lógicos)
Libro2001 Computación, computabilidad y programación Computación, computabilidad y programación
Capítulo2001 Deducción automática en anillos ternarios: algunos métodos de procesamiento del conocimiento matemático Actas del Encuentro de Matemáticos Andaluces
Capítulo2001 Proximidad entre cláusulas en programación lógica inductiva Actas del Encuentro de Matemáticos Andaluces
Ponencia2000 A Topological Study of the Upward Refinement Operators on ILP CEUR workshop proceedings
Ponencia1999 Interpretación reactiva de sistemas basados en concimiento La representación y la organización del conocimiento en sus distintas perspectivas : su influencia en la recuperación de la información: actas del IV Congreso ISKO-España EOCONSID'99, 22-24 de abril de 1999, Granada
Artículo1999 Programas transversales científico-tecnológicos: expectativas, limitaciones y resultados Revista de Enseñanza Universitaria
Capítulo1997 End and cofinal extensions in arithmetic The bulletin of the workshop on model theory and complexity: Sevilla del 21 al 23 de septiembre de 1995
Ponencia1997 Inducción acotada Actas del I Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: [Madrid 15,16 y 17 de diciembre de 1993]
Ponencia1997 Las teorías $IDelta_n$ e $Iabla_n$ Actas del I Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: [Madrid 15,16 y 17 de diciembre de 1993]
Libro1997 The bulletin of the workshop on model theory and complexity: Sevilla del 21 al 23 de septiembre de 1995 The bulletin of the workshop on model theory and complexity: Sevilla del 21 al 23 de septiembre de 1995
Artículo1996 On overspill principles and axiom schemes for bounded formulas MATHEMATICAL LOGIC QUARTERLY
Capítulo1995 Algoritmos y computabilidad Lógica formal: Orígenes, métodos y aplicaciones
Ponencia1994 Aplicación de la lógica temporal proposicional para la representación y deducción de conocimientos temporales Lenguajes naturales y lenguajes formales : actas del X congreso de lenguajes naturales y lenguajes formales : (Sevilla, 26-30 de septiembre de 1994)
Ponencia1993 Extensiones cofinales de modelos de la Aritmética Lenguajes naturales y lenguajes formales : actas del IX congreso de lenguajes naturales y lenguajes formales : (Reus, 20-22 de diciembre de 1993)
Ponencia1992 "Splitting" en fragmentos del máximo Lenguajes naturales y lenguajes formales : actas del VIII congreso de lenguajes naturales y lenguajes formales : (Girona, 21-25 de septiembre de 1992)

Proyectos de Investigación

Fecha de inicio Fecha de fin Rol Denominación Agencia financiadora
01/01/2014 31/12/2017 Responsable Lógica Computacional para la Ciencia del Dato (TIN2013-41086-P) Ministerio de Economía y Competitividad (Nacional)
01/01/2010 31/12/2012 Responsable Modelo lógico-computacional para la evolución de teorías sobre conceptos formales (TIN2009-09492) Ministerio de Ciencia e Innovación (Nacional)
15/03/2011 14/09/2015 Responsable Conceptos Emergentes en Sistemas Complejos. Aplicaciones en Entornos Urbanos y en Complejidad Cultural (P10-TIC-6064) Junta de Andalucía - Consejería de Innovación, Ciencia y Empresas (Autonómico)
01/06/2020 29/02/2024 Responsable Herramientas Lógicas y Algebraicas para el Análisis de Sistemas Basados en Conocimiento. Aplicaciones (PID2019-109152GB-I00) Ministerio de Ciencia, Innovación y Universidades (Nacional)
13/12/2004 13/12/2007 Investigador/a Sistemas verificados para razonamiento en la Web semántica (TIN2004-03884) Ministerio de Ciencia y Tecnología (Nacional)
01/09/2024 31/08/2027 Responsable Análisis formal de Conceptos para IA (PID2023-147198NB-I00) Ministerio de Ciencia, Innovación y Universidades (Nacional)

Contratos

Fecha de inicio Fecha de fin Rol Denominación Agencia financiadora
15/01/2008 15/01/2010 Responsable Proyecto Minerva "Plataforma de servicios en movilidad Cartuja-93" Weteve (OG-003/08) Asociación de Investigación y Cooperación Industrial de Andalucía (Desconocido)
15/11/2013 31/12/2014 Investigador/a 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) AGENCIA DE OBRA PUBLICA DE LA JUNTA DE ANDALUCIA (Desconocido)
15/09/2017 15/06/2018 Responsable Escalabilidad y eficiencia mediante computación heterogénea CPU-GPU (EFICOMP-GPU). (P033-17/E21) Datrik Intelligence, S.A. (Desconocido)
15/12/2015 03/03/2016 Responsable Nomad Garden - Gestión interactiva de jardines mediante el tratamiento inteligente de datos (P066-15/E21) NOMAD GARDEN S.C. (Desconocido)
31/08/2024 31/12/2025 Investigador/a CÁTEDRA DE INTELIGENCIA ARTIFICIAL US - GOOGLE (TSI-100930-2023-2) Ministerio de Asuntos Económicos y Transformación Digital (Local)

Ayudas

Fecha de inicio Fecha de fin Rol Denominación Agencia financiadora
19/10/2010 21/10/2010 Responsable Cla 2010, the International Conference on Concept Lattices and Their Applications. (PP2010-01-023) Universidad de Sevilla (Local)
15/09/2010 28/02/2011 Responsable CLA 2010, the International Conference on Concept Lattices and Their Applications (TIN2010-11572-E) Ministerio de Ciencia e Innovación (Nacional)
El investigador no tiene ningún resultado de investigación asociado