Perfil del autor: Borrego Díaz, Joaquín
Datos institucionales
Nombre | Borrego Díaz, Joaquín |
Departamento | Ciencias de la Computación e Inteligencia Artificial |
Área de conocimiento | Ciencia de la Computación e Inteligencia Artificial |
Categoría profesional | Profesor Titular de Universidad |
Correo electrónico | Solicitar |
Estadísticas
-
Nº publicaciones
86
-
Nº visitas
11923
-
Nº descargas
18697
Publicaciones |
---|
Trabajo Fin de Grado
La dimensión Vapnik-Chervonenkis en Ciencia de los datos
(2022)
En esta memoria se expone la dimensión de VC, un concepto originalmente definido por V. N. Vapnik y A. Ya. Chervonenkis ... |
Artículo
Explainable Artificial Intelligence in Data Science: From Foundational Issues Towards Socio-technical Considerations
(Springer, 2022)
A widespread need to explain the behavior and outcomes of AI-based systems has emerged, due to their ubiquitous presence. ... |
Artículo
Knowledge representation for explainable artificial intelligence: modeling foundations from complex systems
(Springer, 2022)
Alongside the particular need to explain the behavior of black box artificial intelligence (AI) systems, there is a general ... |
Artículo
Concept learning consistency under three‑way decision paradigm
(Springer, 2022)
Concept Mining is one of the main challenges both in Cognitive Computing and in Machine Learning. The ongoing improve ment ... |
Artículo
Towards a Notion of Basis for Knowledge-Based Systems—Applications
(MDPI, 2021)
In the paradigm of Knowledge-Based Systems (KBS), the design of methods to simplify the reasoning leads to more efficient ... |
Artículo
Algebraic combinatorics in bounded induction
(Elsevier, 2021)
In this paper, new methods for analyzing models of weak subsystems of Peano Arithmetic are proposed. The focus will be on ... |
Ponencia
A stacked deep convolutional neural network to predict the remaining useful life of a turbofan engine
(PHM Society, 2021)
his paper presents the data-driven techniques and method ologies used to predict the remaining useful life (RUL) of a fleet ... |
Artículo
A model of three-way decisions for Knowledge Harnessing
(Elsevier, 2020)
The present work introduces the Knowledge Harnessing, by showing its theoretical founda-tions as well as a three-way ... |
Artículo
Logic Negation with Spiking Neural P Systems
(Springer, 2020)
Nowadays, the success of neural networks as reasoning systems is doubtless. Nonetheless, one of the drawbacks of such ... |
Trabajo Fin de Grado
Privacidad diferencial en Ciencia de los Datos
(2018)
This final project shows the main concepts related to privacy in Data Science. We present the definition of Differential ... |
Artículo
A logic-algebraic tool for reasoning with Knowledge-Based Systems
(Elsevier, 2018)
A detailed exposition of foundations of a logic-algebraic model for reasoning with knowledge bases speci ed by propositional ... |
Capítulo de Libro
On Experimental Efficiency for Retraction Operator to Stem Basis
(Springer, 2018)
In this paper, we introduce an implementation of an inference rule called “Independence Rule” which lets us reduce the ... |
Ponencia
ASAP: A Framework for Designing Gamified Models of Complex Systems
(IEEE Computer Society, 2016)
This paper introduces ASAP, a framework for the development of mobile gamification of problems where Complex Systems play ... |
Artículo
Semantics for incident identification and resolution reports
(Oxford Academic, 2016)
In order to achieve a safe and systematic treatment of security protocols, organizations release a number of technical briefings ... |
Ponencia
Máster universitario: la calidad tiene su coste
(Asociación de Mujeres Laboralistas de Andalucía (AMLA), 2016)
|
Ponencia
Genetic algorithm for close range photogrammetric network design: which one is the minimum set of points of view from which is possible to visualize a building in a successful way from its exterior side?
(Culturadigital, 2016)
The term of Architectural Survey, in the field of Architecture and Heritage, includes the necessary operations, ... |
Ponencia
Urban Knowledge Extraction, Representation and Reasoning as a Bridge from Data City towards Smart City
(IEEE Computer Society, 2016)
Urban Data management represents a major challenge in the field of Smart Cities. Its understanding is essential for the ... |
Ponencia
Synthetizing Qualitative (Logical) Patterns for Pedestrian Simulation from Data
(Springer, 2016)
This work introduces a (qualitative) data-driven framework to extract patterns of pedestrian behaviour and synthesize ... |
Libro |
Ponencia
Extracting emergent knowledge about the socioeconomic urban contexts
(ACM Digital Library, 2015)
An approach to represent and analyze socioeconomic contexts as well as to reason with them, in order to extract useful ... |
Ponencia
iaBastos: An Intelligent Marketplace for Agricultural Products
(Springer, 2015)
In this paper we present a multi-agent platform designed to support p2p auctions on agricultural products. Experiments ... |
Ponencia
Modeling Lexicon Emergence as Concept Emergence in Networks
(Springer, 2015)
Amodel for lexicon emergence in social networks is presented. The model is based on a modified version of classic Naming ... |
Ponencia
Towards a Soft Evaluation and Refinement of Tagging in Digital Humanities
(Springer, 2015)
In this paper we estimate the soundness of tagging in digital repositories within the field of Digital Humanities by ... |
Ponencia
Pedestrian Behavior Mining from Data
(University of York, UK, 2015)
A general -observation-based- qualitative framework to extract agent-based pedestrian behavior is presented. To extract qualitative rules from data we use tools, from Formal Concept Analysis, for implicational reasoning. |
Libro
FORMA 14 : Complex Systems Workshop: Sevilla 22-25 Octubre 2014
(Fidetia, 2015)
|
Artículo
Discovering New Sentiments from the Social Web
(Cornell University Library, 2014)
|
Artículo
Formally Verified Tableau-Based Reasoners for a Description Logic
(Springer, 2014)
Description Logics are a family of logics used to represent and reason about conceptual and terminological knowledge. One ... |
Ponencia
Extending Qualitative Spatial Theories with Emergent Spatial Concepts: An Automated Reasoning Approach
(Springer, 2014)
Qualitative Spatial Reasoning is an exciting research field of the Knowledge Representation and Reasoning paradigm whose ... |
Libro
FORMA 13 : Complex Systems Workshop: Sevilla 23-26 Oct 2013
(Fidetia, 2014)
|
Ponencia
Phenomenological Percolation in Conceptual Networks associated to Complex Systems
(IEEE Computer Society, 2014)
A notion of phenomenological percolation for Conceptual Structures associated to Complex Systems (CS) is proposed. This ... |
Artículo
Extracción y organización del conocimiento de etiquetados. Aplicación a etiquetados en repositorios digitales sobre arte
(Seminario Interdisciplinar para el Estudio de la Literatura Áurea Española, 2014)
|
Ponencia
Emergent Concepts on Knowledge Intensive Processes
(Springer, 2014)
An approach to refine and revise the general framework of KiP (Knowledge Intensive Process) is presented. The specific ... |
Ponencia
Specifying and Verifying Meta-Security by Means of Semantic Web Methods
(Springer, 2014)
In order to achieve a systematic treatment of security protocols, organizations release a number of technical briefings ... |
Tesis Doctoral
Aplicaciones de la racionalidad acotada al razonamiento cualitativo sobre sistemas complejos
(2014)
En un trabajo clásico de 1973, los investigadores Horst W. J. Rittel y Melvin M. Webber introducen, dentro del campo de ... |
Artículo
Complex concept lattices for simulating human prediction in sport
(Springer, 2013)
In order to address the study of complex systems, the detection of patterns in their dynamics could play a key role in ... |
Ponencia
Building knowledge layers and networks from urban digital information
(Universitat Politécnica de Catalunya, 2013)
The understanding and management of complex digital information on cities need the use of tools providing experts with ... |
Artículo
Agent-mediated shared conceptualizations in tagging services
(Springer, 2013)
Some of the most remarkable innovative technologies from the Web 2.0 are the collaborative tagging systems. They allow the ... |
Artículo
On the Phenomenological Reconstruction of Complex Systems—The Scale-Free Conceptualization Hypothesis
(Wiley, 2013)
Phenomenological reconstruction of a complex system (CS) from collected and selected data allows us to work with formal ... |
Ponencia
Qualitative Reasoning on Complex Systems from Observations
(Springer, 2013)
A hybrid approach to phenomenological reconstruction of Complex Systems (CS), using Formal Concept Analysis (FCA) as main ... |
Ponencia
Scale-Free Structure in Concept Lattices Associated to Complex Systems
(IEEE Computer Society, 2012)
Qualitative representation and reasoning on Complex Systems (CS) is important for a number of human activities on CS, ... |
Ponencia
Simulating Language Dynamics by Means of Concept Reasoning
(Springer, 2012)
A problem in the phenomenological reconstruction of Complex Systems (CS) is the extraction of the knowledge that elements ... |
Ponencia
Conceptual-based reasoning in mobile web 2.0 by means multiagent systems - knowledge engineering notes
(ScitePress Digital Library, 2012)
Increasingly, users connect to the Internet by mobile devices and they are generating massive content through them. The ... |
Ponencia
Repairing Conceptual Relations in Ontologies by means of an Interactive Visual Reasoning: Cognitive and Design Principles
(IEEE Computer Society, 2012)
The technologies of visual representation are a great help for understanding items of information and the relations among ... |
Ponencia
On the Complexity of Shared Conceptualizations
(Springer, 2012)
In the Social Web, folksonomies and other similar knowledge organization techniques may suffer limitations due to both ... |
Ponencia
Semantic Geodemography and Urban Interoperability
(Springer, 2012)
Nowadays there exists an increasing interest on the use of the information collected by cities coming from different ... |
Ponencia
Data-in-the-cloud City: Análisis proactivo de la información digital de la ciudad
(Universidad de Coimbra, 2011)
|
Ponencia
Confidence-Based Reasoning with Local Temporal Formal Contexts
(Springer, 2011)
Formal Concept Analysis (FCA) is a theory whose goal is to discover and to extract Knowledge from qualitative data. It ... |
Ponencia
Bounded Rationality for Data Reasoning based on Formal Concept Analysis
(IEEE, 2011)
Formal Concept Analysis (FCA) is a theory whose goal is to discover and extract Knowledge from qualitative data. It also ... |
Ponencia
Selecting Attributes for Sport Forecasting using Formal Concept Analysis
(Cornell University Library, 2011)
In order to address complex systems, apply pattern recongnition on their evolution could play an key role to understand their ... |
Ponencia
Social Ontology Documentation for Knowledge Externalization
(Springer, 2010)
Knowledge externalization and organization is a major challenge that companies must face. Also, they have to ask whether ... |
Ponencia
Reconciling Knowledge in Social Tagging Web Services
(Springer, 2010)
Sometimes we want to search for new information about topics but we can not find relevant results using our own knowledge ... |
Ponencia
Mereotopological Analysis of Formal Concepts in Security Ontologies
(Springer, 2010)
In this paper an analysis of security ontologies, using an mereotopological interpretation of the relationship amongst ... |
Artículo
Mereotopological Patterns for Ontology Evolution and Debugging
(Universidad de Sevilla, 2010)
In this paper the foundational principles and the application of a mereotopological theory, the Region Connection Calculus, ... |
Ponencia
Toward Semantic Mobile Web 2.0 through Multiagent Systems
(Springer, 2009)
In this paper, a solution for semantic annotation of Consumers Generated Content, based on the actions of a multiagent ... |
Ponencia
Sistema certificado de decisión proposicional basado en polinomios
(Universidad de Sevilla, Departamento de Ciencias de la Computación e Inteligencia Artificial, 2009)
En [2] introducimos una regla de inferencia para la lógica proposicional (basado en el uso de la derivación de polinomios) ... |
Ponencia
Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations
(Springer, 2009)
We present a specialised (polynomial-based) rule for the propositional logic called the Independence Rule, which is useful ... |
Ponencia
On the Use of Automated Reasoning Systems in Ontology Integration.
(CEUR-WS, 2009)
Ontology Integration is a challenge in the field of Knowledge Engineering, whose solution is indispensable for the envisioned ... |
Ponencia
Extending Attribute Exploration by Means of Boolean Derivatives
(CEUR-WS, 2008)
We present a translation of problems of Formal Context Analysis into ideals problems in F2[x] through the Boolean ... |
Capítulo de Libro
Using Cognitive Entropy to Manage Uncertain Concepts in Formal Ontologies
(Springer, 2008)
A logical formalism to support the insertion of uncertain concepts in formal ontologies is presented. It is based on the ... |
Ponencia
Anomalías en Ontologías Provisionales.
(Universidad de León, Servicio de Publicaciones, 2007)
|
Ponencia
Learning Services Based on Formal Concept Reasoning
(IADIS: International Association for Development of the Information Society, 2007)
A formal foundation of automated service discovering for Semantic Web is proposed. The approach is based on the formalization ... |
Ponencia
A Formal Foundation for Knowledge Integration of Defficent Information in the Semantic Web
(Springer, 2007)
Maintenance of logical robustness in Information Integration represents a major challenge in the envisioned Semantic Web. ... |
Tesis Doctoral |
Ponencia
A Formally Verified Prover for the ALC Description Logic
(Springer, 2007)
The Ontology Web Language (OWL) is a language used for the Semantic Web. OWL is based on Description Logics (DLs), a ... |
Ponencia
Fusión Automatizada de Ontologías: Aplicación al Razonamiento Espacial Cualitativo
(Universidad de Castilla-La Mancha, Departamento de Sistemas Informáticos, 2006)
La evolución de las ontologías es un problema clave en la Integración del Conocimiento, cuya resolución es imprescindible ... |
Artículo
Foundational Challenges in Automated Data and Ontology Cleaning in the Semantic Web
(IEEE Computer Society, 2006)
The application of automated reasoning systems to data cleaning in the Semantic Web raises many challenges on the foundational ... |
Ponencia
Visual Ontology Cleaning: Cognitive Principles and Applicability
(Springer, 2006)
In this paper we connect two research areas, the Qualitative Spatial Reasoning and visual reasoning on ontologies. We ... |
Tesis Doctoral
Razonamiento mereotopológico automatizado para la depuración de ontologías
(2005)
La presente memoria se estructura en tres grandes bloques: I Tratamiento automatizado de la teoría RCC y métodos asistidos ... |
Ponencia
Extension of Ontologies Assisted by Automated Reasoning Systems
(Springer, 2005)
A method to extend ontologies with the assistance of automated reasoning systems and preserving a kind of completeness ... |
Ponencia |
Ponencia
Towards a tool for ontology engineering
(IEEE Computer Society, 2004)
A tool based on a spatial representation of provisional ontologies is designed. The tool allows the cleming of Knowledge Bases, aa well to induce new concepts in early steps of the building of an ontology. |
Artículo
Verification of the Formal Concept Analysis
(Real Academia de Ciencias, 2004)
This paper is concerned with a formal verification of the Formal Concept Analysis framework. We use the PVS system to ... |
Ponencia
Ontology Cleaning by Mereotopological Reasoning
(IEEE Computer Society, 2004)
A mereotopological semantics to manage ontologies is presented. The aim is to provide a formal basis for ontology cleaning. ... |
Ponencia
Towards a Practical Argumentative Reasoning with Qualitative Spatial Databases
(Springer, 2003)
Classical database management can be flawed if the Knowledge database is built within a complex Knowledge Domain. We ... |
Ponencia
Generalizing Programs via Subsumption
(Springer, 2003)
In this paper we present a class of operators for Machine Learning based on Logic Programming which represents a ... |
Ponencia
Towards a Practical Argumentative Reasoning with Qualitative Spatial Databases
(Springer, 2003)
Classical database management can be flawed if the Knowledge database is built within a complex Knowledge Domain. We ... |
Tesis Doctoral
Operadores de generalización para el aprendizaje clausal
(2002)
"En esta memoria hemos estudiado los procesos de generalización, el paso de lo particular a lo general, cuando la información ... |
Ponencia
A methodology for the computer-aided cleaning of complex knowledge databases
(IEEE Computer Society, 2002)
In environments with complex cognitive structure (such as semantic web or sophisticated spatial databases for geographical ... |
Ponencia
A Quasi-Metric for Machine Learning
(Springer, 2002)
The subsumption relation is crucial in the Machine Learning systems based on a clausal representation. In this paper we ... |
Libro
Deducción automática (Vol. 1: Construcción lógica de sistemas lógicos)
(Kronos, 2002)
Este libro constituye el primer volumen de una serie sobre deducción automática. Su objetivo es la presentación de Prolog ... |
Ponencia
Proximidad entre cláusulas en programación lógica inductiva
(Universidad de Sevilla - Fundación El Monte, 2001)
|
Ponencia
Deducción Automática en Anillos Ternarios: Algunos Métodos de Procesamiento del Conocimiento Matemático
(Universidad de Sevilla - Fundación El Monte, 2001)
|
Ponencia
A Topological Study of the Upward Refinement Operators on ILP
(CEUR-WS, 2000)
|
Artículo |
Ponencia
Interpretación reactiva de sistemas basados en conocimiento.
(Universidad de Granada, 1999)
|
Libro
Curso Práctico de Teoría de Conjuntos
(Ediciones La Ñ, 1998)
Todos los que hemos impartido tópicos diversos relativos a la Teoría de Conjuntos, en primer o segundo ciclo universitario, ... |