default search action
Joaquín Borrego-Díaz
Person information
SPARQL queries
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j15]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): 306 (2024) - [j14]Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Juan Galán-Páez:
FCA-based reasoning for privacy. Log. J. IGPL 32(2): 224-242 (2024) - 2023
- [j13]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): 256 (2023) - [c36]Víctor Ramos-González, Joaquín Borrego-Díaz, Fernando Sancho-Caparrini:
Prototyping Logic-Based AI Services with LogicUS. AAAI 2023: 16473-16475 - [i7]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 abs/2303.05517 (2023) - [i6]David Solís Martín, Juan Galán-Páez, Joaquín Borrego-Díaz:
D3A-TS: Denoising-Driven Data Augmentation in Time Series. CoRR abs/2312.05550 (2023) - 2022
- [j12]Joaquín Borrego-Díaz, Juan Galán-Páez:
Explainable Artificial Intelligence in Data Science. Minds Mach. 32(3): 485-531 (2022) - [j11]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): 2977-2999 (2022) - [c35]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: 570-585 - 2021
- [j10]Joaquín Borrego-Díaz:
Algebraic combinatorics in bounded induction. Ann. Pure Appl. Log. 172(2): 102885 (2021) - [c34]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: 13-22 - [i5]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 abs/2111.12689 (2021) - 2020
- [j9]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: 184-202 (2020) - [j8]Daniel Rodríguez-Chavarría, Miguel Angel Gutiérrez-Naranjo, Joaquín Borrego-Díaz:
Logic Negation with Spiking Neural P Systems. Neural Process. Lett. 52(2): 1583-1599 (2020)
2010 – 2019
- 2018
- [j7]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: 88-109 (2018) - [i4]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 abs/1809.00508 (2018) - [i3]Daniel Rodríguez-Chavarría, Miguel Angel Gutiérrez-Naranjo, Joaquín Borrego-Díaz:
Logic Negation with Spiking Neural P Systems. CoRR abs/1810.08170 (2018) - 2016
- [j6]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): 916-932 (2016) - [c33]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: 243-260 - [c32]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: 968-974 - 2015
- [c31]Juan Galán-Páez, Joaquín Borrego-Díaz, Gonzalo A. Aranda-Corral:
Modeling Lexicon Emergence as Concept Emergence in Networks. AECIA 2015: 409-420 - [c30]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: 1571-1574 - [c29]Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, David Solís Martín:
iaBastos: An Intelligent Marketplace for Agricultural Products. PAAMS 2015: 255-258 - [c28]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: 79-89 - 2014
- [j5]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): 331-360 (2014) - [c27]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: 427-438 - [c26]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: 282-291 - [c25]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: 355-365 - [i2]Juan Galán-Páez, Joaquín Borrego-Díaz:
Discovering New Sentiments from the Social Web. CoRR abs/1407.0374 (2014) - 2013
- [j4]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): 117-136 (2013) - [j3]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): 5-28 (2013) - [c24]Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Juan Galán-Páez:
Qualitative Reasoning on Complex Systems from Observations. HAIS 2013: 202-211 - 2012
- [c23]Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Juan Galán-Páez:
Simulating Language Dynamics by Means of Concept Reasoning. BIONETICS 2012: 296-311 - [c22]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: 739-744 - [c21]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: 176-183 - [c20]Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Jesús Giráldez-Cru:
On the Complexity of Shared Conceptualizations. ICAISC (1) 2012: 629-638 - [c19]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: 1-12 - 2011
- [c18]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: 350-354 - [c17]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: 461-468 - [i1]Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Juan Galán-Páez:
Selecting Attributes for Sport Forecasting using Formal Concept Analysis. CoRR abs/1107.5474 (2011) - 2010
- [c16]Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz:
Mereotopological Analysis of Formal Concepts in Security Ontologies. CISIS 2010: 33-40 - [c15]Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz:
Reconciling Knowledge in Social Tagging Web Services. HAIS (2) 2010: 383-390 - [c14]Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Antonio Jiménez-Mavillard:
Social Ontology Documentation for Knowledge Externalization. MTSR 2010: 137-148
2000 – 2009
- 2009
- [c13]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: 400-409 - [c12]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: 45-58 - 2008
- [c11]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: 315-329 - 2007
- [c10]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: 305-312 - [c9]José-Antonio Alonso, Joaquín Borrego-Díaz, María-José Hidalgo, Francisco-Jesús Martín-Mateos, José-Luis Ruiz-Reina:
A Formally Verified Prover for the ALC Description Logic. TPHOLs 2007: 135-150 - 2006
- [j2]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): 42-52 (2006) - [c8]Joaquín Borrego-Díaz, Antonia M. Chávez-González:
Visual Ontology Cleaning: Cognitive Principles and Applicability. ESWC 2006: 317-331 - 2005
- [c7]Joaquín Borrego-Díaz, Antonia M. Chávez-González:
Extension of Ontologies Assisted by Automated Reasoning Systems. EUROCAST 2005: 247-253 - [c6]Joaquín Borrego-Díaz, Antonia M. Chávez-González:
Controlling Ontology Extension by Uncertain Concepts through Cognitive Entropy. ISWC-URSW 2005: 56-66 - [r1]José A. Alonso-Jiménez, Joaquín Borrego-Díaz, Antonia M. Chávez-González:
Logic Databases and Inconsistency Handling. Encyclopedia of Database Technologies and Applications 2005: 336-340 - 2004
- [c5]José A. Alonso-Jiménez, Joaquín Borrego-Díaz, Antonia M. Chávez-González:
Ontology Cleaning by Mereotopological Reasoning. DEXA Workshops 2004: 132-137 - 2003
- [c4]Miguel Angel Gutiérrez-Naranjo, José A. Alonso-Jiménez, Joaquín Borrego-Díaz:
Generalizing Programs vis Subsumption. EUROCAST 2003: 115-126 - [c3]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:
Towards a Practical Argumentative Reasoning with Qualitative Spatial Databases. IEA/AIE 2003: 789-798 - 2002
- [c2]Miguel Angel Gutiérrez-Naranjo, José A. Alonso-Jiménez, Joaquín Borrego-Díaz:
A Quasi-Metric for Machine Learning. IBERAMIA 2002: 193-203 - 2000
- [c1]Miguel Angel 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
1990 – 1999
- 1996
- [j1]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: 341-348 (1996)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 21:11 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint