Joaquín Borrego-Díaz

67 papers A* 1B 2C 1Misc 4Journal 29Unranked 29
YearRankTypeTitle / Venue / Authors
2026 J jnl
D3A-TS: denoising-driven data augmentation in time series.
Int. J. Data Sci. Anal.
David Solís-Martín, Juan Galán-Páez, Joaquín Borrego-Díaz
2026 J jnl
Indoor UAV navigation using event cameras and intermediate frame reconstruction.
Comput. Vis. Image Underst.
David Tejero-Ruiz, David Solís-Martín, Francisco Javier Pérez-Grau, Joaquín Borrego-Díaz
2025 J jnl
Analysis of selection noise in genetic algorithms.
Soft Comput.
Nataliya M. Gulayeva, Joaquín Borrego-Díaz, Fernando Sancho-Caparrini
2025 J jnl
CONELPABO: composite networks learning via parallel Bayesian optimization to predict remaining useful life in predictive maintenance.
Neural Comput. Appl.
David Solís-Martín, Juan Galán-Páez, Joaquín Borrego-Díaz
2025 J jnl
PHMD: An easy data access tool for prognosis and health management datasets.
SoftwareX
David Solís-Martín, Juan Galán-Páez, Joaquín Borrego-Díaz
2025 J jnl
Pearclustering: a novel clustering algorithm with an application to bike mobility.
Evol. Intell.
Francisco J. Marquez-Saldaña, Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz
2024 — conf
Bayesian Model Selection Pruning in Predictive Maintenance.
HAIS (1)
David Solís-Martín, Juan Galán-Páez, Joaquín Borrego-Díaz
2024 J jnl
FCA-based reasoning for privacy.
Log. J. IGPL
Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Juan Galán-Páez
2024 J jnl
On Conditional Axioms and Associated Inference Rules.
Axioms
Joaquín Borrego-Díaz, Andrés Cordón-Franco, Francisco Félix Lara Martín
2023 J jnl
D3A-TS: Denoising-Driven Data Augmentation in Time Series.
CoRR
David Solís-Martín, Juan Galán-Páez, Joaquín Borrego-Díaz
2023 J jnl
On the Soundness of XAI in Prognostics and Health Management (PHM).
CoRR
David Solís-Martín, Juan Galán-Páez, Joaquín Borrego-Díaz
2023 J jnl
On the Soundness of XAI in Prognostics and Health Management (PHM).
Inf.
David Solís-Martín, Juan Galán-Páez, Joaquín Borrego-Díaz
2023 A* conf
Prototyping Logic-Based AI Services with LogicUS.
AAAI
Víctor Ramos-González, Joaquín Borrego-Díaz, Fernando Sancho-Caparrini
2022 J jnl
Concept learning consistency under three-way decision paradigm.
Int. J. Mach. Learn. Cybern.
Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Juan Galán-Páez
2022 — conf
Enabling Knowledge Extraction on Bike Sharing Systems Throughout Open Data.
HCI (34)
Francisco J. Marquez-Saldaña, Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz
2022 J jnl
Explainable Artificial Intelligence in Data Science.
Minds Mach.
Joaquín Borrego-Díaz, Juan Galán-Páez
2022 J jnl
Knowledge representation for explainable artificial intelligence: Modeling foundations from complex systems.
Complex Intell. Syst.
Joaquín Borrego-Díaz, Juan Galán-Páez
2021 J jnl
A stacked deep convolutional neural network to predict the remaining useful life of a turbofan engine.
CoRR
David Solís-Martín, Juan Galán-Páez, Joaquín Borrego-Díaz
2021 J jnl
Algebraic combinatorics in bounded induction.
Ann. Pure Appl. Log.
Joaquín Borrego-Díaz
2021 — conf
Estimating Re-identification Risk by Means of Formal Conceptualization.
CISIS-ICEUTE
Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Juan Galán-Páez
2020 J jnl
A model of three-way decisions for Knowledge Harnessing.
Int. J. Approx. Reason.
Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Juan Galán-Páez
2020 J jnl
Logic Negation with Spiking Neural P Systems.
Neural Process. Lett.
Daniel Rodríguez-Chavarría, Miguel Angel Gutiérrez-Naranjo, Joaquín Borrego-Díaz
2018 J jnl
A logic-algebraic tool for reasoning with Knowledge-Based Systems.
CoRR
José A. Alonso-Jiménez, Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, María Magdalena Fernández-Lebrón, María-José Hidalgo-Doblado
2018 J jnl
A logic-algebraic tool for reasoning with Knowledge-Based Systems.
J. Log. Algebraic Methods Program.
José A. Alonso-Jiménez, Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, María Magdalena Fernández-Lebrón, María-José Hidalgo-Doblado
2018 J jnl
Logic Negation with Spiking Neural P Systems.
CoRR
Daniel Rodríguez-Chavarría, Miguel Angel Gutiérrez-Naranjo, Joaquín Borrego-Díaz
2016 J jnl
Semantics for incident identification and resolution reports.
Log. J. IGPL
Joaquín Borrego-Díaz, Antonia M. Chávez-González, José Luis Pro-Martín, Virginia Matos-Arana
2016 — conf
Synthetizing Qualitative (Logical) Patterns for Pedestrian Simulation from Data.
IntelliSys (2)
Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Juan Galán-Páez
2016 — conf
Urban Knowledge Extraction, Representation and Reasoning as a Bridge from Data City towards Smart City.
UIC/ATC/ScalCom/CBDCom/IoP/SmartWorld
Jaime de Miguel-Rodríguez, Juan Galán-Páez, Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz
2015 — conf
Extracting emergent knowledge about the socioeconomic urban contexts.
UbiComp/ISWC Adjunct
Juan Galán-Páez, Joaquín Borrego-Díaz, Jaime de Miguel-Rodríguez
2015 — conf
Modeling Lexicon Emergence as Concept Emergence in Networks.
AECIA
Juan Galán-Páez, Joaquín Borrego-Díaz, Gonzalo A. Aranda-Corral
2015 — conf
Towards a Soft Evaluation and Refinement of Tagging in Digital Humanities.
SOCO
Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Juan Galán-Páez
2015 Misc conf
iaBastos: An Intelligent Marketplace for Agricultural Products.
PAAMS
Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, David Solís-Martín
2014 J jnl
Discovering New Sentiments from the Social Web.
CoRR
Juan Galán-Páez, Joaquín Borrego-Díaz
2014 B conf
Emergent Concepts on Knowledge Intensive Processes.
ICCCI
Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Juan Galán-Páez, Antonio Jiménez-Mavillard
2014 Misc conf
Extending Qualitative Spatial Theories with Emergent Spatial Concepts - An Automated Reasoning Approach.
HAIS
Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Antonia M. Chávez-González
2014 J jnl
Formally Verified Tableau-Based Reasoners for a Description Logic.
J. Autom. Reason.
María-José Hidalgo-Doblado, José A. Alonso-Jiménez, Joaquín Borrego-Díaz, Francisco-Jesús Martín-Mateos, José-Luis Ruiz-Reina
2014 — conf
Specifying and Verifying Meta-Security by Means of Semantic Web Methods.
SOCO-CISIS-ICEUTE
Joaquín Borrego-Díaz, Antonia M. Chávez-González, José Luis Pro-Martín, Virginia Matos-Arana
2013 J jnl
Agent-mediated shared conceptualizations in tagging services.
Multim. Tools Appl.
Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Jesús Giráldez-Cru
2013 J jnl
Complex concept lattices for simulating human prediction in sport.
J. Syst. Sci. Complex.
Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Juan Galán-Páez
2013 Misc conf
Qualitative Reasoning on Complex Systems from Observations.
HAIS
Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Juan Galán-Páez
2012 — conf
Conceptual-based Reasoning in Mobile Web 2.0 by Means Multiagent Systems - Knowledge Engineering Notes.
ICAART (2)
Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Jesús Giráldez-Cru
2012 — conf
On the Complexity of Shared Conceptualizations.
ICAISC (1)
Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Jesús Giráldez-Cru
2012 — conf
Repairing conceptual relations in ontologies by means of an interactive visual reasoning: Cognitive and design principles.
CogInfoCom
Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Antonia M. Chávez-González
2012 — conf
Semantic Geodemography and Urban Interoperability.
MTSR
Joaquín Borrego-Díaz, Antonia M. Chávez-González, Mónica A. Martín-Pérez, José A. Zamora-Aguilera
2012 — conf
Simulating Language Dynamics by Means of Concept Reasoning.
BIONETICS
Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Juan Galán-Páez
2011 — conf
Bounded Rationality for Data Reasoning Based on Formal Concept Analysis.
DEXA Workshops
Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Juan Galán-Páez
2011 — conf
Confidence-Based Reasoning with Local Temporal Formal Contexts.
IWANN (2)
Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Juan Galán-Páez
2011 J jnl
Selecting Attributes for Sport Forecasting using Formal Concept Analysis
CoRR
Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Juan Galán-Páez
2010 Misc conf
Mereotopological Analysis of Formal Concepts in Security Ontologies.
CISIS
Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz
2010 — conf
Reconciling Knowledge in Social Tagging Web Services.
HAIS (2)
Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz
2010 — conf
Social Ontology Documentation for Knowledge Externalization.
MTSR
Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Antonio Jiménez-Mavillard
2009 — conf
Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations.
Calculemus/MKM
Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, María Magdalena Fernández-Lebrón
2009 — conf
Toward Semantic Mobile Web 2.0 through Multiagent Systems.
KES-AMSTA
Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Fernando Gómez-Marín
2008 — conf
Using Cognitive Entropy to Manage Uncertain Concepts in Formal Ontologies.
URSW (LNCS Vol.)
Joaquín Borrego-Díaz, Antonia M. Chávez-González
2007 — conf
A Formal Foundation for Knowledge Integration of Defficent Information in the Semantic Web.
EUROCAST
Joaquín Borrego-Díaz, Antonia M. Chávez-González
2007 — conf
A Formally Verified Prover for the
TPHOLs
José-Antonio Alonso, Joaquín Borrego-Díaz, María-José Hidalgo, Francisco-Jesús Martín-Mateos, José-Luis Ruiz-Reina
2006 J jnl
Foundational Challenges in Automated Semantic Web Data and Ontology Cleaning.
IEEE Intell. Syst.
José A. Alonso-Jiménez, Joaquín Borrego-Díaz, Antonia M. Chávez-González, Francisco-Jesús Martín-Mateos
2006 B conf
Visual Ontology Cleaning: Cognitive Principles and Applicability.
ESWC
Joaquín Borrego-Díaz, Antonia M. Chávez-González
2005 — conf
Controlling Ontology Extension by Uncertain Concepts through Cognitive Entropy.
ISWC-URSW
Joaquín Borrego-Díaz, Antonia M. Chávez-González
2005 — conf
Extension of Ontologies Assisted by Automated Reasoning Systems.
EUROCAST
Joaquín Borrego-Díaz, Antonia M. Chávez-González
2005 — ch.
Logic Databases and Inconsistency Handling.
Encyclopedia of Database Technologies and Applications
José A. Alonso-Jiménez, Joaquín Borrego-Díaz, Antonia M. Chávez-González
2004 — conf
Ontology Cleaning by Mereotopological Reasoning.
DEXA Workshops
José A. Alonso-Jiménez, Joaquín Borrego-Díaz, Antonia M. Chávez-González
2003 — conf
Generalizing Programs vis Subsumption.
EUROCAST
Miguel Angel Gutiérrez-Naranjo, José A. Alonso-Jiménez, Joaquín Borrego-Díaz
2003 C conf
Towards a Practical Argumentative Reasoning with Qualitative Spatial Databases.
IEA/AIE
José A. Alonso-Jiménez, Joaquín Borrego-Díaz, Antonia M. Chávez-González, Miguel Angel Gutiérrez-Naranjo, Jorge D. Navarro-Marín
2002 — conf
A Quasi-Metric for Machine Learning.
IBERAMIA
Miguel Angel Gutiérrez-Naranjo, José A. Alonso-Jiménez, Joaquín Borrego-Díaz
2000 — conf
A Topological Study of the Upward Refinement Operators in ILP.
ILP Work-in-progress reports
Miguel Angel Gutiérrez-Naranjo, José A. Alonso-Jiménez, Joaquín Borrego-Díaz
1996 J jnl
On Overspill Principles and Axiom Schemes for Bounded Formulas.
Math. Log. Q.
Joaquín Borrego-Díaz, Alejandro Fernández-Margarit, Mario J. Pérez-Jiménez