- idUS
- Investigación
- Ingeniería y Arquitectura
- Ciencias de la Computación e Inteligencia Artificial
- Artículos (Ciencias de la Computación e Inteligencia Artificial)
- Listar Artículos (Ciencias de la Computación e Inteligencia Artificial) por autor
Listar Artículos (Ciencias de la Computación e Inteligencia Artificial) por autor "Borrego Díaz, Joaquín"
Mostrando ítems 1-18 de 18
-
Artículo
A logic-algebraic tool for reasoning with Knowledge-Based Systems
Alonso Jiménez, José Antonio; Aranda Corral, Gonzalo A.; Borrego Díaz, Joaquín; Fernández Lebrón, María Magdalena; Hidalgo Doblado, María José (Elsevier, 2018)A detailed exposition of foundations of a logic-algebraic model for reasoning with knowledge bases speci ed by propositional ...
-
Artículo
A model of three-way decisions for Knowledge Harnessing
Aranda Corral, Gonzalo A.; Borrego Díaz, Joaquín; Galán Páez, Juan (Elsevier, 2020)The present work introduces the Knowledge Harnessing, by showing its theoretical founda-tions as well as a three-way ...
-
Artículo
Agent-mediated shared conceptualizations in tagging services
Aranda Corral, Gonzalo A.; Borrego Díaz, Joaquín; Giráldez Cru, Jesús (Springer, 2013)Some of the most remarkable innovative technologies from the Web 2.0 are the collaborative tagging systems. They allow ...
-
Artículo
Algebraic combinatorics in bounded induction
Borrego Díaz, Joaquín (Elsevier, 2021)In this paper, new methods for analyzing models of weak subsystems of Peano Arithmetic are proposed. The focus will be on ...
-
Artículo
Complex concept lattices for simulating human prediction in sport
Aranda Corral, Gonzalo A.; Borrego Díaz, Joaquín; Galán Páez, Juan (Springer, 2013)In order to address the study of complex systems, the detection of patterns in their dynamics could play a key role in ...
-
Artículo
Concept learning consistency under three‑way decision paradigm
Aranda Corral, Gonzalo A.; Borrego Díaz, Joaquín; Galán Páez, Juan (Springer, 2022)Concept Mining is one of the main challenges both in Cognitive Computing and in Machine Learning. The ongoing improve ment ...
-
Artículo
Discovering New Sentiments from the Social Web
Borrego Díaz, Joaquín; Galán Páez, Juan (Cornell University Library, 2014) -
Artículo
Explainable Artificial Intelligence in Data Science: From Foundational Issues Towards Socio-technical Considerations
Borrego Díaz, Joaquín; Galán Páez, Juan (Springer, 2022)A widespread need to explain the behavior and outcomes of AI-based systems has emerged, due to their ubiquitous presence. ...
-
Artículo
Extracción y organización del conocimiento de etiquetados. Aplicación a etiquetados en repositorios digitales sobre arte
Aranda Corral, Gonzalo A.; Borrego Díaz, Joaquín; Galán Páez, Juan (Seminario Interdisciplinar para el Estudio de la Literatura Áurea Española, 2014) -
Artículo
Formally Verified Tableau-Based Reasoners for a Description Logic
Hidalgo Doblado, María José; Alonso Jiménez, José Antonio; Borrego Díaz, Joaquín; Martín Mateos, Francisco Jesús; Ruiz Reina, José Luis (Springer, 2014)Description Logics are a family of logics used to represent and reason about conceptual and terminological knowledge. One ...
-
Artículo
Foundational Challenges in Automated Data and Ontology Cleaning in the Semantic Web
Alonso Jiménez, José Antonio; Borrego Díaz, Joaquín; Chávez González, Antonia María; Martín Mateos, Francisco Jesús (IEEE Computer Society, 2006)The application of automated reasoning systems to data cleaning in the Semantic Web raises many challenges on the ...
-
Artículo
Knowledge representation for explainable artificial intelligence: modeling foundations from complex systems
Borrego Díaz, Joaquín; Galán Páez, Juan (Springer, 2022)Alongside the particular need to explain the behavior of black box artificial intelligence (AI) systems, there is a general ...
-
Artículo
Logic Negation with Spiking Neural P Systems
Rodríguez Chavarría, Daniel; Gutiérrez Naranjo, Miguel Ángel; Borrego Díaz, Joaquín (Springer, 2020)Nowadays, the success of neural networks as reasoning systems is doubtless. Nonetheless, one of the drawbacks of such ...
-
Artículo
On the Phenomenological Reconstruction of Complex Systems—The Scale-Free Conceptualization Hypothesis
Aranda Corral, Gonzalo A.; Borrego Díaz, Joaquín; Galán Páez, Juan (Wiley, 2013)Phenomenological reconstruction of a complex system (CS) from collected and selected data allows us to work with formal ...
-
Artículo
Programas transversales científico-tecnológicos: expectativas, limitaciones y resultados
Borrego Díaz, Joaquín (1999) -
Artículo
Semantics for incident identification and resolution reports
Borrego Díaz, Joaquín; Chávez González, Antonia María; Pro Martín, José Luis; Matos Arana, Virginia (Oxford Academic, 2016)In order to achieve a safe and systematic treatment of security protocols, organizations release a number of technical briefings ...
-
Artículo
Towards a Notion of Basis for Knowledge-Based Systems—Applications
Aranda Corral, Gonzalo A.; Borrego Díaz, Joaquín; Galán Páez, Juan; Rodríguez Chavarría, Daniel (MDPI, 2021)In the paradigm of Knowledge-Based Systems (KBS), the design of methods to simplify the reasoning leads to more efficient ...
-
Artículo
Verification of the Formal Concept Analysis
Alonso Jiménez, José Antonio; Borrego Díaz, Joaquín; Hidalgo Doblado, María José; Martín Mateos, Francisco Jesús; Ruiz Reina, José Luis (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 ...