On Overspill Principles and Axiom Schemes for Bounded Formulas. - Joaquín Borrego-Díaz; Alejandro Fernández-Margarit; Mario J. Pérez-Jiménez (Math. Log. Q., 1996)

A Topological Study of the Upward Refinement Operators in ILP. - Miguel Angel Gutiérrez-Naranjo; José A. Alonso-Jiménez; Joaquín Borrego-Díaz (ILP Work-in-progress reports, 2000)

A Quasi-Metric for Machine Learning. - Miguel Angel Gutiérrez-Naranjo; José A. Alonso-Jiménez; Joaquín Borrego-Díaz (IBERAMIA, 2002)

Generalizing Programs vis Subsumption. - Miguel Angel Gutiérrez-Naranjo; José A. Alonso-Jiménez; Joaquín Borrego-Díaz (EUROCAST, 2003)

Towards a Practical Argumentative Reasoning with Qualitative Spatial Databases. - 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 (IEA/AIE, 2003)

Ontology Cleaning by Mereotopological Reasoning. - José A. Alonso-Jiménez; Joaquín Borrego-Díaz; Antonia M. Chávez-González (DEXA Workshops, 2004)

Logic Databases and Inconsistency Handling. - José A. Alonso-Jiménez; Joaquín Borrego-Díaz; Antonia M. Chávez-González (Encyclopedia of Database Technologies and Applications, 2005)

Extension of Ontologies Assisted by Automated Reasoning Systems. - Joaquín Borrego-Díaz; Antonia M. Chávez-González (EUROCAST, 2005)

Controlling Ontology Extension by Uncertain Concepts through Cognitive Entropy. - Joaquín Borrego-Díaz; Antonia M. Chávez-González (ISWC-URSW, 2005)

Visual Ontology Cleaning: Cognitive Principles and Applicability. - Joaquín Borrego-Díaz; Antonia M. Chávez-González (ESWC, 2006)

Foundational Challenges in Automated Semantic Web Data and Ontology Cleaning. - José A. Alonso-Jiménez; Joaquín Borrego-Díaz; Antonia M. Chávez-González; Francisco-Jesús Martín-Mateos (IEEE Intell. Syst., 2006)

A Formal Foundation for Knowledge Integration of Defficent Information in the Semantic Web. - Joaquín Borrego-Díaz; Antonia M. Chávez-González (EUROCAST, 2007)

A Formally Verified Prover for the ALC Description Logic. - José-Antonio Alonso; Joaquín Borrego-Díaz; María-José Hidalgo; Francisco-Jesús Martín-Mateos; José-Luis Ruiz-Reina (TPHOLs, 2007)

Using Cognitive Entropy to Manage Uncertain Concepts in Formal Ontologies. - Joaquín Borrego-Díaz; Antonia M. Chávez-González (URSW (LNCS Vol.), 2008)

Toward Semantic Mobile Web 2.0 through Multiagent Systems. - Gonzalo A. Aranda-Corral; Joaquín Borrego-Díaz; Fernando Gómez-Marín (KES-AMSTA, 2009)

Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations. - Gonzalo A. Aranda-Corral; Joaquín Borrego-Díaz; María Magdalena Fernández-Lebrón (Calculemus/MKM, 2009)

Mereotopological Analysis of Formal Concepts in Security Ontologies. - Gonzalo A. Aranda-Corral; Joaquín Borrego-Díaz (CISIS, 2010)

Reconciling Knowledge in Social Tagging Web Services. - Gonzalo A. Aranda-Corral; Joaquín Borrego-Díaz (HAIS (2), 2010)

Social Ontology Documentation for Knowledge Externalization. - Gonzalo A. Aranda-Corral; Joaquín Borrego-Díaz; Antonio Jiménez-Mavillard (MTSR, 2010)

Bounded Rationality for Data Reasoning Based on Formal Concept Analysis. - Gonzalo A. Aranda-Corral; Joaquín Borrego-Díaz; Juan Galán-Páez (DEXA Workshops, 2011)

Confidence-Based Reasoning with Local Temporal Formal Contexts. - Gonzalo A. Aranda-Corral; Joaquín Borrego-Díaz; Juan Galán-Páez (IWANN (2), 2011)

Selecting Attributes for Sport Forecasting using Formal Concept Analysis - Gonzalo A. Aranda-Corral; Joaquín Borrego-Díaz; Juan Galán-Páez (CoRR, 2011)

Simulating Language Dynamics by Means of Concept Reasoning. - Gonzalo A. Aranda-Corral; Joaquín Borrego-Díaz; Juan Galán-Páez (BIONETICS, 2012)

Repairing conceptual relations in ontologies by means of an interactive visual reasoning: Cognitive and design principles. - Gonzalo A. Aranda-Corral; Joaquín Borrego-Díaz; Antonia M. Chávez-González (CogInfoCom, 2012)

Conceptual-based Reasoning in Mobile Web 2.0 by Means Multiagent Systems - Knowledge Engineering Notes. - Gonzalo A. Aranda-Corral; Joaquín Borrego-Díaz; Jesús Giráldez-Cru (ICAART (2), 2012)

On the Complexity of Shared Conceptualizations. - Gonzalo A. Aranda-Corral; Joaquín Borrego-Díaz; Jesús Giráldez-Cru (ICAISC (1), 2012)

Semantic Geodemography and Urban Interoperability. - Joaquín Borrego-Díaz; Antonia M. Chávez-González; Mónica A. Martín-Pérez; José A. Zamora-Aguilera (MTSR, 2012)

Qualitative Reasoning on Complex Systems from Observations. - Gonzalo A. Aranda-Corral; Joaquín Borrego-Díaz; Juan Galán-Páez (HAIS, 2013)

Complex concept lattices for simulating human prediction in sport. - Gonzalo A. Aranda-Corral; Joaquín Borrego-Díaz; Juan Galán-Páez (J. Syst. Sci. Complex., 2013)

Agent-mediated shared conceptualizations in tagging services. - Gonzalo A. Aranda-Corral; Joaquín Borrego-Díaz; Jesús Giráldez-Cru (Multim. Tools Appl., 2013)

Extending Qualitative Spatial Theories with Emergent Spatial Concepts - An Automated Reasoning Approach. - Gonzalo A. Aranda-Corral; Joaquín Borrego-Díaz; Antonia M. Chávez-González (HAIS, 2014)

Emergent Concepts on Knowledge Intensive Processes. - Gonzalo A. Aranda-Corral; Joaquín Borrego-Díaz; Juan Galán-Páez; Antonio Jiménez-Mavillard (ICCCI, 2014)

Specifying and Verifying Meta-Security by Means of Semantic Web Methods. - Joaquín Borrego-Díaz; Antonia M. Chávez-González; José Luis Pro-Martín; Virginia Matos-Arana (SOCO-CISIS-ICEUTE, 2014)

Discovering New Sentiments from the Social Web. - Juan Galán-Páez; Joaquín Borrego-Díaz (CoRR, 2014)

Formally Verified Tableau-Based Reasoners for a Description Logic. - 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 (J. Autom. Reason., 2014)

Modeling Lexicon Emergence as Concept Emergence in Networks. - Juan Galán-Páez; Joaquín Borrego-Díaz; Gonzalo A. Aranda-Corral (AECIA, 2015)

Extracting emergent knowledge about the socioeconomic urban contexts. - Juan Galán-Páez; Joaquín Borrego-Díaz; Jaime de Miguel-Rodríguez (UbiComp/ISWC Adjunct, 2015)

iaBastos: An Intelligent Marketplace for Agricultural Products. - Gonzalo A. Aranda-Corral; Joaquín Borrego-Díaz; David Solís Martín (PAAMS, 2015)

Towards a Soft Evaluation and Refinement of Tagging in Digital Humanities. - Gonzalo A. Aranda-Corral; Joaquín Borrego-Díaz; Juan Galán-Páez (SOCO, 2015)

Synthetizing Qualitative (Logical) Patterns for Pedestrian Simulation from Data. - Gonzalo A. Aranda-Corral; Joaquín Borrego-Díaz; Juan Galán-Páez (IntelliSys (2), 2016)

Urban Knowledge Extraction, Representation and Reasoning as a Bridge from Data City towards Smart City. - Jaime de Miguel-Rodríguez; Juan Galán-Páez; Gonzalo A. Aranda-Corral; Joaquín Borrego-Díaz (UIC/ATC/ScalCom/CBDCom/IoP/SmartWorld, 2016)

Semantics for incident identification and resolution reports. - Joaquín Borrego-Díaz; Antonia M. Chávez-González; José Luis Pro-Martín; Virginia Matos-Arana (Log. J. IGPL, 2016)

A logic-algebraic tool for reasoning with Knowledge-Based Systems. - 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 (J. Log. Algebraic Methods Program., 2018)

A model of three-way decisions for Knowledge Harnessing. - Gonzalo A. Aranda-Corral; Joaquín Borrego-Díaz; Juan Galán-Páez (Int. J. Approx. Reason., 2020)

Logic Negation with Spiking Neural P Systems. - Daniel Rodríguez-Chavarría; Miguel Angel Gutiérrez-Naranjo; Joaquín Borrego-Díaz (Neural Process. Lett., 2020)

Estimating Re-identification Risk by Means of Formal Conceptualization. - Gonzalo A. Aranda-Corral; Joaquín Borrego-Díaz; Juan Galán-Páez (CISIS-ICEUTE, 2021)

Algebraic combinatorics in bounded induction. - Joaquín Borrego-Díaz (Ann. Pure Appl. Log., 2021)

A stacked deep convolutional neural network to predict the remaining useful life of a turbofan engine. - David Solís Martín; Juan Galán-Páez; Joaquín Borrego-Díaz (CoRR, 2021)

Enabling Knowledge Extraction on Bike Sharing Systems Throughout Open Data. - Francisco J. Marquez-Saldaña; Gonzalo A. Aranda-Corral; Joaquín Borrego-Díaz (HCI (34), 2022)

Explainable Artificial Intelligence in Data Science. - Joaquín Borrego-Díaz; Juan Galán-Páez (Minds Mach., 2022)

Concept learning consistency under three-way decision paradigm. - Gonzalo A. Aranda-Corral; Joaquín Borrego-Díaz; Juan Galán-Páez (Int. J. Mach. Learn. Cybern., 2022)

Prototyping Logic-Based AI Services with LogicUS. - Víctor Ramos-González; Joaquín Borrego-Díaz; Fernando Sancho-Caparrini (AAAI, 2023)

D3A-TS: Denoising-Driven Data Augmentation in Time Series. - David Solís Martín; Juan Galán-Páez; Joaquín Borrego-Díaz (CoRR, 2023)

On the Soundness of XAI in Prognostics and Health Management (PHM). - David Solís Martín; Juan Galán-Páez; Joaquín Borrego-Díaz (Inf., 2023)

Bayesian Model Selection Pruning in Predictive Maintenance. - David Solís Martín; Juan Galán-Páez; Joaquín Borrego-Díaz (HAIS (1), 2024)

FCA-based reasoning for privacy. - Gonzalo A. Aranda-Corral; Joaquín Borrego-Díaz; Juan Galán-Páez (Log. J. IGPL, 2024)

On Conditional Axioms and Associated Inference Rules. - Joaquín Borrego-Díaz; Andrés Cordón-Franco; Francisco Félix Lara Martín (Axioms, 2024)

PHMD: An easy data access tool for prognosis and health management datasets. - David Solís Martín; Juan Galán-Páez; Joaquín Borrego-Díaz (SoftwareX, 2025)

CONELPABO: composite networks learning via parallel Bayesian optimization to predict remaining useful life in predictive maintenance. - David Solís Martín; Juan Galán-Páez; Joaquín Borrego-Díaz (Neural Comput. Appl., 2025)

Analysis of selection noise in genetic algorithms. - Nataliya M. Gulayeva; Joaquín Borrego-Díaz; Fernando Sancho-Caparrini (Soft Comput., 2025)

Pearclustering: a novel clustering algorithm with an application to bike mobility. - Francisco J. Marquez-Saldaña; Gonzalo A. Aranda-Corral; Joaquín Borrego-Díaz (Evol. Intell., 2025)