Joaquín Borrego-Díaz

Publication Activity (10 Years)

Years Active: 1996-2024
Publications (10 Years): 23

Top Topics

Convolutional Neural Network

Automated Reasoning

Qualitative Spatial

Knowledge Extraction

Top Venues

SOCO-CISIS-ICEUTE

Publications

Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Juan Galán-Páez
FCA-based reasoning for privacy. Log. J. IGPL 32 (2) (2024)
Joaquín Borrego-Díaz, Andrés Cordón-Franco, Francisco Félix Lara Martín
On Conditional Axioms and Associated Inference Rules. Axioms 13 (5) (2024)
Víctor Ramos-González, Joaquín Borrego-Díaz, Fernando Sancho-Caparrini
Prototyping Logic-Based AI Services with LogicUS. AAAI (2023)
David Solís Martín, Juan Galán Páez, Joaquín Borrego-Díaz
On the Soundness of XAI in Prognostics and Health Management (PHM). CoRR (2023)
David Solís Martín, Juan Galán Páez, Joaquín Borrego-Díaz
On the Soundness of XAI in Prognostics and Health Management (PHM). Inf. 14 (5) (2023)
Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Juan Galán Páez
Concept learning consistency under three-way decision paradigm. Int. J. Mach. Learn. Cybern. 13 (10) (2022)
Joaquín Borrego-Díaz, Juan Galán Páez
Explainable Artificial Intelligence in Data Science. Minds Mach. 32 (3) (2022)
Francisco J. Marquez-Saldaña, Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz
Enabling Knowledge Extraction on Bike Sharing Systems Throughout Open Data. HCI (34) (2022)
David Solís Martín, Juan Galán Páez, Joaquín Borrego-Díaz
A stacked deep convolutional neural network to predict the remaining useful life of a turbofan engine. CoRR (2021)
Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Juan Galán Páez
Estimating Re-identification Risk by Means of Formal Conceptualization. CISIS-ICEUTE (2021)
Joaquín Borrego-Díaz
Algebraic combinatorics in bounded induction. Ann. Pure Appl. Log. 172 (2) (2021)
Daniel Rodríguez-Chavarría, Miguel A. Gutiérrez-Naranjo, Joaquín Borrego-Díaz
Logic Negation with Spiking Neural P Systems. Neural Process. Lett. 52 (2) (2020)
Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Juan Galán Páez
A model of three-way decisions for Knowledge Harnessing. Int. J. Approx. Reason. 120 (2020)
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
A logic-algebraic tool for reasoning with Knowledge-Based Systems. CoRR (2018)
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
A logic-algebraic tool for reasoning with Knowledge-Based Systems. J. Log. Algebraic Methods Program. 101 (2018)
Daniel Rodríguez-Chavarría, Miguel A. Gutiérrez-Naranjo, Joaquín Borrego-Díaz
Logic Negation with Spiking Neural P Systems. CoRR (2018)
Jaime de Miguel-Rodríguez, Juan Galán Páez, Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz
Urban Knowledge Extraction, Representation and Reasoning as a Bridge from Data City towards Smart City. UIC/ATC/ScalCom/CBDCom/IoP/SmartWorld (2016)
Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Juan Galán Páez
Synthetizing Qualitative (Logical) Patterns for Pedestrian Simulation from Data. IntelliSys (2) (2016)
Joaquín Borrego-Díaz, Antonia M. Chávez-González, José Luis Pro-Martín, Virginia Matos-Arana
Semantics for incident identification and resolution reports. Log. J. IGPL 24 (6) (2016)
Juan Galán Páez, Joaquín Borrego-Díaz, Gonzalo A. Aranda-Corral
Modeling Lexicon Emergence as Concept Emergence in Networks. AECIA (2015)
Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, David Solís Martín
iaBastos: An Intelligent Marketplace for Agricultural Products. PAAMS (2015)
Juan Galán Páez, Joaquín Borrego-Díaz, Jaime de Miguel-Rodríguez
Extracting emergent knowledge about the socioeconomic urban contexts. UbiComp/ISWC Adjunct (2015)
Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Juan Galán Páez
Towards a Soft Evaluation and Refinement of Tagging in Digital Humanities. SOCO (2015)
Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Antonia M. Chávez-González
Extending Qualitative Spatial Theories with Emergent Spatial Concepts - An Automated Reasoning Approach. HAIS (2014)
Juan Galán Páez, Joaquín Borrego-Díaz
Discovering New Sentiments from the Social Web. CoRR (2014)
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
Formally Verified Tableau-Based Reasoners for a Description Logic. J. Autom. Reason. 52 (3) (2014)
Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Juan Galán Páez, Antonio Jiménez-Mavillard
Emergent Concepts on Knowledge Intensive Processes. ICCCI (2014)
Joaquín Borrego-Díaz, Antonia M. Chávez-González, José Luis Pro-Martín, Virginia Matos-Arana
Specifying and Verifying Meta-Security by Means of Semantic Web Methods. SOCO-CISIS-ICEUTE (2014)
Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Juan Galán Páez
Qualitative Reasoning on Complex Systems from Observations. HAIS (2013)
Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Jesús Giráldez-Cru
Agent-mediated shared conceptualizations in tagging services. Multim. Tools Appl. 65 (1) (2013)
Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Juan Galán Páez
Complex concept lattices for simulating human prediction in sport. J. Syst. Sci. Complex. 26 (1) (2013)
Joaquín Borrego-Díaz, Antonia M. Chávez-González, Mónica A. Martín-Pérez, José A. Zamora-Aguilera
Semantic Geodemography and Urban Interoperability. MTSR (2012)
Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Antonia M. Chávez-González
Repairing conceptual relations in ontologies by means of an interactive visual reasoning: Cognitive and design principles. CogInfoCom (2012)
Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Juan Galán Páez
Simulating Language Dynamics by Means of Concept Reasoning. BIONETICS (2012)
Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Jesús Giráldez-Cru
On the Complexity of Shared Conceptualizations. ICAISC (1) (2012)
Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Jesús Giráldez-Cru
Conceptual-based Reasoning in Mobile Web 2.0 by Means Multiagent Systems - Knowledge Engineering Notes. ICAART (2) (2012)
Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Juan Galán Páez
Confidence-Based Reasoning with Local Temporal Formal Contexts. IWANN (2) (2011)
Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Juan Galán Páez
Bounded Rationality for Data Reasoning Based on Formal Concept Analysis. DEXA Workshops (2011)
Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Juan Galán Páez
Selecting Attributes for Sport Forecasting using Formal Concept Analysis CoRR (2011)
Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz
Mereotopological Analysis of Formal Concepts in Security Ontologies. CISIS (2010)
Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Antonio Jiménez-Mavillard
Social Ontology Documentation for Knowledge Externalization. MTSR (2010)
Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz
Reconciling Knowledge in Social Tagging Web Services. HAIS (2) (2010)
Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, María Magdalena Fernández-Lebrón
Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations. Calculemus/MKM (2009)
Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Fernando Gómez-Marín
Toward Semantic Mobile Web 2.0 through Multiagent Systems. KES-AMSTA (2009)
Joaquín Borrego-Díaz, Antonia M. Chávez-González
Using Cognitive Entropy to Manage Uncertain Concepts in Formal Ontologies. URSW (LNCS Vol.) (2008)
Joaquín Borrego-Díaz, Antonia M. Chávez-González
A Formal Foundation for Knowledge Integration of Defficent Information in the Semantic Web. EUROCAST (2007)
José-Antonio Alonso, Joaquín Borrego-Díaz, María-José Hidalgo, Francisco-Jesús Martín-Mateos, José-Luis Ruiz-Reina
Description Logic. TPHOLs (2007)
Joaquín Borrego-Díaz, Antonia M. Chávez-González
Visual Ontology Cleaning: Cognitive Principles and Applicability. ESWC (2006)
José A. Alonso-Jiménez, Joaquín Borrego-Díaz, Antonia M. Chávez-González, Francisco-Jesús Martín-Mateos
Foundational Challenges in Automated Semantic Web Data and Ontology Cleaning. IEEE Intell. Syst. 21 (1) (2006)
Joaquín Borrego-Díaz, Antonia M. Chávez-González
Extension of Ontologies Assisted by Automated Reasoning Systems. EUROCAST (2005)
Joaquín Borrego-Díaz, Antonia M. Chávez-González
Controlling Ontology Extension by Uncertain Concepts through Cognitive Entropy. ISWC-URSW (2005)
José A. Alonso-Jiménez, Joaquín Borrego-Díaz, Antonia M. Chávez-González
Ontology Cleaning by Mereotopological Reasoning. DEXA Workshops (2004)
Miguel A. Gutiérrez-Naranjo, José A. Alonso-Jiménez, Joaquín Borrego-Díaz
Generalizing Programs vis Subsumption. EUROCAST (2003)
José A. Alonso-Jiménez, Joaquín Borrego-Díaz, Antonia M. Chávez-González, Miguel A. Gutiérrez-Naranjo, Jorge D. Navarro-Marín
Towards a Practical Argumentative Reasoning with Qualitative Spatial Databases. IEA/AIE (2003)
Miguel A. Gutiérrez-Naranjo, José A. Alonso-Jiménez, Joaquín Borrego-Díaz
A Quasi-Metric for Machine Learning. IBERAMIA (2002)
Miguel A. Gutiérrez-Naranjo, José A. Alonso-Jiménez, Joaquín Borrego-Díaz
A Topological Study of the Upward Refinement Operators in ILP. ILP Work-in-progress reports (2000)
Joaquín Borrego-Díaz, Alejandro Fernández-Margarit, Mario J. Pérez-Jiménez
On Overspill Principles and Axiom Schemes for Bounded Formulas. Math. Log. Q. 42 (1996)