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 Comput. e Int. Artificial
Grupo: LOGICA, COMPUTACION E INGENIERIA DEL CONOCIMIENTO (TIC-137)
Prog. doctorado: Programa de Doctorado en Ingeniería Informática (RD. 99/2011)
Tipo Año Título Fuente
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 Studies in 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
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 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
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
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
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 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
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
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, PROCEEDINGS
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
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)
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/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)
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/06/2020 31/05/2023 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)

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 (Autonómico)
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. (Local)
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. (Local)
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 Pública (Autonómico)

Ayudas

Fecha de inicio Fecha de fin Rol Denominación Agencia financiadora
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)
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)